diff options
| author | Camil Staps | 2017-07-19 19:42:47 +0000 |
|---|---|---|
| committer | Camil Staps | 2017-07-19 19:42:47 +0000 |
| commit | bb52dc5e385a011f928f7a6c8b8497563a31c464 (patch) | |
| tree | e44caeaa5a3cd89d48d9027fe2a4c2c820644d52 /Sil/Syntax.dcl | |
| parent | Discard unused application results (diff) | |
Add AST checks
Diffstat (limited to 'Sil/Syntax.dcl')
| -rw-r--r-- | Sil/Syntax.dcl | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Sil/Syntax.dcl b/Sil/Syntax.dcl index aebe32c..42097c5 100644 --- a/Sil/Syntax.dcl +++ b/Sil/Syntax.dcl @@ -77,3 +77,14 @@ instance toString Expression instance toString Op1 instance toString Op2 instance toString Literal + +class allStatements a :: a -> [Statement] +instance allStatements Program +instance allStatements Function +instance allStatements CodeBlock +instance allStatements Statement + +/** + * Size of an expression on the stack + */ +typeSize :: Type -> Int |