diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/boot/fe/lexer.mll | 1 | ||||
| -rw-r--r-- | src/boot/fe/token.ml | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/src/boot/fe/lexer.mll b/src/boot/fe/lexer.mll index 4e4e845c..6430821d 100644 --- a/src/boot/fe/lexer.mll +++ b/src/boot/fe/lexer.mll @@ -79,6 +79,7 @@ ("int", INT); ("uint", UINT); + ("float", FLOAT); ("char", CHAR); ("str", STR); diff --git a/src/boot/fe/token.ml b/src/boot/fe/token.ml index 636e1ac2..446e5262 100644 --- a/src/boot/fe/token.ml +++ b/src/boot/fe/token.ml @@ -118,6 +118,7 @@ type token = | BOOL | INT | UINT + | FLOAT | CHAR | STR | MACH of Common.ty_mach @@ -267,6 +268,7 @@ let rec string_of_tok t = | BOOL -> "bool" | INT -> "int" | UINT -> "uint" + | FLOAT -> "float" | CHAR -> "char" | STR -> "str" | MACH m -> Common.string_of_ty_mach m |