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...