Jonathan Graveline pushed to branch graveline at Stefan / Typer
Commits: d3100d5e by Jonathan Graveline at 2018-06-14T02:25:03Z Added Ref as a built in type. - - - - -
1 changed file:
- src/builtin.ml
Changes:
===================================== src/builtin.ml ===================================== --- a/src/builtin.ml +++ b/src/builtin.ml @@ -164,6 +164,8 @@ let register_builtin_types () = let _ = new_builtin_type "Sexp" DB.type0 in let _ = new_builtin_type "IO" (mkArrow (Aexplicit, None, DB.type0, dloc, DB.type0)) in + let _ = new_builtin_type + "Ref" (mkArrow (Aexplicit, None, DB.type0, dloc, DB.type0)) in let _ = new_builtin_type "FileHandle" DB.type0 in let _ = new_builtin_type "Eq" type_eq in ()
View it on GitLab: https://gitlab.com/monnier/typer/commit/d3100d5ef18d2dd0996c3895cd6718d29f08...