[Git][monnier/typer][master] * src/lparse.ml (get_int): Remove
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...
Afficher les réponses par date
participants (1)
-
Stefan