Validate relation parameter arity

1 files changed, 59 insertions, 0 deletions

diff --git a/test/golden/calc/generating tasks.golden b/test/golden/calc/generating tasks.golden
index 763d406..a6ae184 100644
--- a/test/golden/calc/generating tasks.golden
+++ b/test/golden/calc/generating tasks.golden
@@ -18,6 +18,7 @@
             ( PredicateRelation
                 ( RelationSymbol
                     ( Symbol "=" )
+                    ( ParameterArity 0 )
                     ( Marker "eq" )
                 )
             )
@@ -44,6 +45,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -77,6 +79,7 @@
             ( PredicateRelation
                 ( RelationSymbol
                     ( Symbol "=" )
+                    ( ParameterArity 0 )
                     ( Marker "eq" )
                 )
             )
@@ -103,6 +106,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -131,6 +135,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -164,6 +169,7 @@
             ( PredicateRelation
                 ( RelationSymbol
                     ( Symbol "=" )
+                    ( ParameterArity 0 )
                     ( Marker "eq" )
                 )
             )
@@ -190,6 +196,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -223,6 +230,7 @@
             ( PredicateRelation
                 ( RelationSymbol
                     ( Symbol "=" )
+                    ( ParameterArity 0 )
                     ( Marker "eq" )
                 )
             )
@@ -249,6 +257,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -277,6 +286,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -303,6 +313,7 @@
                 ( PredicateRelation
                     ( RelationSymbol
                         ( Symbol "=" )
+                        ( ParameterArity 0 )
                         ( Marker "eq" )
                     )
                 )
@@ -330,6 +341,7 @@
             ( PredicateRelation
                 ( RelationSymbol
                     ( Symbol "=" )
+                    ( ParameterArity 0 )
                     ( Marker "eq" )
                 )
             )
@@ -356,6 +368,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -384,6 +397,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -412,6 +426,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -445,6 +460,7 @@
             ( PredicateRelation
                 ( RelationSymbol
                     ( Symbol "=" )
+                    ( ParameterArity 0 )
                     ( Marker "eq" )
                 )
             )
@@ -471,6 +487,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -504,6 +521,7 @@
             ( PredicateRelation
                 ( RelationSymbol
                     ( Symbol "=" )
+                    ( ParameterArity 0 )
                     ( Marker "eq" )
                 )
             )
@@ -530,6 +548,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -558,6 +577,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -586,6 +606,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -613,6 +634,7 @@
                     ( PredicateRelation
                         ( RelationSymbol
                             ( Symbol "=" )
+                            ( ParameterArity 0 )
                             ( Marker "eq" )
                         )
                     )
@@ -634,6 +656,7 @@
                     ( PredicateRelation
                         ( RelationSymbol
                             ( Symbol "=" )
+                            ( ParameterArity 0 )
                             ( Marker "eq" )
                         )
                     )
@@ -662,6 +685,7 @@
             ( PredicateRelation
                 ( RelationSymbol
                     ( Symbol "=" )
+                    ( ParameterArity 0 )
                     ( Marker "eq" )
                 )
             )
@@ -688,6 +712,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -716,6 +741,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -744,6 +770,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -772,6 +799,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -808,6 +836,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Command "in" )
+                                ( ParameterArity 0 )
                                 ( Marker "elem" )
                             )
                         )
@@ -835,6 +864,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -868,6 +898,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -896,6 +927,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -924,6 +956,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -952,6 +985,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -981,6 +1015,7 @@
                             ( PredicateRelation
                                 ( RelationSymbol
                                     ( Command "in" )
+                                    ( ParameterArity 0 )
                                     ( Marker "elem" )
                                 )
                             )
@@ -1008,6 +1043,7 @@
                             ( PredicateRelation
                                 ( RelationSymbol
                                     ( Symbol "=" )
+                                    ( ParameterArity 0 )
                                     ( Marker "eq" )
                                 )
                             )
@@ -1045,6 +1081,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Command "in" )
+                                ( ParameterArity 0 )
                                 ( Marker "elem" )
                             )
                         )
@@ -1072,6 +1109,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -1108,6 +1146,7 @@
                                     ( PredicateRelation
                                         ( RelationSymbol
                                             ( Command "in" )
+                                            ( ParameterArity 0 )
                                             ( Marker "elem" )
                                         )
                                     )
@@ -1137,6 +1176,7 @@
                                     ( PredicateRelation
                                         ( RelationSymbol
                                             ( Symbol "=" )
+                                            ( ParameterArity 0 )
                                             ( Marker "eq" )
                                         )
                                     )
@@ -1168,6 +1208,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -1196,6 +1237,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -1224,6 +1266,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -1252,6 +1295,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -1289,6 +1333,7 @@
                             ( PredicateRelation
                                 ( RelationSymbol
                                     ( Command "in" )
+                                    ( ParameterArity 0 )
                                     ( Marker "elem" )
                                 )
                             )
@@ -1316,6 +1361,7 @@
                             ( PredicateRelation
                                 ( RelationSymbol
                                     ( Symbol "=" )
+                                    ( ParameterArity 0 )
                                     ( Marker "eq" )
                                 )
                             )
@@ -1342,6 +1388,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -1378,6 +1425,7 @@
                                     ( PredicateRelation
                                         ( RelationSymbol
                                             ( Command "in" )
+                                            ( ParameterArity 0 )
                                             ( Marker "elem" )
                                         )
                                     )
@@ -1407,6 +1455,7 @@
                                     ( PredicateRelation
                                         ( RelationSymbol
                                             ( Symbol "=" )
+                                            ( ParameterArity 0 )
                                             ( Marker "eq" )
                                         )
                                     )
@@ -1438,6 +1487,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -1466,6 +1516,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -1494,6 +1545,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -1522,6 +1574,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )
@@ -1552,6 +1605,7 @@
                                 ( PredicateRelation
                                     ( RelationSymbol
                                         ( Command "in" )
+                                        ( ParameterArity 0 )
                                         ( Marker "elem" )
                                     )
                                 )
@@ -1579,6 +1633,7 @@
                                 ( PredicateRelation
                                     ( RelationSymbol
                                         ( Symbol "=" )
+                                        ( ParameterArity 0 )
                                         ( Marker "eq" )
                                     )
                                 )
@@ -1605,6 +1660,7 @@
                             ( PredicateRelation
                                 ( RelationSymbol
                                     ( Symbol "=" )
+                                    ( ParameterArity 0 )
                                     ( Marker "eq" )
                                 )
                             )
@@ -1643,6 +1699,7 @@
                             ( PredicateRelation
                                 ( RelationSymbol
                                     ( Command "in" )
+                                    ( ParameterArity 0 )
                                     ( Marker "elem" )
                                 )
                             )
@@ -1670,6 +1727,7 @@
                             ( PredicateRelation
                                 ( RelationSymbol
                                     ( Symbol "=" )
+                                    ( ParameterArity 0 )
                                     ( Marker "eq" )
                                 )
                             )
@@ -1696,6 +1754,7 @@
                         ( PredicateRelation
                             ( RelationSymbol
                                 ( Symbol "=" )
+                                ( ParameterArity 0 )
                                 ( Marker "eq" )
                             )
                         )