Stefan pushed to branch master at Stefan / Typer

Commits: 277049a0 by Stefan Monnier at 2016-08-28T01:06:43-04:00 * src/lparse.ml (get_int): Remove

(_lexp_p_infer): Use type_int instead.

- - - - -

1 changed file:

- src/lparse.ml

Changes:

===================================== src/lparse.ml ===================================== --- a/src/lparse.ml +++ b/src/lparse.ml @@ -124,9 +124,6 @@ let build_var name ctx = let type0_idx = senv_lookup name ctx in Var((dloc, name), type0_idx)

-(* build type0 from ctx *) -let get_int ctx = build_var "Int" ctx - (* shift all variables by an offset *) let senv_lookup name ctx = senv_lookup name ctx + !_shift_glob @@ -146,7 +143,7 @@ and _lexp_p_infer (p : pexp) (ctx : lexp_context) i: lexp * ltype = (* Block/String/Integer/Float *) | Pimm value -> (Imm(value), match value with - | Integer _ -> get_int ctx + | Integer _ -> type_int | Float _ -> type_float | String _ -> type_string; | _ -> lexp_error tloc "Could not find type";

View it on GitLab: https://gitlab.com/monnier/typer/commit/277049a0fad4331ae4b0ca8c16a4d63f4474...