diff options
Diffstat (limited to 'Sil/Syntax.icl')
| -rw-r--r-- | Sil/Syntax.icl | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Sil/Syntax.icl b/Sil/Syntax.icl index cc5c3ba..53384b3 100644 --- a/Sil/Syntax.icl +++ b/Sil/Syntax.icl @@ -32,7 +32,10 @@ where toString (BuiltinApp op e) = op <+ "(" <+ e <+ ")" toString (BuiltinApp2 e1 op e2) = "(" <+ e1 <+ ") " <+ op <+ " (" <+ e2 <+ ")" toString (Tuple _ es) = "(" <+ printersperse ", " es <+ ")" - toString (Field f e) = e <+ "." <+ f + toString (List (Just t) []) = "[" <+ t <+ "]" + toString (List (Just t) es) = "[" <+ t <+ ":" <+ printersperse ", " es <+ "]" + toString (List Nothing es) = "[" <+ printersperse ", " es <+ "]" + toString (Field f e) = "(" <+ e <+ ")." <+ f instance toString Op1 where @@ -49,6 +52,7 @@ where toString Equals = "==" toString LogOr = "||" toString LogAnd = "&&" + toString Cons = ":" instance toString Literal where |