summaryrefslogtreecommitdiff
path: root/test/golden
diff options
context:
space:
mode:
Diffstat (limited to 'test/golden')
-rw-r--r--test/golden/abbr/parsing.golden16
-rw-r--r--test/golden/byRef/parsing.golden12
-rw-r--r--test/golden/calc/parsing.golden12
-rw-r--r--test/golden/coord/parsing.golden14
-rw-r--r--test/golden/finite-set-terms/parsing.golden8
-rw-r--r--test/golden/formula/parsing.golden10
-rw-r--r--test/golden/geometry/parsing.golden8
-rw-r--r--test/golden/inductive/parsing.golden54
-rw-r--r--test/golden/no-reflexive-set/parsing.golden2
-rw-r--r--test/golden/proofassume/parsing.golden20
-rw-r--r--test/golden/proofdefinefunction/parsing.golden8
-rw-r--r--test/golden/prooffix/parsing.golden4
-rw-r--r--test/golden/relation-notation/parsing.golden4
-rw-r--r--test/golden/replace/parsing.golden12
-rw-r--r--test/golden/russell/parsing.golden8
-rw-r--r--test/golden/separation/parsing.golden4
-rw-r--r--test/golden/union/parsing.golden24
17 files changed, 110 insertions, 110 deletions
diff --git a/test/golden/abbr/parsing.golden b/test/golden/abbr/parsing.golden
index 2bc8148..77a4c47 100644
--- a/test/golden/abbr/parsing.golden
+++ b/test/golden/abbr/parsing.golden
@@ -24,7 +24,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "x" ) :| []
)
@@ -105,7 +105,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "x" ) :| []
)
@@ -181,7 +181,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
@@ -240,7 +240,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
@@ -267,7 +267,7 @@
) Positive
( RelationSymbol
( Command "notin" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
@@ -282,7 +282,7 @@
) Negative
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
@@ -340,7 +340,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
@@ -396,7 +396,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
diff --git a/test/golden/byRef/parsing.golden b/test/golden/byRef/parsing.golden
index 3df8730..e7e3287 100644
--- a/test/golden/byRef/parsing.golden
+++ b/test/golden/byRef/parsing.golden
@@ -15,7 +15,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "a" ) :| []
)
@@ -40,7 +40,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "b" ) :| []
)
@@ -65,7 +65,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "c" ) :| []
)
@@ -102,7 +102,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "e" ) :| []
)
@@ -128,7 +128,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "d" ) :| []
)
@@ -157,7 +157,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "f" ) :| []
)
diff --git a/test/golden/calc/parsing.golden b/test/golden/calc/parsing.golden
index b6f393a..89997b4 100644
--- a/test/golden/calc/parsing.golden
+++ b/test/golden/calc/parsing.golden
@@ -15,7 +15,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "x" ) :| []
)
@@ -40,7 +40,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "z" ) :| []
)
@@ -65,7 +65,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
@@ -117,7 +117,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
@@ -141,7 +141,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
@@ -159,7 +159,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
diff --git a/test/golden/coord/parsing.golden b/test/golden/coord/parsing.golden
index 65fa82f..a2b6657 100644
--- a/test/golden/coord/parsing.golden
+++ b/test/golden/coord/parsing.golden
@@ -31,7 +31,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "x" ) :| []
)
@@ -64,7 +64,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "x" ) :| []
)
@@ -97,7 +97,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "x" ) :| []
)
@@ -140,7 +140,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "x" ) :| []
)
@@ -190,7 +190,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "x" ) :| []
)
@@ -265,7 +265,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "x" ) :| []
)
@@ -291,7 +291,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
diff --git a/test/golden/finite-set-terms/parsing.golden b/test/golden/finite-set-terms/parsing.golden
index c30f70b..e255c8d 100644
--- a/test/golden/finite-set-terms/parsing.golden
+++ b/test/golden/finite-set-terms/parsing.golden
@@ -16,7 +16,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Just
( Command "cons" )
@@ -45,7 +45,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
@@ -60,7 +60,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "X" ) :| []
)
@@ -111,7 +111,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Just
( Command "unit" )
diff --git a/test/golden/formula/parsing.golden b/test/golden/formula/parsing.golden
index 7de1fb7..4012bde 100644
--- a/test/golden/formula/parsing.golden
+++ b/test/golden/formula/parsing.golden
@@ -20,7 +20,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "x" ) :| []
)
@@ -33,7 +33,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
@@ -64,7 +64,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
@@ -95,7 +95,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
@@ -114,7 +114,7 @@
) Positive
( RelationSymbol
( Command "neq" )
- )
+ ) []
( ExprVar
( NamedVar "x" ) :| []
)
diff --git a/test/golden/geometry/parsing.golden b/test/golden/geometry/parsing.golden
index b57f76c..1d067d0 100644
--- a/test/golden/geometry/parsing.golden
+++ b/test/golden/geometry/parsing.golden
@@ -244,7 +244,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "b" ) :| []
)
@@ -516,7 +516,7 @@
) Positive
( RelationSymbol
( Command "neq" )
- )
+ ) []
( ExprVar
( NamedVar "b" ) :| []
)
@@ -590,7 +590,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "b" ) :| []
)
@@ -798,7 +798,7 @@
) Positive
( RelationSymbol
( Command "neq" )
- )
+ ) []
( ExprVar
( NamedVar "v" ) :| []
)
diff --git a/test/golden/inductive/parsing.golden b/test/golden/inductive/parsing.golden
index 7438daa..6d5c0e3 100644
--- a/test/golden/inductive/parsing.golden
+++ b/test/golden/inductive/parsing.golden
@@ -9,7 +9,7 @@
( Defn []
( DefnRel
( NamedVar "A" )
- ( Command "subseteq" )
+ ( Command "subseteq" ) []
( NamedVar "B" )
)
( StmtFormula
@@ -20,7 +20,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "B" ) :| []
)
@@ -176,7 +176,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Just
( Command "emptyset" )
@@ -224,7 +224,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Just
( Command "fin" )
@@ -247,7 +247,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "A" ) :| []
)
@@ -259,7 +259,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Just
( Command "fin" )
@@ -293,7 +293,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Just
( Command "fin" )
@@ -345,7 +345,7 @@
) Positive
( RelationSymbol
( Command "subseteq" )
- )
+ ) []
( ExprVar
( NamedVar "B" ) :| []
)
@@ -369,7 +369,7 @@
) Positive
( RelationSymbol
( Command "subseteq" )
- )
+ ) []
( ExprOp
[ Just
( Command "fin" )
@@ -438,7 +438,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "R" ) :| []
)
@@ -451,7 +451,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Just
( Command "tracl" )
@@ -487,7 +487,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Just
( Command "tracl" )
@@ -520,7 +520,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "R" ) :| []
)
@@ -546,7 +546,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Just
( Command "tracl" )
@@ -616,7 +616,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Just
( Command "fld" )
@@ -650,7 +650,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Just
( Command "qrefltracl" )
@@ -686,7 +686,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Just
( Command "qrefltracl" )
@@ -719,7 +719,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "R" ) :| []
)
@@ -745,7 +745,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Just
( Command "qrefltracl" )
@@ -804,7 +804,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "A" ) :| []
)
@@ -830,7 +830,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Just
( Command "refltracl" )
@@ -871,7 +871,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Just
( Command "refltracl" )
@@ -909,7 +909,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "R" ) :| []
)
@@ -935,7 +935,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Just
( Command "refltracl" )
@@ -993,7 +993,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Just
( Command "fld" )
@@ -1028,7 +1028,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Just
( Command "pow" )
@@ -1057,7 +1057,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Just
( Command "acc" )
diff --git a/test/golden/no-reflexive-set/parsing.golden b/test/golden/no-reflexive-set/parsing.golden
index 3de5dcc..d81dabd 100644
--- a/test/golden/no-reflexive-set/parsing.golden
+++ b/test/golden/no-reflexive-set/parsing.golden
@@ -34,7 +34,7 @@
) Negative
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "A" ) :| []
)
diff --git a/test/golden/proofassume/parsing.golden b/test/golden/proofassume/parsing.golden
index 57e542c..bf249ed 100644
--- a/test/golden/proofassume/parsing.golden
+++ b/test/golden/proofassume/parsing.golden
@@ -16,7 +16,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
@@ -31,7 +31,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
@@ -56,7 +56,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
@@ -72,7 +72,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
@@ -100,7 +100,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
@@ -115,7 +115,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "b" ) :| []
)
@@ -131,7 +131,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
@@ -156,7 +156,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "b" ) :| []
)
@@ -172,7 +172,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
@@ -188,7 +188,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
diff --git a/test/golden/proofdefinefunction/parsing.golden b/test/golden/proofdefinefunction/parsing.golden
index eba14ec..c1ba1d0 100644
--- a/test/golden/proofdefinefunction/parsing.golden
+++ b/test/golden/proofdefinefunction/parsing.golden
@@ -72,7 +72,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "f" ) :| []
)
@@ -113,7 +113,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "f" ) :| []
)
@@ -139,7 +139,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
@@ -154,7 +154,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
diff --git a/test/golden/prooffix/parsing.golden b/test/golden/prooffix/parsing.golden
index 26b2b35..2702f25 100644
--- a/test/golden/prooffix/parsing.golden
+++ b/test/golden/prooffix/parsing.golden
@@ -17,7 +17,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "x" ) :| []
)
@@ -44,7 +44,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "x" ) :| []
)
diff --git a/test/golden/relation-notation/parsing.golden b/test/golden/relation-notation/parsing.golden
index 33f2808..bccafe0 100644
--- a/test/golden/relation-notation/parsing.golden
+++ b/test/golden/relation-notation/parsing.golden
@@ -18,7 +18,7 @@
( ExprVar
( NamedVar "R" )
)
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
@@ -35,7 +35,7 @@
( ExprVar
( NamedVar "R" )
)
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
diff --git a/test/golden/replace/parsing.golden b/test/golden/replace/parsing.golden
index c2cd815..241ca01 100644
--- a/test/golden/replace/parsing.golden
+++ b/test/golden/replace/parsing.golden
@@ -16,7 +16,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Just
( Command "cons" )
@@ -45,7 +45,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "y" ) :| []
)
@@ -60,7 +60,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "X" ) :| []
)
@@ -176,7 +176,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Nothing
, Just
@@ -229,7 +229,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprFiniteSet
( ExprVar
( NamedVar "x" ) :| []
@@ -266,7 +266,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprReplace
( ExprOp
[ Just
diff --git a/test/golden/russell/parsing.golden b/test/golden/russell/parsing.golden
index f924229..9f5dc37 100644
--- a/test/golden/russell/parsing.golden
+++ b/test/golden/russell/parsing.golden
@@ -57,7 +57,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "V" ) :| []
)
@@ -147,7 +147,7 @@
) Negative
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "x" ) :| []
)
@@ -165,7 +165,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "R" ) :| []
)
@@ -180,7 +180,7 @@
) Negative
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "R" ) :| []
)
diff --git a/test/golden/separation/parsing.golden b/test/golden/separation/parsing.golden
index 2a2110f..132f408 100644
--- a/test/golden/separation/parsing.golden
+++ b/test/golden/separation/parsing.golden
@@ -15,7 +15,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprSep
( NamedVar "x" )
( ExprVar
@@ -29,7 +29,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "x" ) :| []
)
diff --git a/test/golden/union/parsing.golden b/test/golden/union/parsing.golden
index 391f039..3ccdc08 100644
--- a/test/golden/union/parsing.golden
+++ b/test/golden/union/parsing.golden
@@ -19,7 +19,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "A" ) :| []
)
@@ -34,7 +34,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "B" ) :| []
)
@@ -52,7 +52,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprVar
( NamedVar "B" ) :| []
)
@@ -96,7 +96,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Nothing
, Just
@@ -121,7 +121,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "A" ) :| []
)
@@ -136,7 +136,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprVar
( NamedVar "B" ) :| []
)
@@ -172,7 +172,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprOp
[ Nothing
, Just
@@ -224,7 +224,7 @@
) Positive
( RelationSymbol
( Symbol "=" )
- )
+ ) []
( ExprOp
[ Nothing
, Just
@@ -269,7 +269,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Nothing
, Just
@@ -302,7 +302,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Nothing
, Just
@@ -341,7 +341,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Nothing
, Just
@@ -374,7 +374,7 @@
) Positive
( RelationSymbol
( Command "in" )
- )
+ ) []
( ExprOp
[ Nothing
, Just
generated by cgit v1.2.3 (git 2.39.1) at 2025-12-06 07:33:14 +0000