Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Prettify predef registration #7124

Merged
merged 1 commit into from
Oct 23, 2024
Merged

Prettify predef registration #7124

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
77 changes: 30 additions & 47 deletions compiler/ml/predef.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -388,53 +388,36 @@ let common_initial_env add_type add_extension empty_env =
ext_is_exception = true;
}
in
add_exception ident_match_failure
[newgenty (Ttuple [type_string; type_int; type_int])]
(add_exception ident_invalid_argument [type_string]
(add_exception ident_js_error [type_unknown]
(add_exception ident_failure [type_string]
(add_exception ident_not_found []
(add_exception ident_end_of_file []
(add_exception ident_division_by_zero []
(add_exception ident_assert_failure
[newgenty (Ttuple [type_string; type_int; type_int])]
(add_exception ident_undefined_recursive_module
[
newgenty (Ttuple [type_string; type_int; type_int]);
]
(add_type ident_bigint decl_abstr
(add_type ident_lazy_t decl_lazy_t
(add_type ident_option decl_option
(add_type ident_result decl_result
(add_type ident_dict decl_dict
(add_type ident_list decl_list
(add_type ident_array decl_array
(add_type ident_exn decl_exn
(add_type ident_unit
decl_unit
(add_type ident_bool
decl_bool
(add_type ident_float
decl_abstr
(add_type
ident_unknown
decl_unknown
(add_type
ident_uncurried
decl_uncurried
(add_type
ident_string
decl_abstr
(add_type
ident_int
decl_abstr_imm
(add_type
ident_extension_constructor
decl_abstr
(add_type
ident_promise
decl_promise
empty_env)))))))))))))))))))))))))
empty_env
|> add_type ident_bool decl_bool
|> add_type ident_int decl_abstr_imm
|> add_type ident_float decl_abstr
|> add_type ident_bigint decl_abstr
|> add_type ident_string decl_abstr
|> add_type ident_unit decl_unit
|> add_type ident_extension_constructor decl_abstr
|> add_type ident_exn decl_exn
|> add_type ident_uncurried decl_uncurried
|> add_type ident_option decl_option
|> add_type ident_result decl_result
|> add_type ident_lazy_t decl_lazy_t
|> add_type ident_promise decl_promise
|> add_type ident_array decl_array
|> add_type ident_list decl_list
|> add_type ident_dict decl_dict
|> add_type ident_unknown decl_unknown
|> add_exception ident_undefined_recursive_module
[newgenty (Ttuple [type_string; type_int; type_int])]
|> add_exception ident_assert_failure
[newgenty (Ttuple [type_string; type_int; type_int])]
|> add_exception ident_division_by_zero []
|> add_exception ident_end_of_file []
|> add_exception ident_not_found []
|> add_exception ident_failure [type_string]
|> add_exception ident_js_error [type_unknown]
|> add_exception ident_invalid_argument [type_string]
|> add_exception ident_match_failure
[newgenty (Ttuple [type_string; type_int; type_int])]

let build_initial_env add_type add_exception empty_env =
let common = common_initial_env add_type add_exception empty_env in
Expand Down