add TODO

2022-12-07 18:45:29 +01:00
parent 6cbe80b3c0
commit f4603f5b4b
1 changed files with 2 additions and 0 deletions
@@ -12,6 +12,8 @@ import { Paper, Box, Typography, Alert } from '@mui/material';

 const errorRegex = /<stdin>:1:(?<col>[^:]*): (?<msg>.*)/;

+// TODO: Dead variables (x✝) are not displayed correctly.
+
 function Goal({ goal }) {
  const hasObject = typeof goal.objects === "object" && goal.objects.length > 0
  const hasAssumption = typeof goal.assumptions === "object" && goal.assumptions.length > 0