Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Improve type-based optimization: do not forget about 'bytes'.

master
Alain Frisch 2016-07-25 11:29:04 +02:00 committed by alainfrisch
parent dbd9c151fd
commit e5698d6bcb
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
bytecomp/typeopt.ml
View File

@ -69,6 +69,7 @@ let array_element_kind env ty =
if Path.same p Predef.path_float then
Pfloatarray
else if Path.same p Predef.path_string
|| Path.same p Predef.path_bytes
|| Path.same p Predef.path_array
|| Path.same p Predef.path_nativeint
|| Path.same p Predef.path_int32
@ -174,6 +175,7 @@ let lazy_val_requires_forward env ty =
immediate types (int, bool, unit, char) have been dealt with already *)
| Tconstr _ ->
not (is_base_type env ty Predef.path_string
|| is_base_type env ty Predef.path_bytes
|| is_base_type env ty Predef.path_exn
|| is_base_type env ty Predef.path_array
|| is_base_type env ty Predef.path_list