diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 1997-05-13 18:28:15 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 1997-05-13 18:28:15 +0000 |
| commit | 647dbb0aa437507fcc15ebe21a48b25b006957ea (patch) | |
| tree | baeac6381c5575fb985a0e843d6928035e5871ad | |
| parent | 81712f86b8ab891c1d8450dc84313936c76c4398 (diff) | |
| download | ocaml-647dbb0aa437507fcc15ebe21a48b25b006957ea.tar.gz | |
rien
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1543 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/predef.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/typing/predef.ml b/typing/predef.ml index ba864bec18..fc776a0ffb 100644 --- a/typing/predef.ml +++ b/typing/predef.ml @@ -99,7 +99,8 @@ let build_initial_env add_type add_exception empty_env = type_kind = Type_abstract; type_manifest = None} in - add_exception ident_match_failure [newgenty (Ttuple[type_string; type_int; type_int])] ( + add_exception ident_match_failure + [newgenty (Ttuple[type_string; type_int; type_int])] ( add_exception ident_out_of_memory [] ( add_exception ident_invalid_argument [type_string] ( add_exception ident_failure [type_string] ( @@ -121,6 +122,7 @@ let build_initial_env add_type add_exception empty_env = let builtin_values = List.map (fun id -> Ident.make_global id; (Ident.name id, id)) - [ident_match_failure; ident_out_of_memory; ident_invalid_argument; + [ident_match_failure; ident_out_of_memory; + ident_invalid_argument; ident_failure; ident_not_found; ident_sys_error; ident_end_of_file; ident_division_by_zero] |