fix typo, old error test

tnelson · Mar 17, 2024 · d192302 · d192302
1 parent 5289198
commit d192302
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/forge/tests/error/main.rkt b/forge/tests/error/main.rkt
@@ -142,7 +142,7 @@
 
     (list "expr-in-comprehension-condition.frg" #rx"expected a formula")
     (list "non-expr-in-comprehension-domain.frg" #rx"expected a singleton or relational expression")
-    (list "arity-in-comprehension-domain.frg" #rx"variable domain needs arity = 1")
+    (list "arity-in-comprehension-domain.frg" #rx"expected a singleton or relational expression of arity 1")
 
     (list "override-wrong-arity.frg" #rx"must have same arity")
     (list "override-no-overlap.frg" #rx"will never override anything")

diff --git a/forge/tests/forge/other/ast-errors.frg b/forge/tests/forge/other/ast-errors.frg
@@ -144,7 +144,7 @@ test expect {
   -- However, shadowing by name is disallowed within a single construct
   -- Regression test: shadowing within a *single* comprehension or quantifier would cause Pardinus to crash.
   internal_comp_variable_name_shadowing: {some {x: Person, x: Person | x.age = x.age}} is forge_error
-  internal_quant_variable_name_shadowing: {some x: Person, x: Person | x.age = x.age} is sat forge_error
+  internal_quant_variable_name_shadowing: {some x: Person, x: Person | x.age = x.age} is forge_error
 
   --------------------------------------------------------------------