diff options
Diffstat (limited to 'Sil/Syntax.dcl')
| -rw-r--r-- | Sil/Syntax.dcl | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/Sil/Syntax.dcl b/Sil/Syntax.dcl index b3ecdb7..58515fe 100644 --- a/Sil/Syntax.dcl +++ b/Sil/Syntax.dcl @@ -31,19 +31,19 @@ from Data.Maybe import :: Maybe } :: Statement - = Declaration Name Application - | Application Application - | Return (Maybe Application) - | If [(Application, CodeBlock)] (Maybe CodeBlock) - | While Application CodeBlock + = Declaration Name Expression + | Application Expression + | Return (Maybe Expression) + | If [(Expression, CodeBlock)] (Maybe CodeBlock) + | While Expression CodeBlock | MachineStm String -:: Application +:: Expression = Name Name | Literal Literal - | App Name [Application] - | BuiltinApp Op1 Application - | BuiltinApp2 Application Op2 Application + | App Name [Expression] + | BuiltinApp Op1 Expression + | BuiltinApp2 Expression Op2 Expression :: Op1 = Neg //* ~ @@ -72,7 +72,7 @@ from Data.Maybe import :: Maybe instance toString Statement instance toString Type instance toString Arg -instance toString Application +instance toString Expression instance toString Op1 instance toString Op2 instance toString Literal |