fix shims for arrays

This commit is contained in:
Simon Cruanes 2019-12-10 23:20:39 -06:00
parent 74e7d87872
commit d5e5b43e1f

View file

@ -80,7 +80,7 @@ let shims_array_pre_406 = "
type 'a t = 'a array
"
let shims_array_pre_408 = "
let shims_array_406_408 = "
include Array
type 'a t = 'a array
"
@ -146,7 +146,7 @@ let () =
write_file "CCShimsList_.ml" (if (major, minor) >= (4,8) then shims_list_post_408 else shims_list_pre_408);
write_file "CCShimsArray_.ml"
(if (major, minor) >= (4,8) then shims_array_post_408
else if (major, minor) >= (4,6) then shims_fmt_pre_408
else if (major, minor) >= (4,6) then shims_array_406_408
else shims_array_pre_406);
write_file "CCShimsFormat_.ml" (if (major, minor) >= (4,8) then shims_fmt_post_408 else shims_fmt_pre_408);
write_file "CCShimsFun_.ml" (if (major, minor) >= (4,8) then shims_fun_post_408 else shims_fun_pre_408);