diff --git a/src/lexer.mll b/src/lexer.mll index 3fda6ca..228ae81 100644 --- a/src/lexer.mll +++ b/src/lexer.mll @@ -14,6 +14,7 @@ ("returns", RETURNS); ("var", VAR); ("int", TYP(Ast.TInt)); + ("real", TYP(Ast.TReal)); ("bool", TYP(Ast.TBool)); ("<=", CMP_le); (">=", CMP_ge); diff --git a/src/parser.mly b/src/parser.mly index ed84534..d179369 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -118,6 +118,7 @@ %token COLON %token BOOL %token INT +%token REAL %token LET %token TEL %token NODE