diff options
Diffstat (limited to 'test/golden/finite-set-terms/parsing.golden')
| -rw-r--r-- | test/golden/finite-set-terms/parsing.golden | 8 |
1 files changed, 4 insertions, 4 deletions
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" ) |