diff options
Diffstat (limited to 'typing/predef.ml')
| -rw-r--r-- | typing/predef.ml | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/typing/predef.ml b/typing/predef.ml index b2d1bf22a5..9a54b93325 100644 --- a/typing/predef.ml +++ b/typing/predef.ml @@ -48,19 +48,19 @@ and path_nativeint = Pident ident_nativeint and path_int32 = Pident ident_int32 and path_int64 = Pident ident_int64 -let type_int = newgenty (Tconstr(path_int, [], ref Mnil)) -and type_char = newgenty (Tconstr(path_char, [], ref Mnil)) -and type_string = newgenty (Tconstr(path_string, [], ref Mnil)) -and type_float = newgenty (Tconstr(path_float, [], ref Mnil)) -and type_bool = newgenty (Tconstr(path_bool, [], ref Mnil)) -and type_unit = newgenty (Tconstr(path_unit, [], ref Mnil)) -and type_exn = newgenty (Tconstr(path_exn, [], ref Mnil)) -and type_array t = newgenty (Tconstr(path_array, [t], ref Mnil)) -and type_list t = newgenty (Tconstr(path_list, [t], ref Mnil)) -and type_option t = newgenty (Tconstr(path_option, [t], ref Mnil)) -and type_nativeint = newgenty (Tconstr(path_nativeint, [], ref Mnil)) -and type_int32 = newgenty (Tconstr(path_int32, [], ref Mnil)) -and type_int64 = newgenty (Tconstr(path_int64, [], ref Mnil)) +let type_int = newgenconstr path_int [] 0 +and type_char = newgenconstr path_char [] 0 +and type_string = newgenconstr path_string [] 0 +and type_float = newgenconstr path_float [] 0 +and type_bool = newgenconstr path_bool [] 0 +and type_unit = newgenconstr path_unit [] 0 +and type_exn = newgenconstr path_exn [] 0 +and type_array t = newgenconstr path_array [t] 1 +and type_list t = newgenconstr path_list [t] 1 +and type_option t = newgenconstr path_option [t] 1 +and type_nativeint = newgenconstr path_nativeint [] 0 +and type_int32 = newgenconstr path_int32 [] 0 +and type_int64 = newgenconstr path_int64 [] 0 let ident_match_failure = Ident.create "Match_failure" and ident_out_of_memory = Ident.create "Out_of_memory" |