diff options
Diffstat (limited to 'src/boot/fe/cexp.ml')
| -rw-r--r-- | src/boot/fe/cexp.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/boot/fe/cexp.ml b/src/boot/fe/cexp.ml index 5d3a99ef..fc849b28 100644 --- a/src/boot/fe/cexp.ml +++ b/src/boot/fe/cexp.ml @@ -527,7 +527,9 @@ and eval_pexp (env:env) (exp:Pexp.pexp) : pval = | Pexp.PEXP_lit (Ast.LIT_bool b) -> PVAL_bool b - | Pexp.PEXP_lit (Ast.LIT_int (i, _)) -> + | Pexp.PEXP_lit (Ast.LIT_int i) + | Pexp.PEXP_lit (Ast.LIT_uint i) + | Pexp.PEXP_lit (Ast.LIT_mach_int (_, i)) -> PVAL_num i | Pexp.PEXP_str s -> |