X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=AST.dcl;h=4a5a6cb49b9a6531773237ec2b72e07d33209188;hb=14e9a339d121ce18c420e4cb99f6bad86d1a5b45;hp=4f65b0eed3f0868fe52326df8ad8ee2c23b594d8;hpb=920ef953a2db44169bd34805233fecbbe334d10e;p=cc1516.git diff --git a/AST.dcl b/AST.dcl index 4f65b0e..4a5a6cb 100644 --- a/AST.dcl +++ b/AST.dcl @@ -15,6 +15,7 @@ from StdOverloaded import class toString, class ==, class zero, class < | BoolType | CharType | VoidType + | FuncType Type | (->>) infixl 7 Type Type :: Expr = VarExpr Pos VarDef @@ -36,12 +37,16 @@ from StdOverloaded import class toString, class ==, class zero, class < = IfStmt Expr [Stmt] [Stmt] | WhileStmt Expr [Stmt] | AssStmt VarDef Expr - | FunStmt String [Expr] + | FunStmt String [Expr] [FieldSelector] | ReturnStmt (Maybe Expr) instance toString Pos instance toString Type instance toString AST +instance toString FieldSelector +instance toString Op2 +instance toString Expr +instance toString VarDecl instance zero Pos instance == Op1