resolve old error

tnelson · Mar 14, 2024 · 5e45b21 · 5e45b21
1 parent 70df030
commit 5e45b21
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 4 deletions.
diff --git a/forge/lang/alloy-syntax/parser.rkt b/forge/lang/alloy-syntax/parser.rkt
@@ -85,7 +85,7 @@ ParaDecls : /LEFT-PAREN-TOK @ParaDeclList? /RIGHT-PAREN-TOK
 AssertDecl : /ASSERT-TOK Name? Block
 CmdDecl :  (Name /COLON-TOK)? (RUN-TOK | CHECK-TOK) (QualName | Block)? Scope? (/FOR-TOK Bounds)?
 
-TestDecl : (Name /COLON-TOK)? (QualName | Block)? Scope? (/FOR-TOK Bounds)? /IS-TOK
+TestDecl : (Name /COLON-TOK)? (QualName | Block) Scope? (/FOR-TOK Bounds)? /IS-TOK
            (SAT-TOK | UNSAT-TOK | THEOREM-TOK | FORGE_ERROR-TOK)
 TestExpectDecl : TEST-TOK? EXPECT-TOK Name? TestBlock
 TestBlock : /LEFT-CURLY-TOK TestDecl* /RIGHT-CURLY-TOK

diff --git a/forge/tests/error/main.rkt b/forge/tests/error/main.rkt
@@ -35,6 +35,8 @@
     ;(list "expect-fun-no-args.frg" #rx"TODO")
 
     ;;;;;;;;;;;;;;;;;;;;;;;;
+
+    (list "./malformed-test-double.frg" #rx"FOR-TOK") ;; regression
 
     ;;;;;;; Source locations ;;;;;;;
     (list "./loc/sig_use_loc_error.frg" #rx"sig_use_loc_error.frg:7:39") ; vs. reachable

diff --git a/forge/tests/error/malformed-test-double.frg b/forge/tests/error/malformed-test-double.frg
@@ -0,0 +1,5 @@
+#lang forge
+
+test expect {
+  {} is sat for {} is sat
+}
diff --git a/forge/tests/forge/relations/breakers.frg b/forge/tests/forge/relations/breakers.frg
@@ -44,9 +44,6 @@ test expect {
     -- Overlap with a previous test, but keep since it checks a valuable syntax foible
     cardinalityCheckSyntax: { {#{a: A | some FrontDesk.p[a]}} > 1} is sat
 
-    -- expander.rkt:701:40: preds: attribute contains non-syntax value    
-    -- BAD_ERROR_2: {no l} is sat for {A = `A0 + `A1} is sat
-
     ----- test "linear" -----
 
     linearPossible: {} for {next is linear} is sat