diff options
Diffstat (limited to 'Sil/Syntax.dcl')
| -rw-r--r-- | Sil/Syntax.dcl | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/Sil/Syntax.dcl b/Sil/Syntax.dcl index 1aa0c8b..1b3b44a 100644 --- a/Sil/Syntax.dcl +++ b/Sil/Syntax.dcl @@ -4,6 +4,8 @@ from StdOverloaded import class toString from Data.Maybe import :: Maybe +from Sil.Types import :: Type + :: Program = { p_funs :: [Function] } @@ -59,11 +61,6 @@ from Data.Maybe import :: Maybe | LogOr //* || | LogAnd //* && -:: Type - = TBool - | TInt - | TVoid - :: Literal = BLit Bool | ILit Int @@ -71,7 +68,6 @@ from Data.Maybe import :: Maybe :: Name :== String instance toString Statement -instance toString Type instance toString Arg instance toString Expression instance toString Op1 @@ -92,8 +88,3 @@ instance allCodeBlocks Statement class allLocals a :: a -> [(Type, Name)] instance allLocals Function instance allLocals CodeBlock - -/** - * Size of an expression on the stack - */ -typeSize :: Type -> Int |