@@ -5943,7 +5943,7 @@ public
59435943 json := JSON . emptyObject();
59445944 json := JSON . addPair("$kind" , JSON . makeString("binary_op" ), json);
59455945 json := JSON . addPair("lhs" , toJSON(exp. exp1), json);
5946- json := JSON . addPair("op" , JSON . makeString(Operator . symbol(exp. operator)), json);
5946+ json := JSON . addPair("op" , JSON . makeString(Operator . symbol(exp. operator, spacing = "" )), json);
59475947 json := JSON . addPair("rhs" , toJSON(exp. exp2), json);
59485948 then
59495949 json;
@@ -5952,7 +5952,7 @@ public
59525952 algorithm
59535953 json := JSON . emptyObject();
59545954 json := JSON . addPair("$kind" , JSON . makeString("unary_op" ), json);
5955- json := JSON . addPair("op" , JSON . makeString(Operator . symbol(exp. operator)), json);
5955+ json := JSON . addPair("op" , JSON . makeString(Operator . symbol(exp. operator, spacing = "" )), json);
59565956 json := JSON . addPair("exp" , toJSON(exp. exp), json);
59575957 then
59585958 json;
@@ -5962,7 +5962,7 @@ public
59625962 json := JSON . emptyObject();
59635963 json := JSON . addPair("$kind" , JSON . makeString("binary_op" ), json);
59645964 json := JSON . addPair("lhs" , toJSON(exp. exp1), json);
5965- json := JSON . addPair("op" , JSON . makeString(Operator . symbol(exp. operator)), json);
5965+ json := JSON . addPair("op" , JSON . makeString(Operator . symbol(exp. operator, spacing = "" )), json);
59665966 json := JSON . addPair("rhs" , toJSON(exp. exp2), json);
59675967 then
59685968 json;
@@ -5971,7 +5971,7 @@ public
59715971 algorithm
59725972 json := JSON . emptyObject();
59735973 json := JSON . addPair("$kind" , JSON . makeString("unary_op" ), json);
5974- json := JSON . addPair("op" , JSON . makeString(Operator . symbol(exp. operator)), json);
5974+ json := JSON . addPair("op" , JSON . makeString(Operator . symbol(exp. operator, spacing = "" )), json);
59755975 json := JSON . addPair("exp" , toJSON(exp. exp), json);
59765976 then
59775977 json;
@@ -5981,7 +5981,7 @@ public
59815981 json := JSON . emptyObject();
59825982 json := JSON . addPair("$kind" , JSON . makeString("binary_op" ), json);
59835983 json := JSON . addPair("lhs" , toJSON(exp. exp1), json);
5984- json := JSON . addPair("op" , JSON . makeString(Operator . symbol(exp. operator)), json);
5984+ json := JSON . addPair("op" , JSON . makeString(Operator . symbol(exp. operator, spacing = "" )), json);
59855985 json := JSON . addPair("rhs" , toJSON(exp. exp2), json);
59865986 then
59875987 json;
0 commit comments