diff options
| author | Camil Staps | 2017-07-19 12:30:10 +0000 |
|---|---|---|
| committer | Camil Staps | 2017-07-19 12:30:10 +0000 |
| commit | 7364919175a6bc988d17523005917933f0680492 (patch) | |
| tree | cc66d7ec332bf729ed2c484ee642d557fa38ae43 /Sil/Syntax.dcl | |
| parent | Add else if (diff) | |
Nomenclature: Application type is now Expression
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 |