diff options
Diffstat (limited to 'test/golden/finite-set-terms/parsing.golden')
| -rw-r--r-- | test/golden/finite-set-terms/parsing.golden | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/test/golden/finite-set-terms/parsing.golden b/test/golden/finite-set-terms/parsing.golden index e255c8d..2eb0147 100644 --- a/test/golden/finite-set-terms/parsing.golden +++ b/test/golden/finite-set-terms/parsing.golden @@ -15,8 +15,8 @@ ( NamedVar "x" ) :| [] ) Positive ( RelationSymbol - ( Command "in" ) - ) [] + ( Command "in" ) [] + ) ( ExprOp [ Just ( Command "cons" ) @@ -44,8 +44,8 @@ ( NamedVar "x" ) :| [] ) Positive ( RelationSymbol - ( Symbol "=" ) - ) [] + ( Symbol "=" ) [] + ) ( ExprVar ( NamedVar "y" ) :| [] ) @@ -59,8 +59,8 @@ ( NamedVar "x" ) :| [] ) Positive ( RelationSymbol - ( Command "in" ) - ) [] + ( Command "in" ) [] + ) ( ExprVar ( NamedVar "X" ) :| [] ) @@ -110,8 +110,8 @@ ] [] :| [] ) Positive ( RelationSymbol - ( Command "in" ) - ) [] + ( Command "in" ) [] + ) ( ExprOp [ Just ( Command "unit" ) |