[Git][monnier/typer][graveline] Added Ref as a built in type.
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... -- View it on GitLab: https://gitlab.com/monnier/typer/commit/d3100d5ef18d2dd0996c3895cd6718d29f08... You're receiving this email because of your account on gitlab.com.
Afficher les réponses par date
participants (1)
-
Jonathan Graveline