diff --git a/compiler/lib/magic_number.ml b/compiler/lib/magic_number.ml index 9886426b37..fdf837ec19 100644 --- a/compiler/lib/magic_number.ml +++ b/compiler/lib/magic_number.ml @@ -77,7 +77,7 @@ let current_exe = | `V5_00 -> 32 | `V5_01 -> 33 | `V5_02 -> 34 - | `V5_03 -> 33 + | `V5_03 -> 35 in "Caml1999X", v @@ -94,7 +94,7 @@ let current_cmo = | `V5_00 -> 32 | `V5_01 -> 33 | `V5_02 -> 34 - | `V5_03 -> 33 + | `V5_03 -> 35 in "Caml1999O", v @@ -111,7 +111,7 @@ let current_cma = | `V5_00 -> 32 | `V5_01 -> 33 | `V5_02 -> 34 - | `V5_03 -> 33 + | `V5_03 -> 35 in "Caml1999A", v diff --git a/compiler/tests-check-prim/main.output5 b/compiler/tests-check-prim/main.output5 index 01a41cf1b0..01acf3c272 100644 --- a/compiler/tests-check-prim/main.output5 +++ b/compiler/tests-check-prim/main.output5 @@ -10,15 +10,6 @@ caml_dynlink_close_lib caml_dynlink_get_current_libs caml_dynlink_lookup_symbol caml_dynlink_open_lib -caml_int64_add_native -caml_int64_and_native -caml_int64_div_native -caml_int64_mod_native -caml_int64_mul_native -caml_int64_neg_native -caml_int64_or_native -caml_int64_sub_native -caml_int64_xor_native caml_int_as_pointer caml_reset_afl_instrumentation caml_signbit @@ -44,7 +35,6 @@ caml_bigstring_memcmp caml_hash_mix_bigstring From +domain.js: -caml_atomic_make_contended caml_ml_domain_set_name From +effect.js: @@ -63,7 +53,6 @@ caml_eventlog_resume caml_gc_huge_fallback_count caml_get_major_bucket caml_get_major_credit -caml_memprof_discard caml_memprof_set From +graphics.js: @@ -119,10 +108,6 @@ From +ints.js: caml_div caml_mod -From +io.js: -caml_ml_input_bigarray -caml_ml_output_bigarray - From +jslib.js: caml_is_js caml_trampoline @@ -154,12 +139,10 @@ caml_obj_set_tag caml_obj_truncate From +runtime_events.js: -caml_ml_runtime_events_pause -caml_ml_runtime_events_resume -caml_ml_runtime_events_start caml_runtime_events_create_cursor caml_runtime_events_free_cursor caml_runtime_events_read_poll +caml_runtime_events_user_resolve From +stdlib.js: caml_build_symbols @@ -187,7 +170,6 @@ caml_spacetime_only_works_for_native_code caml_sys_const_naked_pointers_checked From +toplevel.js: -caml_dynlink_get_bytecode_sections caml_static_alloc caml_static_free caml_terminfo_backup diff --git a/compiler/tests-check-prim/unix-unix.output5 b/compiler/tests-check-prim/unix-unix.output5 index 4997d6d7a8..575db56fe3 100644 --- a/compiler/tests-check-prim/unix-unix.output5 +++ b/compiler/tests-check-prim/unix-unix.output5 @@ -10,15 +10,6 @@ caml_dynlink_close_lib caml_dynlink_get_current_libs caml_dynlink_lookup_symbol caml_dynlink_open_lib -caml_int64_add_native -caml_int64_and_native -caml_int64_div_native -caml_int64_mod_native -caml_int64_mul_native -caml_int64_neg_native -caml_int64_or_native -caml_int64_sub_native -caml_int64_xor_native caml_int_as_pointer caml_reset_afl_instrumentation caml_signbit @@ -92,6 +83,7 @@ caml_unix_outchannel_of_filedescr caml_unix_pipe caml_unix_putenv caml_unix_read +caml_unix_read_bigarray caml_unix_realpath caml_unix_recv caml_unix_recvfrom @@ -131,6 +123,7 @@ caml_unix_utimes caml_unix_wait caml_unix_waitpid caml_unix_write +caml_unix_write_bigarray debugger is_digit_normalized @@ -153,7 +146,6 @@ caml_bigstring_memcmp caml_hash_mix_bigstring From +domain.js: -caml_atomic_make_contended caml_ml_domain_set_name From +effect.js: @@ -172,7 +164,6 @@ caml_eventlog_resume caml_gc_huge_fallback_count caml_get_major_bucket caml_get_major_credit -caml_memprof_discard caml_memprof_set From +graphics.js: @@ -228,10 +219,6 @@ From +ints.js: caml_div caml_mod -From +io.js: -caml_ml_input_bigarray -caml_ml_output_bigarray - From +jslib.js: caml_is_js caml_trampoline @@ -263,12 +250,10 @@ caml_obj_set_tag caml_obj_truncate From +runtime_events.js: -caml_ml_runtime_events_pause -caml_ml_runtime_events_resume -caml_ml_runtime_events_start caml_runtime_events_create_cursor caml_runtime_events_free_cursor caml_runtime_events_read_poll +caml_runtime_events_user_resolve From +stdlib.js: caml_build_symbols @@ -296,7 +281,6 @@ caml_spacetime_only_works_for_native_code caml_sys_const_naked_pointers_checked From +toplevel.js: -caml_dynlink_get_bytecode_sections caml_static_alloc caml_static_free caml_terminfo_backup diff --git a/compiler/tests-full/stdlib.cma.expected.js b/compiler/tests-full/stdlib.cma.expected.js index 75419ebc31..6700341f97 100644 --- a/compiler/tests-full/stdlib.cma.expected.js +++ b/compiler/tests-full/stdlib.cma.expected.js @@ -20852,8 +20852,8 @@ cst_append = cst_append$1, cst_set_capacity = "set_capacity", cst_ensure_capacity = cst_ensure_capacity$0, - _k_ = [0, cst_dynarray_ml, 381, 4], - _j_ = [0, cst_dynarray_ml, 382, 4], + _k_ = [0, cst_dynarray_ml, 380, 4], + _j_ = [0, cst_dynarray_ml, 381, 4], cst_truncate = "truncate", cst_set = "set", cst_get = "get", @@ -21077,55 +21077,55 @@ return match ? (arr[1 + last] = 0, a[1] = last, match[1]) : missing_element(last, length); - /*<>*/ } + /*<>*/ } function pop_last_opt(a){ - /*<>*/ try{ - /*<>*/ /*<>*/ var + /*<>*/ try{ + /*<>*/ /*<>*/ var x = pop_last(a); } catch(___){ var _Z_ = caml_wrap_exception(___); - if(_Z_ === Stdlib[8]) /*<>*/ return 0; + if(_Z_ === Stdlib[8]) /*<>*/ return 0; throw caml_maybe_attach_backtrace(_Z_, 0); } - /*<>*/ return [0, x]; - /*<>*/ } + /*<>*/ return [0, x]; + /*<>*/ } function remove_last(a){ - /*<>*/ var - /*<>*/ last = a[1] - 1 | 0, + /*<>*/ var + /*<>*/ last = a[1] - 1 | 0, _X_ = 0 <= last ? 1 : 0, _Y_ = _X_ ? (a[1] = last, caml_check_bound(a[2], last)[1 + last] = 0, 0) : _X_; - /*<>*/ return _Y_; - /*<>*/ } + /*<>*/ return _Y_; + /*<>*/ } function truncate(a, n){ - /*<>*/ if(n < 0) - /*<>*/ negative_length_requested(cst_truncate, n); + /*<>*/ if(n < 0) + /*<>*/ negative_length_requested(cst_truncate, n); var length = a[1], arr = a[2]; return length <= n ? 0 : (a [1] = n, - /*<>*/ caml_call4 + /*<>*/ caml_call4 (Stdlib_Array[8], arr, n, length - n | 0, 0)); - /*<>*/ } + /*<>*/ } function clear(a){ - /*<>*/ return truncate(a, 0); - /*<>*/ } + /*<>*/ return truncate(a, 0); + /*<>*/ } function capacity(a){ - /*<>*/ return a[2].length - 1; - /*<>*/ } + /*<>*/ return a[2].length - 1; + /*<>*/ } function ensure_capacity(a, capacity_request){ - /*<>*/ var + /*<>*/ var arr = a[2], - /*<>*/ cur_capacity = arr.length - 1; - /*<>*/ if(0 > capacity_request) - /*<>*/ return negative_capacity_requested + /*<>*/ cur_capacity = arr.length - 1; + /*<>*/ if(0 > capacity_request) + /*<>*/ return negative_capacity_requested (cst_ensure_capacity, capacity_request); - if(capacity_request <= cur_capacity) /*<>*/ return 0; + if(capacity_request <= cur_capacity) /*<>*/ return 0; if(Stdlib_Sys[13] < capacity_request) /*<>*/ /*<>*/ caml_call5 (Stdlib_Printf[10], @@ -21134,63 +21134,63 @@ f$0, capacity_request, Stdlib_Sys[13]); - /*<>*/ var + /*<>*/ var n = 512 < cur_capacity ? cur_capacity + (cur_capacity / 2 | 0) | 0 : cur_capacity * 2 | 0, _U_ = Stdlib_Sys[13], - /*<>*/ _V_ = - /*<>*/ caml_call2(Stdlib[17], 8, n), - /*<>*/ _W_ = - /*<>*/ caml_call2(Stdlib[16], _V_, _U_), - /*<>*/ new_capacity = - /*<>*/ caml_call2 + /*<>*/ _V_ = + /*<>*/ caml_call2(Stdlib[17], 8, n), + /*<>*/ _W_ = + /*<>*/ caml_call2(Stdlib[16], _V_, _U_), + /*<>*/ new_capacity = + /*<>*/ caml_call2 (Stdlib[17], _W_, capacity_request), - /*<>*/ new_arr = - /*<>*/ caml_make_vect(new_capacity, 0); - /*<>*/ /*<>*/ caml_call5 + /*<>*/ new_arr = + /*<>*/ caml_make_vect(new_capacity, 0); + /*<>*/ /*<>*/ caml_call5 (Stdlib_Array[9], arr, 0, new_arr, 0, a[1]); a[2] = new_arr; if(0 > capacity_request) - /*<>*/ throw /*<>*/ caml_maybe_attach_backtrace + /*<>*/ throw /*<>*/ caml_maybe_attach_backtrace ([0, Assert_failure, _k_], 1); if(capacity_request <= new_arr.length - 1) return 0; - /*<>*/ throw /*<>*/ caml_maybe_attach_backtrace + /*<>*/ throw /*<>*/ caml_maybe_attach_backtrace ([0, Assert_failure, _j_], 1); - /*<>*/ } + /*<>*/ } function ensure_extra_capacity(a, extra_capacity_request){ - /*<>*/ return ensure_capacity + /*<>*/ return ensure_capacity (a, a[1] + extra_capacity_request | 0); - /*<>*/ } + /*<>*/ } function fit_capacity(a){ - /*<>*/ var _T_ = a[1]; + /*<>*/ var _T_ = a[1]; return capacity(a) === _T_ ? 0 : (a [2] = - /*<>*/ caml_call3 + /*<>*/ caml_call3 (Stdlib_Array[6], a[2], 0, a[1]), 0); - /*<>*/ } + /*<>*/ } function set_capacity(a, n){ - /*<>*/ if(n < 0) - /*<>*/ negative_capacity_requested + /*<>*/ if(n < 0) + /*<>*/ negative_capacity_requested (cst_set_capacity, n); - /*<>*/ var + /*<>*/ var arr = a[2], - /*<>*/ cur_capacity = arr.length - 1; + /*<>*/ cur_capacity = arr.length - 1; if(n < cur_capacity){ - a[1] = /*<>*/ caml_call2(Stdlib[16], a[1], n); - a[2] = /*<>*/ caml_call3(Stdlib_Array[6], arr, 0, n); + a[1] = /*<>*/ caml_call2(Stdlib[16], a[1], n); + a[2] = /*<>*/ caml_call3(Stdlib_Array[6], arr, 0, n); return 0; } var _R_ = cur_capacity < n ? 1 : 0; if(_R_){ - /*<>*/ /*<>*/ var - new_arr = /*<>*/ caml_make_vect(n, 0); - /*<>*/ /*<>*/ caml_call5 + /*<>*/ /*<>*/ var + new_arr = /*<>*/ caml_make_vect(n, 0); + /*<>*/ /*<>*/ caml_call5 (Stdlib_Array[9], arr, 0, new_arr, 0, a[1]); a[2] = new_arr; var _S_ = 0; @@ -21198,418 +21198,418 @@ else var _S_ = _R_; return _S_; - /*<>*/ } + /*<>*/ } function reset(a){ - /*<>*/ a[1] = 0; + /*<>*/ a[1] = 0; a[2] = [0]; return 0; - /*<>*/ } + /*<>*/ } function add_last_if_room(a, elem){ - /*<>*/ var length = a[1], arr = a[2]; + /*<>*/ var length = a[1], arr = a[2]; return arr.length - 1 <= length ? 0 : (a[1] = length + 1 | 0, arr[1 + length] = elem, 1); - /*<>*/ } + /*<>*/ } function add_last(a, x){ - /*<>*/ /*<>*/ var elem = [0, x]; - /*<>*/ if(add_last_if_room(a, elem)) - /*<>*/ return 0; - /*<>*/ for(;;){ - /*<>*/ ensure_extra_capacity(a, 1); - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var elem = [0, x]; + /*<>*/ if(add_last_if_room(a, elem)) + /*<>*/ return 0; + /*<>*/ for(;;){ + /*<>*/ ensure_extra_capacity(a, 1); + /*<>*/ /*<>*/ var _Q_ = 1 - add_last_if_room(a, elem); - if(! _Q_) /*<>*/ return _Q_; + if(! _Q_) /*<>*/ return _Q_; } - /*<>*/ } + /*<>*/ } function append_list(a, li){ - /*<>*/ var li$0 = li; - /*<>*/ for(;;){ - if(! li$0) /*<>*/ return 0; + /*<>*/ var li$0 = li; + /*<>*/ for(;;){ + if(! li$0) /*<>*/ return 0; var xs = li$0[2], x = li$0[1]; - /*<>*/ add_last(a, x); + /*<>*/ add_last(a, x); var li$0 = xs; } - /*<>*/ } + /*<>*/ } function append_iter(a, iter, b){ - /*<>*/ return /*<>*/ caml_call2 + /*<>*/ return /*<>*/ caml_call2 (iter, function(x){ - /*<>*/ return add_last(a, x); - /*<>*/ }, + /*<>*/ return add_last(a, x); + /*<>*/ }, b); - /*<>*/ } + /*<>*/ } function append_seq(a, seq){ function _P_(x){ - /*<>*/ return add_last(a, x); - /*<>*/ } - /*<>*/ return /*<>*/ caml_call2 + /*<>*/ return add_last(a, x); + /*<>*/ } + /*<>*/ return /*<>*/ caml_call2 (Stdlib_Seq[4], _P_, seq); - /*<>*/ } + /*<>*/ } function append_array_if_room(a, b){ - /*<>*/ var + /*<>*/ var length_a = a[1], arr = a[2], - /*<>*/ length_b = b.length - 1; + /*<>*/ length_b = b.length - 1; if(arr.length - 1 < (length_a + length_b | 0)) - /*<>*/ return 0; + /*<>*/ return 0; a[1] = length_a + length_b | 0; - /*<>*/ var - /*<>*/ _N_ = length_b - 1 | 0, - /*<>*/ _M_ = 0; + /*<>*/ var + /*<>*/ _N_ = length_b - 1 | 0, + /*<>*/ _M_ = 0; if(_N_ >= 0){ var i = _M_; for(;;){ - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var x = b[1 + i]; arr[1 + (length_a + i | 0)] = [0, x]; - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var _O_ = i + 1 | 0; if(_N_ === i) break; var i = _O_; } } - /*<>*/ return 1; - /*<>*/ } + /*<>*/ return 1; + /*<>*/ } function append_array(a, b){ - /*<>*/ if(append_array_if_room(a, b)) - /*<>*/ return 0; - /*<>*/ for(;;){ - /*<>*/ ensure_extra_capacity(a, b.length - 1); - /*<>*/ /*<>*/ var + /*<>*/ if(append_array_if_room(a, b)) + /*<>*/ return 0; + /*<>*/ for(;;){ + /*<>*/ ensure_extra_capacity(a, b.length - 1); + /*<>*/ /*<>*/ var _L_ = 1 - append_array_if_room(a, b); - if(! _L_) /*<>*/ return _L_; + if(! _L_) /*<>*/ return _L_; } - /*<>*/ } + /*<>*/ } function append_if_room(a, b, length_b){ - /*<>*/ var length_a = a[1], arr_a = a[2]; + /*<>*/ var length_a = a[1], arr_a = a[2]; if(arr_a.length - 1 < (length_a + length_b | 0)) - /*<>*/ return 0; + /*<>*/ return 0; a[1] = length_a + length_b | 0; var arr_b = b[2]; - /*<>*/ check_valid_length(length_b, arr_b); - /*<>*/ var + /*<>*/ check_valid_length(length_b, arr_b); + /*<>*/ var _J_ = length_b - 1 | 0, - /*<>*/ _I_ = 0; + /*<>*/ _I_ = 0; if(_J_ >= 0){ var i = _I_; for(;;){ - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var x = unsafe_get(arr_b, i, length_b); arr_a[1 + (length_a + i | 0)] = [0, x]; - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var _K_ = i + 1 | 0; if(_J_ === i) break; var i = _K_; } } - /*<>*/ check_same_length(cst_append, b, length_b); - /*<>*/ return 1; - /*<>*/ } + /*<>*/ check_same_length(cst_append, b, length_b); + /*<>*/ return 1; + /*<>*/ } function append(a, b){ - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var length_b = b[1]; - /*<>*/ if(append_if_room(a, b, length_b)) - /*<>*/ return 0; - /*<>*/ for(;;){ - /*<>*/ ensure_extra_capacity(a, length_b); - /*<>*/ check_same_length(cst_append$0, b, length_b); - /*<>*/ /*<>*/ var + /*<>*/ if(append_if_room(a, b, length_b)) + /*<>*/ return 0; + /*<>*/ for(;;){ + /*<>*/ ensure_extra_capacity(a, length_b); + /*<>*/ check_same_length(cst_append$0, b, length_b); + /*<>*/ /*<>*/ var _H_ = 1 - append_if_room(a, b, length_b); - if(! _H_) /*<>*/ return _H_; + if(! _H_) /*<>*/ return _H_; } - /*<>*/ } + /*<>*/ } function iter(f, k, a){ - /*<>*/ var length = a[1], arr = a[2]; - /*<>*/ check_valid_length(length, arr); - /*<>*/ var + /*<>*/ var length = a[1], arr = a[2]; + /*<>*/ check_valid_length(length, arr); + /*<>*/ var _F_ = length - 1 | 0, - /*<>*/ _E_ = 0; + /*<>*/ _E_ = 0; if(_F_ >= 0){ var i = _E_; for(;;){ - /*<>*/ /*<>*/ caml_call1 + /*<>*/ /*<>*/ caml_call1 (k, unsafe_get(arr, i, length)); - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var _G_ = i + 1 | 0; if(_F_ === i) break; var i = _G_; } } - /*<>*/ return check_same_length(f, a, length); - /*<>*/ } + /*<>*/ return check_same_length(f, a, length); + /*<>*/ } function iter$0(k, a){ - /*<>*/ return iter(cst_iter, k, a); - /*<>*/ } + /*<>*/ return iter(cst_iter, k, a); + /*<>*/ } function iteri(k, a){ - /*<>*/ var length = a[1], arr = a[2]; - /*<>*/ check_valid_length(length, arr); - /*<>*/ var + /*<>*/ var length = a[1], arr = a[2]; + /*<>*/ check_valid_length(length, arr); + /*<>*/ var _C_ = length - 1 | 0, - /*<>*/ _B_ = 0; + /*<>*/ _B_ = 0; if(_C_ >= 0){ var i = _B_; for(;;){ - /*<>*/ /*<>*/ caml_call2 + /*<>*/ /*<>*/ caml_call2 (k, i, unsafe_get(arr, i, length)); - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var _D_ = i + 1 | 0; if(_C_ === i) break; var i = _D_; } } - /*<>*/ return check_same_length(cst_iteri, a, length); - /*<>*/ } + /*<>*/ return check_same_length(cst_iteri, a, length); + /*<>*/ } function map(f, a){ - /*<>*/ var length = a[1], arr = a[2]; - /*<>*/ check_valid_length(length, arr); + /*<>*/ var length = a[1], arr = a[2]; + /*<>*/ check_valid_length(length, arr); function _A_(i){ - /*<>*/ return [0, - /*<>*/ caml_call1 + /*<>*/ return [0, + /*<>*/ caml_call1 (f, unsafe_get(arr, i, length))]; - /*<>*/ } - /*<>*/ /*<>*/ var + /*<>*/ } + /*<>*/ /*<>*/ var res = [0, length, - /*<>*/ caml_call2(Stdlib_Array[1], length, _A_)]; - /*<>*/ check_same_length(cst_map, a, length); - /*<>*/ return res; - /*<>*/ } + /*<>*/ caml_call2(Stdlib_Array[1], length, _A_)]; + /*<>*/ check_same_length(cst_map, a, length); + /*<>*/ return res; + /*<>*/ } function mapi(f, a){ - /*<>*/ var length = a[1], arr = a[2]; - /*<>*/ check_valid_length(length, arr); + /*<>*/ var length = a[1], arr = a[2]; + /*<>*/ check_valid_length(length, arr); function _z_(i){ - /*<>*/ return [0, - /*<>*/ caml_call2 + /*<>*/ return [0, + /*<>*/ caml_call2 (f, i, unsafe_get(arr, i, length))]; - /*<>*/ } - /*<>*/ /*<>*/ var + /*<>*/ } + /*<>*/ /*<>*/ var res = [0, length, - /*<>*/ caml_call2(Stdlib_Array[1], length, _z_)]; - /*<>*/ check_same_length(cst_mapi, a, length); - /*<>*/ return res; - /*<>*/ } + /*<>*/ caml_call2(Stdlib_Array[1], length, _z_)]; + /*<>*/ check_same_length(cst_mapi, a, length); + /*<>*/ return res; + /*<>*/ } function fold_left(f, acc, a){ - /*<>*/ var length = a[1], arr = a[2]; - /*<>*/ check_valid_length(length, arr); - /*<>*/ var - /*<>*/ r = [0, acc], - /*<>*/ _x_ = length - 1 | 0, - /*<>*/ _w_ = 0; + /*<>*/ var length = a[1], arr = a[2]; + /*<>*/ check_valid_length(length, arr); + /*<>*/ var + /*<>*/ r = [0, acc], + /*<>*/ _x_ = length - 1 | 0, + /*<>*/ _w_ = 0; if(_x_ >= 0){ var i = _w_; for(;;){ - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var v = unsafe_get(arr, i, length); - r[1] = /*<>*/ caml_call2(f, r[1], v); - /*<>*/ /*<>*/ var + r[1] = /*<>*/ caml_call2(f, r[1], v); + /*<>*/ /*<>*/ var _y_ = i + 1 | 0; if(_x_ === i) break; var i = _y_; } } - /*<>*/ check_same_length(cst_fold_left, a, length); + /*<>*/ check_same_length(cst_fold_left, a, length); return r[1]; - /*<>*/ } + /*<>*/ } function fold_right(f, a, acc){ - /*<>*/ var length = a[1], arr = a[2]; - /*<>*/ check_valid_length(length, arr); - /*<>*/ var - /*<>*/ r = [0, acc], - /*<>*/ _u_ = length - 1 | 0; + /*<>*/ var length = a[1], arr = a[2]; + /*<>*/ check_valid_length(length, arr); + /*<>*/ var + /*<>*/ r = [0, acc], + /*<>*/ _u_ = length - 1 | 0; if(_u_ >= 0){ var i = _u_; for(;;){ - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var v = unsafe_get(arr, i, length); - r[1] = /*<>*/ caml_call2(f, v, r[1]); - /*<>*/ /*<>*/ var + r[1] = /*<>*/ caml_call2(f, v, r[1]); + /*<>*/ /*<>*/ var _v_ = i - 1 | 0; if(0 === i) break; var i = _v_; } } - /*<>*/ check_same_length(cst_fold_right, a, length); + /*<>*/ check_same_length(cst_fold_right, a, length); return r[1]; - /*<>*/ } + /*<>*/ } function exists(p, a){ - /*<>*/ var length = a[1], arr = a[2]; - /*<>*/ check_valid_length(length, arr); + /*<>*/ var length = a[1], arr = a[2]; + /*<>*/ check_valid_length(length, arr); var i = 0; - /*<>*/ for(;;){ + /*<>*/ for(;;){ if(i === length) var res = 0; else{ - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var _t_ = - /*<>*/ caml_call1(p, unsafe_get(arr, i, length)); - /*<>*/ if(! _t_){ + /*<>*/ caml_call1(p, unsafe_get(arr, i, length)); + /*<>*/ if(! _t_){ var i$0 = i + 1 | 0, i = i$0; continue; } var res = _t_; } - /*<>*/ check_same_length(cst_exists, a, length); - /*<>*/ return res; + /*<>*/ check_same_length(cst_exists, a, length); + /*<>*/ return res; } - /*<>*/ } + /*<>*/ } function for_all(p, a){ - /*<>*/ var length = a[1], arr = a[2]; - /*<>*/ check_valid_length(length, arr); + /*<>*/ var length = a[1], arr = a[2]; + /*<>*/ check_valid_length(length, arr); var i = 0; - /*<>*/ for(;;){ + /*<>*/ for(;;){ if(i === length) var res = 1; else{ - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var _s_ = - /*<>*/ caml_call1(p, unsafe_get(arr, i, length)); - /*<>*/ if(_s_){ + /*<>*/ caml_call1(p, unsafe_get(arr, i, length)); + /*<>*/ if(_s_){ var i$0 = i + 1 | 0, i = i$0; continue; } var res = _s_; } - /*<>*/ check_same_length(cst_for_all, a, length); - /*<>*/ return res; + /*<>*/ check_same_length(cst_for_all, a, length); + /*<>*/ return res; } - /*<>*/ } + /*<>*/ } function filter(f, a){ - /*<>*/ /*<>*/ var b = create(0); - /*<>*/ iter + /*<>*/ /*<>*/ var b = create(0); + /*<>*/ iter (cst_filter, function(x){ - /*<>*/ /*<>*/ var - _r_ = /*<>*/ caml_call1(f, x); - /*<>*/ return _r_ ? add_last(b, x) : _r_; - /*<>*/ }, + /*<>*/ /*<>*/ var + _r_ = /*<>*/ caml_call1(f, x); + /*<>*/ return _r_ ? add_last(b, x) : _r_; + /*<>*/ }, a); - /*<>*/ return b; - /*<>*/ } + /*<>*/ return b; + /*<>*/ } function filter_map(f, a){ - /*<>*/ /*<>*/ var b = create(0); - /*<>*/ iter + /*<>*/ /*<>*/ var b = create(0); + /*<>*/ iter (cst_filter_map, function(x){ - /*<>*/ /*<>*/ var - match = /*<>*/ caml_call1(f, x); - if(! match) /*<>*/ return 0; + /*<>*/ /*<>*/ var + match = /*<>*/ caml_call1(f, x); + if(! match) /*<>*/ return 0; var y = match[1]; - /*<>*/ return add_last(b, y); - /*<>*/ }, + /*<>*/ return add_last(b, y); + /*<>*/ }, a); - /*<>*/ return b; - /*<>*/ } + /*<>*/ return b; + /*<>*/ } function of_array(a){ - /*<>*/ var length = a.length - 1; - /*<>*/ function _q_(i){ - /*<>*/ return [0, a[1 + i]]; - /*<>*/ } - /*<>*/ return [0, + /*<>*/ var length = a.length - 1; + /*<>*/ function _q_(i){ + /*<>*/ return [0, a[1 + i]]; + /*<>*/ } + /*<>*/ return [0, length, - /*<>*/ caml_call2 + /*<>*/ caml_call2 (Stdlib_Array[1], length, _q_)]; - /*<>*/ } + /*<>*/ } function to_array(a){ - /*<>*/ var length = a[1], arr = a[2]; - /*<>*/ check_valid_length(length, arr); + /*<>*/ var length = a[1], arr = a[2]; + /*<>*/ check_valid_length(length, arr); function _p_(i){ - /*<>*/ return unsafe_get(arr, i, length); - /*<>*/ } - /*<>*/ /*<>*/ var + /*<>*/ return unsafe_get(arr, i, length); + /*<>*/ } + /*<>*/ /*<>*/ var res = - /*<>*/ caml_call2(Stdlib_Array[1], length, _p_); - /*<>*/ check_same_length(cst_to_array, a, length); - /*<>*/ return res; - /*<>*/ } + /*<>*/ caml_call2(Stdlib_Array[1], length, _p_); + /*<>*/ check_same_length(cst_to_array, a, length); + /*<>*/ return res; + /*<>*/ } function of_list(li){ - /*<>*/ /*<>*/ var a = create(0); - /*<>*/ ensure_capacity - (a, /*<>*/ caml_call1(Stdlib_List[1], li)); + /*<>*/ /*<>*/ var a = create(0); + /*<>*/ ensure_capacity + (a, /*<>*/ caml_call1(Stdlib_List[1], li)); function _o_(x){ - /*<>*/ return add_last(a, x); - /*<>*/ } - /*<>*/ /*<>*/ caml_call2 + /*<>*/ return add_last(a, x); + /*<>*/ } + /*<>*/ /*<>*/ caml_call2 (Stdlib_List[18], _o_, li); - /*<>*/ return a; - /*<>*/ } + /*<>*/ return a; + /*<>*/ } function to_list(a){ - /*<>*/ var length = a[1], arr = a[2]; - /*<>*/ check_valid_length(length, arr); - /*<>*/ var - /*<>*/ l = [0, 0], - /*<>*/ _l_ = length - 1 | 0; + /*<>*/ var length = a[1], arr = a[2]; + /*<>*/ check_valid_length(length, arr); + /*<>*/ var + /*<>*/ l = [0, 0], + /*<>*/ _l_ = length - 1 | 0; if(_l_ >= 0){ var i = _l_; for(;;){ var _m_ = l[1]; l[1] = [0, unsafe_get(arr, i, length), _m_]; - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var _n_ = i - 1 | 0; if(0 === i) break; var i = _n_; } } - /*<>*/ check_same_length(cst_to_list, a, length); + /*<>*/ check_same_length(cst_to_list, a, length); return l[1]; - /*<>*/ } + /*<>*/ } function of_seq(seq){ - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var init = create(0); - /*<>*/ append_seq(init, seq); - /*<>*/ return init; - /*<>*/ } + /*<>*/ append_seq(init, seq); + /*<>*/ return init; + /*<>*/ } function to_seq(a){ - /*<>*/ var length = a[1], arr = a[2]; - /*<>*/ check_valid_length(length, arr); + /*<>*/ var length = a[1], arr = a[2]; + /*<>*/ check_valid_length(length, arr); function aux(i){ - /*<>*/ return function(param){ - /*<>*/ check_same_length(cst_to_seq, a, length); - if(length <= i) /*<>*/ return 0; - /*<>*/ /*<>*/ var + /*<>*/ return function(param){ + /*<>*/ check_same_length(cst_to_seq, a, length); + if(length <= i) /*<>*/ return 0; + /*<>*/ /*<>*/ var v = unsafe_get(arr, i, length); - /*<>*/ return [0, v, aux(i + 1 | 0)]; /*<>*/ }; - /*<>*/ } - /*<>*/ return aux(0); - /*<>*/ } + /*<>*/ return [0, v, aux(i + 1 | 0)]; /*<>*/ }; + /*<>*/ } + /*<>*/ return aux(0); + /*<>*/ } function to_seq_reentrant(a){ function aux(i){ - /*<>*/ return function(param){ - /*<>*/ if(a[1] <= i) - /*<>*/ return 0; - /*<>*/ /*<>*/ var + /*<>*/ return function(param){ + /*<>*/ if(a[1] <= i) + /*<>*/ return 0; + /*<>*/ /*<>*/ var v = get(a, i); - /*<>*/ return [0, v, aux(i + 1 | 0)]; /*<>*/ }; - /*<>*/ } - /*<>*/ return aux(0); - /*<>*/ } + /*<>*/ return [0, v, aux(i + 1 | 0)]; /*<>*/ }; + /*<>*/ } + /*<>*/ return aux(0); + /*<>*/ } function to_seq_rev(a){ - /*<>*/ var length = a[1], arr = a[2]; - /*<>*/ check_valid_length(length, arr); + /*<>*/ var length = a[1], arr = a[2]; + /*<>*/ check_valid_length(length, arr); function aux(i){ - /*<>*/ return function(param){ - /*<>*/ check_same_length(cst_to_seq_rev, a, length); - if(0 > i) /*<>*/ return 0; - /*<>*/ /*<>*/ var + /*<>*/ return function(param){ + /*<>*/ check_same_length(cst_to_seq_rev, a, length); + if(0 > i) /*<>*/ return 0; + /*<>*/ /*<>*/ var v = unsafe_get(arr, i, length); - /*<>*/ return [0, v, aux(i - 1 | 0)]; /*<>*/ }; - /*<>*/ } - /*<>*/ return aux(length - 1 | 0); - /*<>*/ } + /*<>*/ return [0, v, aux(i - 1 | 0)]; /*<>*/ }; + /*<>*/ } + /*<>*/ return aux(length - 1 | 0); + /*<>*/ } function to_seq_rev_reentrant(a){ function aux(i){ - /*<>*/ return function(param){ - /*<>*/ if(0 > i) - /*<>*/ return 0; - if(a[1] <= i) /*<>*/ return aux(a[1] - 1 | 0)(0); - /*<>*/ /*<>*/ var + /*<>*/ return function(param){ + /*<>*/ if(0 > i) + /*<>*/ return 0; + if(a[1] <= i) /*<>*/ return aux(a[1] - 1 | 0)(0); + /*<>*/ /*<>*/ var v = get(a, i); - /*<>*/ return [0, v, aux(i - 1 | 0)]; /*<>*/ }; - /*<>*/ } - /*<>*/ return aux(a[1] - 1 | 0); - /*<>*/ } + /*<>*/ return [0, v, aux(i - 1 | 0)]; /*<>*/ }; + /*<>*/ } + /*<>*/ return aux(a[1] - 1 | 0); + /*<>*/ } var Stdlib_Dynarray = [0, @@ -27268,7 +27268,7 @@ Stdlib_Stack = global_data.Stdlib__Stack, Stdlib_Int = global_data.Stdlib__Int, Stdlib_Bytes = global_data.Stdlib__Bytes, - _g_ = [3, 0, 3], + _g_ = [4, 0, 3], cst_Format_pp_set_geometry = "Format.pp_set_geometry: ", _f_ = [1, "max_indent < 2"], _c_ = [1, "margin <= max_indent"], @@ -27278,79 +27278,79 @@ _a_ = [0, cst$16, 0, cst$16], cst_Stdlib_Format_String_tag = "Stdlib.Format.String_tag"; function id(x){ /*<>*/ return x; /*<>*/ } - /*<>*/ var - /*<>*/ String_tag = + /*<>*/ var + /*<>*/ String_tag = [248, cst_Stdlib_Format_String_tag, runtime.caml_fresh_oo_id(0)], zero = 0, unknown = -1; function pp_enqueue(state, token){ - /*<>*/ state[13] = state[13] + token[3] | 0; + /*<>*/ state[13] = state[13] + token[3] | 0; return caml_call2(Stdlib_Queue[3], token, state[28]); - /*<>*/ } + /*<>*/ } var pp_infinity = 1000000010; function pp_output_string(state, s){ - /*<>*/ return caml_call3 + /*<>*/ return caml_call3 (state[17], s, 0, caml_ml_string_length(s)); - /*<>*/ } + /*<>*/ } function pp_output_newline(state){ - /*<>*/ return /*<>*/ caml_call1 + /*<>*/ return /*<>*/ caml_call1 (state[19], 0); - /*<>*/ } + /*<>*/ } function format_pp_text(state, size, text){ - /*<>*/ state[9] = state[9] - size | 0; - /*<>*/ pp_output_string(state, text); + /*<>*/ state[9] = state[9] - size | 0; + /*<>*/ pp_output_string(state, text); state[11] = 0; return; - /*<>*/ } + /*<>*/ } function format_string(state, s){ - /*<>*/ /*<>*/ var - _bI_ = /*<>*/ runtime.caml_string_notequal(s, cst$16); - /*<>*/ return _bI_ + /*<>*/ /*<>*/ var + _bJ_ = /*<>*/ runtime.caml_string_notequal(s, cst$16); + /*<>*/ return _bJ_ ? format_pp_text(state, caml_ml_string_length(s), s) - : _bI_; - /*<>*/ } + : _bJ_; + /*<>*/ } function break_new_line(state, param, width){ var after = param[3], offset = param[2], before = param[1]; - /*<>*/ format_string(state, before); - /*<>*/ pp_output_newline(state); + /*<>*/ format_string(state, before); + /*<>*/ pp_output_newline(state); state[11] = 1; - /*<>*/ var + /*<>*/ var indent = (state[6] - width | 0) + offset | 0, - /*<>*/ real_indent = - /*<>*/ caml_call2(Stdlib_Int[10], state[8], indent); + /*<>*/ real_indent = + /*<>*/ caml_call2(Stdlib_Int[10], state[8], indent); state[10] = real_indent; state[9] = state[6] - state[10] | 0; var n = state[10]; - /*<>*/ /*<>*/ caml_call1 + /*<>*/ /*<>*/ caml_call1 (state[21], n); - /*<>*/ return format_string(state, after); + /*<>*/ return format_string(state, after); } function break_line(state, width){ - /*<>*/ return break_new_line(state, _a_, width); - /*<>*/ } + /*<>*/ return break_new_line(state, _a_, width); + /*<>*/ } function break_same_line(state, param){ var after = param[3], width = param[2], before = param[1]; - /*<>*/ format_string(state, before); + /*<>*/ format_string(state, before); state[9] = state[9] - width | 0; - /*<>*/ /*<>*/ caml_call1 + /*<>*/ /*<>*/ caml_call1 (state[20], width); - /*<>*/ return format_string(state, after); + /*<>*/ return format_string(state, after); } function format_pp_token(state, size$0, param){ /*<>*/ if(typeof param === "number") switch(param){ case 0: - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var match$3 = - /*<>*/ caml_call1(Stdlib_Stack[8], state[3]); - if(! match$3) /*<>*/ return; - /*<>*/ var + /*<>*/ caml_call1(Stdlib_Stack[8], state[3]); + if(! match$3) /*<>*/ return; + /*<>*/ var tabs = match$3[1][1], - /*<>*/ add_tab = + /*<>*/ add_tab = function(n, ls){ - /*<>*/ if(! ls) /*<>*/ return [0, n, 0]; + /*<>*/ if(! ls) /*<>*/ return [0, n, 0]; var l = ls[2], x = ls[1]; - /*<>*/ return /*<>*/ runtime.caml_lessthan + /*<>*/ return /*<>*/ runtime.caml_lessthan (n, x) ? [0, n, ls] : [0, x, add_tab(n, l)]; @@ -27358,68 +27358,75 @@ tabs[1] = add_tab(state[6] - state[9] | 0, tabs[1]); return; case 1: - /*<>*/ /*<>*/ caml_call1 + /*<>*/ /*<>*/ caml_call1 (Stdlib_Stack[5], state[2]); - /*<>*/ return; + /*<>*/ return; case 2: - /*<>*/ /*<>*/ caml_call1 + /*<>*/ /*<>*/ caml_call1 (Stdlib_Stack[5], state[3]); - /*<>*/ return; + /*<>*/ return; case 3: - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var match$4 = - /*<>*/ caml_call1(Stdlib_Stack[8], state[2]); + /*<>*/ caml_call1(Stdlib_Stack[8], state[2]); if(! match$4) - /*<>*/ return pp_output_newline(state); + /*<>*/ return pp_output_newline(state); var width$0 = match$4[1][2]; - /*<>*/ return break_line(state, width$0); + /*<>*/ return break_line(state, width$0); case 4: - var _bG_ = state[10] !== (state[6] - state[9] | 0) ? 1 : 0; - if(! _bG_) return _bG_; - /*<>*/ /*<>*/ var + var _bH_ = state[10] !== (state[6] - state[9] | 0) ? 1 : 0; + if(! _bH_) return _bH_; + /*<>*/ /*<>*/ var match$1 = - /*<>*/ caml_call1(Stdlib_Queue[6], state[28]); - if(! match$1) /*<>*/ return; + /*<>*/ caml_call1(Stdlib_Queue[6], state[28]); + if(! match$1) /*<>*/ return; var match$2 = match$1[1], size = match$2[1], length = match$2[3]; state[12] = state[12] - length | 0; state[9] = state[9] + size | 0; return; default: - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var match$5 = - /*<>*/ caml_call1(Stdlib_Stack[5], state[5]); - if(! match$5) /*<>*/ return; - /*<>*/ var + /*<>*/ caml_call1(Stdlib_Stack[5], state[5]); + if(! match$5) /*<>*/ return; + /*<>*/ var tag_name = match$5[1], - /*<>*/ marker = - /*<>*/ caml_call1(state[25], tag_name); - /*<>*/ return pp_output_string(state, marker); + /*<>*/ marker = + /*<>*/ caml_call1(state[25], tag_name); + /*<>*/ return pp_output_string(state, marker); } switch(param[0]){ case 0: var s = param[1]; - /*<>*/ return format_pp_text(state, size$0, s); + /*<>*/ return format_pp_text(state, size$0, s); case 1: - /*<>*/ var + var len = param[3], pos = param[2], source = param[1]; + state[9] = state[9] - size$0 | 0; + /*<>*/ /*<>*/ caml_call3 + (state[17], source, pos, len); + state[11] = 0; + return; + case 2: + /*<>*/ var breaks = param[2], fits = param[1], - /*<>*/ off = breaks[2], + /*<>*/ off = breaks[2], before = breaks[1], - /*<>*/ match$6 = - /*<>*/ caml_call1(Stdlib_Stack[8], state[2]); - if(! match$6) /*<>*/ return; + /*<>*/ match$6 = + /*<>*/ caml_call1(Stdlib_Stack[8], state[2]); + if(! match$6) /*<>*/ return; var match$7 = match$6[1], width$1 = match$7[2], box_type$0 = match$7[1]; - /*<>*/ switch(box_type$0){ + /*<>*/ switch(box_type$0){ case 0: - /*<>*/ return break_same_line(state, fits); + /*<>*/ return break_same_line(state, fits); case 1: - /*<>*/ return break_new_line + /*<>*/ return break_new_line (state, breaks, width$1); case 2: - /*<>*/ return break_new_line + /*<>*/ return break_new_line (state, breaks, width$1); case 3: return state[9] < (size$0 + caml_ml_string_length(before) | 0) @@ -27442,239 +27449,239 @@ ? break_new_line(state, breaks, width$1) : break_same_line(state, fits); default: - /*<>*/ return break_same_line(state, fits); + /*<>*/ return break_same_line(state, fits); } - case 2: - /*<>*/ var + case 3: + /*<>*/ var off$0 = param[2], n = param[1], insertion_point = state[6] - state[9] | 0, - /*<>*/ match$8 = - /*<>*/ caml_call1(Stdlib_Stack[8], state[3]); - if(! match$8) /*<>*/ return; - /*<>*/ var + /*<>*/ match$8 = + /*<>*/ caml_call1(Stdlib_Stack[8], state[3]); + if(! match$8) /*<>*/ return; + /*<>*/ var tabs$0 = match$8[1][1], - /*<>*/ match$9 = tabs$0[1]; + /*<>*/ match$9 = tabs$0[1]; if(match$9){ var first = match$9[1], param$0 = tabs$0[1]; - /*<>*/ for(;;){ + /*<>*/ for(;;){ if(param$0){ var tail = param$0[2], head = param$0[1]; if(insertion_point > head){var param$0 = tail; continue;} - var _bH_ = head; + var _bI_ = head; } else - var _bH_ = first; - var tab = _bH_; + var _bI_ = first; + var tab = _bI_; break; } } else var tab = insertion_point; var offset = tab - insertion_point | 0; - /*<>*/ return 0 <= offset + /*<>*/ return 0 <= offset ? break_same_line(state, [0, cst$0, offset + n | 0, cst]) : break_new_line (state, [0, cst$2, tab + off$0 | 0, cst$1], state[6]); - case 3: + case 4: var ty = param[2], off$1 = param[1], insertion_point$0 = state[6] - state[9] | 0; if(state[8] < insertion_point$0){ - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var match = - /*<>*/ caml_call1(Stdlib_Stack[8], state[2]); + /*<>*/ caml_call1(Stdlib_Stack[8], state[2]); if(match){ var match$0 = match[1], width = match$0[2], box_type = match$0[1]; if(state[9] < width && 3 >= box_type - 1 >>> 0) - /*<>*/ break_line(state, width); + /*<>*/ break_line(state, width); } else - /*<>*/ pp_output_newline(state); + /*<>*/ pp_output_newline(state); } - /*<>*/ var + /*<>*/ var width$2 = state[9] - off$1 | 0, - /*<>*/ box_type$1 = + /*<>*/ box_type$1 = 1 === ty ? 1 : state[9] < size$0 ? ty : 5; - /*<>*/ return /*<>*/ caml_call2 + /*<>*/ return /*<>*/ caml_call2 (Stdlib_Stack[3], [0, box_type$1, width$2], state[2]); - case 4: + case 5: var tbox = param[1]; - /*<>*/ return /*<>*/ caml_call2 + /*<>*/ return /*<>*/ caml_call2 (Stdlib_Stack[3], tbox, state[3]); default: - /*<>*/ var + /*<>*/ var tag_name$0 = param[1], - /*<>*/ marker$0 = - /*<>*/ caml_call1(state[24], tag_name$0); - /*<>*/ pp_output_string(state, marker$0); + /*<>*/ marker$0 = + /*<>*/ caml_call1(state[24], tag_name$0); + /*<>*/ pp_output_string(state, marker$0); return caml_call2(Stdlib_Stack[3], tag_name$0, state[5]); } } function advance_left(state){ - /*<>*/ for(;;){ - /*<>*/ /*<>*/ var - match = /*<>*/ caml_call1(Stdlib_Queue[9], state[28]); - if(! match) /*<>*/ return 0; - /*<>*/ var + /*<>*/ for(;;){ + /*<>*/ /*<>*/ var + match = /*<>*/ caml_call1(Stdlib_Queue[9], state[28]); + if(! match) /*<>*/ return 0; + /*<>*/ var match$0 = match[1], size = match$0[1], length = match$0[3], token = match$0[2], pending_count = state[13] - state[12] | 0, - /*<>*/ _bE_ = 0 <= size ? 1 : 0, - /*<>*/ _bF_ = - _bE_ || (state[9] <= pending_count ? 1 : 0); - if(! _bF_) /*<>*/ return _bF_; - /*<>*/ /*<>*/ caml_call1 + /*<>*/ _bF_ = 0 <= size ? 1 : 0, + /*<>*/ _bG_ = + _bF_ || (state[9] <= pending_count ? 1 : 0); + if(! _bG_) /*<>*/ return _bG_; + /*<>*/ /*<>*/ caml_call1 (Stdlib_Queue[5], state[28]); - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var size$0 = 0 <= size ? size : pp_infinity; - /*<>*/ format_pp_token(state, size$0, token); + /*<>*/ format_pp_token(state, size$0, token); state[12] = length + state[12] | 0; } - /*<>*/ } + /*<>*/ } function enqueue_advance(state, tok){ - /*<>*/ pp_enqueue(state, tok); - /*<>*/ return advance_left(state); - /*<>*/ } + /*<>*/ pp_enqueue(state, tok); + /*<>*/ return advance_left(state); + /*<>*/ } function enqueue_string_as(state, size, s){ - /*<>*/ return enqueue_advance + /*<>*/ return enqueue_advance (state, [0, size, [0, s], size]); - /*<>*/ } + /*<>*/ } function initialize_scan_stack(stack){ - /*<>*/ /*<>*/ caml_call1 + /*<>*/ /*<>*/ caml_call1 (Stdlib_Stack[9], stack); - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var queue_elem = [0, unknown, _b_, 0]; - /*<>*/ return /*<>*/ caml_call2 + /*<>*/ return /*<>*/ caml_call2 (Stdlib_Stack[3], [0, -1, queue_elem], stack); - /*<>*/ } + /*<>*/ } function set_size(state, ty){ - /*<>*/ /*<>*/ var - match = /*<>*/ caml_call1(Stdlib_Stack[8], state[1]); - if(! match) /*<>*/ return; - /*<>*/ var + /*<>*/ /*<>*/ var + match = /*<>*/ caml_call1(Stdlib_Stack[8], state[1]); + if(! match) /*<>*/ return; + /*<>*/ var match$0 = match[1], queue_elem = match$0[2], left_total = match$0[1], - /*<>*/ size = queue_elem[1]; + /*<>*/ size = queue_elem[1]; if(left_total < state[12]) return initialize_scan_stack(state[1]); - var _bD_ = queue_elem[2]; - if(typeof _bD_ !== "number") - switch(_bD_[0]){ - case 3: + var _bE_ = queue_elem[2]; + if(typeof _bE_ !== "number") + switch(_bE_[0]){ + case 4: if(1 - ty){ queue_elem[1] = state[13] + size | 0; - /*<>*/ /*<>*/ caml_call1 + /*<>*/ /*<>*/ caml_call1 (Stdlib_Stack[5], state[1]); } - /*<>*/ return; - case 1: + /*<>*/ return; case 2: + case 3: if(ty){ queue_elem[1] = state[13] + size | 0; - /*<>*/ /*<>*/ caml_call1 + /*<>*/ /*<>*/ caml_call1 (Stdlib_Stack[5], state[1]); } - /*<>*/ return; + /*<>*/ return; } - /*<>*/ return; - /*<>*/ } + /*<>*/ return; + /*<>*/ } function scan_push(state, b, token){ - /*<>*/ pp_enqueue(state, token); - if(b) /*<>*/ set_size(state, 1); - /*<>*/ /*<>*/ var + /*<>*/ pp_enqueue(state, token); + if(b) /*<>*/ set_size(state, 1); + /*<>*/ /*<>*/ var elem = [0, state[13], token]; - /*<>*/ return /*<>*/ caml_call2 + /*<>*/ return /*<>*/ caml_call2 (Stdlib_Stack[3], elem, state[1]); - /*<>*/ } + /*<>*/ } function pp_open_box_gen(state, indent, br_ty){ - /*<>*/ state[14] = state[14] + 1 | 0; + /*<>*/ state[14] = state[14] + 1 | 0; if(state[14] < state[15]){ - /*<>*/ var + /*<>*/ var size = - state[13] | 0, - /*<>*/ elem = [0, size, [3, indent, br_ty], 0]; - /*<>*/ return scan_push(state, 0, elem); + /*<>*/ elem = [0, size, [4, indent, br_ty], 0]; + /*<>*/ return scan_push(state, 0, elem); } - var _bC_ = state[14] === state[15] ? 1 : 0; - if(! _bC_) return _bC_; + var _bD_ = state[14] === state[15] ? 1 : 0; + if(! _bD_) return _bD_; var s = state[16]; - /*<>*/ return enqueue_string_as + /*<>*/ return enqueue_string_as (state, caml_ml_string_length(s), s); - /*<>*/ } + /*<>*/ } function pp_close_box(state, param){ - /*<>*/ var _bA_ = 1 < state[14] ? 1 : 0; - if(_bA_){ + /*<>*/ var _bB_ = 1 < state[14] ? 1 : 0; + if(_bB_){ if(state[14] < state[15]){ - /*<>*/ pp_enqueue(state, [0, zero, 1, 0]); - /*<>*/ set_size(state, 1); - /*<>*/ set_size(state, 0); + /*<>*/ pp_enqueue(state, [0, zero, 1, 0]); + /*<>*/ set_size(state, 1); + /*<>*/ set_size(state, 0); } state[14] = state[14] - 1 | 0; - var _bB_ = 0; + var _bC_ = 0; } else - var _bB_ = _bA_; - return _bB_; - /*<>*/ } + var _bC_ = _bB_; + return _bC_; + /*<>*/ } function pp_open_stag(state, tag_name){ - /*<>*/ if(state[22]){ - /*<>*/ /*<>*/ caml_call2 + /*<>*/ if(state[22]){ + /*<>*/ /*<>*/ caml_call2 (Stdlib_Stack[3], tag_name, state[4]); - /*<>*/ /*<>*/ caml_call1 + /*<>*/ /*<>*/ caml_call1 (state[26], tag_name); } - var _bz_ = state[23]; - if(! _bz_) return _bz_; - /*<>*/ /*<>*/ var - token = [5, tag_name]; - /*<>*/ return pp_enqueue(state, [0, zero, token, 0]); - /*<>*/ } + var _bA_ = state[23]; + if(! _bA_) return _bA_; + /*<>*/ /*<>*/ var + token = [6, tag_name]; + /*<>*/ return pp_enqueue(state, [0, zero, token, 0]); + /*<>*/ } function pp_close_stag(state, param){ - /*<>*/ if(state[23]) - /*<>*/ pp_enqueue(state, [0, zero, 5, 0]); - var _bx_ = state[22]; - if(_bx_){ - /*<>*/ /*<>*/ var - match = /*<>*/ caml_call1(Stdlib_Stack[5], state[4]); + /*<>*/ if(state[23]) + /*<>*/ pp_enqueue(state, [0, zero, 5, 0]); + var _by_ = state[22]; + if(_by_){ + /*<>*/ /*<>*/ var + match = /*<>*/ caml_call1(Stdlib_Stack[5], state[4]); if(match){ var tag_name = match[1]; - /*<>*/ return /*<>*/ caml_call1 + /*<>*/ return /*<>*/ caml_call1 (state[27], tag_name); } - var _by_ = 0; + var _bz_ = 0; } else - var _by_ = _bx_; - /*<>*/ return _by_; - /*<>*/ } + var _bz_ = _by_; + /*<>*/ return _bz_; + /*<>*/ } function pp_set_print_tags(state, b){ - /*<>*/ state[22] = b; + /*<>*/ state[22] = b; return 0; - /*<>*/ } + /*<>*/ } function pp_set_mark_tags(state, b){ - /*<>*/ state[23] = b; + /*<>*/ state[23] = b; return 0; - /*<>*/ } + /*<>*/ } function pp_get_print_tags(state, param){ - /*<>*/ return state[22]; - /*<>*/ } + /*<>*/ return state[22]; + /*<>*/ } function pp_get_mark_tags(state, param){ - /*<>*/ return state[23]; - /*<>*/ } + /*<>*/ return state[23]; + /*<>*/ } function pp_set_tags(state, b){ - /*<>*/ pp_set_print_tags(state, b); - /*<>*/ return pp_set_mark_tags(state, b); - /*<>*/ } + /*<>*/ pp_set_print_tags(state, b); + /*<>*/ return pp_set_mark_tags(state, b); + /*<>*/ } function pp_get_formatter_stag_function(state, param){ - /*<>*/ return [0, + /*<>*/ return [0, state[24], state[25], state[26], state[27]]; - /*<>*/ } + /*<>*/ } function pp_set_formatter_stag_function(state, param){ var pct = param[4], pot = param[3], mct = param[2], mot = param[1]; state[24] = mot; @@ -27684,153 +27691,165 @@ return 0; } function pp_rinit(state){ - /*<>*/ state[12] = 1; + /*<>*/ state[12] = 1; state[13] = 1; caml_call1(Stdlib_Queue[11], state[28]); - /*<>*/ initialize_scan_stack(state[1]); - /*<>*/ /*<>*/ caml_call1 + /*<>*/ initialize_scan_stack(state[1]); + /*<>*/ /*<>*/ caml_call1 (Stdlib_Stack[9], state[2]); - /*<>*/ /*<>*/ caml_call1 + /*<>*/ /*<>*/ caml_call1 (Stdlib_Stack[9], state[3]); - /*<>*/ /*<>*/ caml_call1 + /*<>*/ /*<>*/ caml_call1 (Stdlib_Stack[9], state[4]); - /*<>*/ /*<>*/ caml_call1 + /*<>*/ /*<>*/ caml_call1 (Stdlib_Stack[9], state[5]); state[10] = 0; state[14] = 0; state[9] = state[6]; - /*<>*/ return pp_open_box_gen(state, 0, 3); - /*<>*/ } + /*<>*/ return pp_open_box_gen(state, 0, 3); + /*<>*/ } function pp_flush_queue(state, end_with_newline){ - /*<>*/ var _bv_ = state[4]; - function _bw_(param){ - /*<>*/ return pp_close_stag(state, 0); - /*<>*/ } - /*<>*/ /*<>*/ caml_call2 - (Stdlib_Stack[13], _bw_, _bv_); - /*<>*/ for(;;){ + /*<>*/ var _bw_ = state[4]; + function _bx_(param){ + /*<>*/ return pp_close_stag(state, 0); + /*<>*/ } + /*<>*/ /*<>*/ caml_call2 + (Stdlib_Stack[13], _bx_, _bw_); + /*<>*/ for(;;){ if(1 >= state[14]){ state[13] = pp_infinity; - /*<>*/ advance_left(state); - if(end_with_newline) /*<>*/ pp_output_newline(state); - /*<>*/ return pp_rinit(state); + /*<>*/ advance_left(state); + if(end_with_newline) /*<>*/ pp_output_newline(state); + /*<>*/ return pp_rinit(state); } - /*<>*/ pp_close_box(state, 0); + /*<>*/ pp_close_box(state, 0); } - /*<>*/ } + /*<>*/ } function pp_print_as_size(state, size, s){ - /*<>*/ var _bu_ = state[14] < state[15] ? 1 : 0; - return _bu_ ? enqueue_string_as(state, size, s) : _bu_; - /*<>*/ } + /*<>*/ var _bv_ = state[14] < state[15] ? 1 : 0; + return _bv_ ? enqueue_string_as(state, size, s) : _bv_; + /*<>*/ } function pp_print_as(state, isize, s){ - /*<>*/ return pp_print_as_size(state, isize, s); - /*<>*/ } + /*<>*/ return pp_print_as_size(state, isize, s); + /*<>*/ } function pp_print_string(state, s){ - /*<>*/ return pp_print_as + /*<>*/ return pp_print_as (state, caml_ml_string_length(s), s); - /*<>*/ } + /*<>*/ } + function pp_print_substring_as(pos, len, state, size, source){ + /*<>*/ var _bu_ = state[14] < state[15] ? 1 : 0; + if(! _bu_) return _bu_; + /*<>*/ /*<>*/ var + token = [1, source, pos, len]; + /*<>*/ return enqueue_advance + (state, [0, size, token, size]); + /*<>*/ } + function pp_print_substring(pos, len, state, s){ + /*<>*/ return pp_print_substring_as + (pos, len, state, len, s); + /*<>*/ } function pp_print_bytes(state, s){ - /*<>*/ return pp_print_as + /*<>*/ return pp_print_as (state, runtime.caml_ml_bytes_length(s), - /*<>*/ caml_call1(Stdlib_Bytes[6], s)); - /*<>*/ } + /*<>*/ caml_call1(Stdlib_Bytes[6], s)); + /*<>*/ } function pp_print_int(state, i){ - /*<>*/ return pp_print_string - (state, /*<>*/ caml_call1(Stdlib_Int[12], i)); - /*<>*/ } + /*<>*/ return pp_print_string + (state, /*<>*/ caml_call1(Stdlib_Int[12], i)); + /*<>*/ } function pp_print_float(state, f){ - /*<>*/ return pp_print_string - (state, /*<>*/ caml_call1(Stdlib[35], f)); - /*<>*/ } + /*<>*/ return pp_print_string + (state, /*<>*/ caml_call1(Stdlib[35], f)); + /*<>*/ } function pp_print_bool(state, b){ - /*<>*/ return pp_print_string - (state, /*<>*/ caml_call1(Stdlib[30], b)); - /*<>*/ } + /*<>*/ return pp_print_string + (state, /*<>*/ caml_call1(Stdlib[30], b)); + /*<>*/ } function pp_print_char(state, c){ - /*<>*/ return pp_print_as + /*<>*/ return pp_print_as (state, 1, - /*<>*/ caml_call2(Stdlib_String[1], 1, c)); - /*<>*/ } - function pp_print_nothing(state, param){ /*<>*/ return 0; - /*<>*/ } + /*<>*/ caml_call2(Stdlib_String[1], 1, c)); + /*<>*/ } + function pp_print_nothing(state, param){ /*<>*/ return 0; + /*<>*/ } function pp_open_hbox(state, param){ - /*<>*/ return pp_open_box_gen(state, 0, 0); - /*<>*/ } + /*<>*/ return pp_open_box_gen(state, 0, 0); + /*<>*/ } function pp_open_vbox(state, indent){ - /*<>*/ return pp_open_box_gen(state, indent, 1); - /*<>*/ } + /*<>*/ return pp_open_box_gen(state, indent, 1); + /*<>*/ } function pp_open_hvbox(state, indent){ - /*<>*/ return pp_open_box_gen(state, indent, 2); - /*<>*/ } + /*<>*/ return pp_open_box_gen(state, indent, 2); + /*<>*/ } function pp_open_hovbox(state, indent){ - /*<>*/ return pp_open_box_gen(state, indent, 3); - /*<>*/ } + /*<>*/ return pp_open_box_gen(state, indent, 3); + /*<>*/ } function pp_open_box(state, indent){ - /*<>*/ return pp_open_box_gen(state, indent, 4); - /*<>*/ } + /*<>*/ return pp_open_box_gen(state, indent, 4); + /*<>*/ } function pp_print_newline(state, param){ - /*<>*/ pp_flush_queue(state, 1); - /*<>*/ return /*<>*/ caml_call1 + /*<>*/ pp_flush_queue(state, 1); + /*<>*/ return /*<>*/ caml_call1 (state[18], 0); - /*<>*/ } + /*<>*/ } function pp_print_flush(state, param){ - /*<>*/ pp_flush_queue(state, 0); - /*<>*/ return /*<>*/ caml_call1 + /*<>*/ pp_flush_queue(state, 0); + /*<>*/ return /*<>*/ caml_call1 (state[18], 0); - /*<>*/ } + /*<>*/ } function pp_force_newline(state, param){ - /*<>*/ var _bt_ = state[14] < state[15] ? 1 : 0; + /*<>*/ var _bt_ = state[14] < state[15] ? 1 : 0; return _bt_ ? enqueue_advance(state, [0, zero, 3, 0]) : _bt_; - /*<>*/ } + /*<>*/ } function pp_print_if_newline(state, param){ - /*<>*/ var _bs_ = state[14] < state[15] ? 1 : 0; + /*<>*/ var _bs_ = state[14] < state[15] ? 1 : 0; return _bs_ ? enqueue_advance(state, [0, zero, 4, 0]) : _bs_; - /*<>*/ } + /*<>*/ } function pp_print_custom_break(state, fits, breaks){ - /*<>*/ var + /*<>*/ var after = fits[3], width = fits[2], before = fits[1], _br_ = state[14] < state[15] ? 1 : 0; if(! _br_) return _br_; - /*<>*/ var + /*<>*/ var size = - state[13] | 0, - /*<>*/ token = [1, fits, breaks], + /*<>*/ token = [2, fits, breaks], length = (caml_ml_string_length(before) + width | 0) - + /*<>*/ caml_ml_string_length(after) + + /*<>*/ caml_ml_string_length(after) | 0, - /*<>*/ elem = [0, size, token, length]; - /*<>*/ return scan_push(state, 1, elem); - /*<>*/ } + /*<>*/ elem = [0, size, token, length]; + /*<>*/ return scan_push(state, 1, elem); + /*<>*/ } function pp_print_break(state, width, offset){ - /*<>*/ return pp_print_custom_break + /*<>*/ return pp_print_custom_break (state, [0, cst$6, width, cst$5], [0, cst$4, offset, cst$3]); - /*<>*/ } + /*<>*/ } function pp_print_space(state, param){ - /*<>*/ return pp_print_break(state, 1, 0); - /*<>*/ } + /*<>*/ return pp_print_break(state, 1, 0); + /*<>*/ } function pp_print_cut(state, param){ - /*<>*/ return pp_print_break(state, 0, 0); - /*<>*/ } + /*<>*/ return pp_print_break(state, 0, 0); + /*<>*/ } function pp_open_tbox(state, param){ - /*<>*/ state[14] = state[14] + 1 | 0; + /*<>*/ state[14] = state[14] + 1 | 0; var _bq_ = state[14] < state[15] ? 1 : 0; if(! _bq_) return _bq_; - /*<>*/ /*<>*/ var - elem = [0, zero, [4, [0, [0, 0]]], 0]; - /*<>*/ return enqueue_advance(state, elem); - /*<>*/ } + /*<>*/ /*<>*/ var + elem = [0, zero, [5, [0, [0, 0]]], 0]; + /*<>*/ return enqueue_advance(state, elem); + /*<>*/ } function pp_close_tbox(state, param){ - /*<>*/ var _bn_ = 1 < state[14] ? 1 : 0; + /*<>*/ var _bn_ = 1 < state[14] ? 1 : 0; if(_bn_){ var _bo_ = state[14] < state[15] ? 1 : 0; if(_bo_){ - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var elem = [0, zero, 2, 0]; - /*<>*/ enqueue_advance(state, elem); + /*<>*/ enqueue_advance(state, elem); state[14] = state[14] - 1 | 0; var _bp_ = 0; } @@ -27840,126 +27859,126 @@ else var _bp_ = _bn_; return _bp_; - /*<>*/ } + /*<>*/ } function pp_print_tbreak(state, width, offset){ - /*<>*/ var _bm_ = state[14] < state[15] ? 1 : 0; + /*<>*/ var _bm_ = state[14] < state[15] ? 1 : 0; if(! _bm_) return _bm_; - /*<>*/ var + /*<>*/ var size = - state[13] | 0, - /*<>*/ elem = [0, size, [2, width, offset], width]; - /*<>*/ return scan_push(state, 1, elem); - /*<>*/ } + /*<>*/ elem = [0, size, [3, width, offset], width]; + /*<>*/ return scan_push(state, 1, elem); + /*<>*/ } function pp_print_tab(state, param){ - /*<>*/ return pp_print_tbreak(state, 0, 0); - /*<>*/ } + /*<>*/ return pp_print_tbreak(state, 0, 0); + /*<>*/ } function pp_set_tab(state, param){ - /*<>*/ var _bl_ = state[14] < state[15] ? 1 : 0; + /*<>*/ var _bl_ = state[14] < state[15] ? 1 : 0; if(! _bl_) return _bl_; - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var elem = [0, zero, 0, 0]; - /*<>*/ return enqueue_advance(state, elem); - /*<>*/ } + /*<>*/ return enqueue_advance(state, elem); + /*<>*/ } function pp_set_max_boxes(state, n){ - /*<>*/ var + /*<>*/ var _bj_ = 1 < n ? 1 : 0, _bk_ = _bj_ ? (state[15] = n, 0) : _bj_; return _bk_; - /*<>*/ } + /*<>*/ } function pp_get_max_boxes(state, param){ - /*<>*/ return state[15]; - /*<>*/ } + /*<>*/ return state[15]; + /*<>*/ } function pp_over_max_boxes(state, param){ - /*<>*/ return state[14] === state[15] ? 1 : 0; - /*<>*/ } + /*<>*/ return state[14] === state[15] ? 1 : 0; + /*<>*/ } function pp_set_ellipsis_text(state, s){ - /*<>*/ state[16] = s; + /*<>*/ state[16] = s; return 0; - /*<>*/ } + /*<>*/ } function pp_get_ellipsis_text(state, param){ - /*<>*/ return state[16]; - /*<>*/ } + /*<>*/ return state[16]; + /*<>*/ } function pp_limit(n){ - /*<>*/ return n < 1000000010 ? n : 1000000009; - /*<>*/ } + /*<>*/ return n < 1000000010 ? n : 1000000009; + /*<>*/ } function pp_set_max_indent(state, n$0){ - /*<>*/ var _bi_ = 1 < n$0 ? 1 : 0; + /*<>*/ var _bi_ = 1 < n$0 ? 1 : 0; if(! _bi_) return _bi_; var n$1 = state[6] - n$0 | 0, _bh_ = 1 <= n$1 ? 1 : 0; if(! _bh_) return _bh_; - /*<>*/ /*<>*/ var n = pp_limit(n$1); + /*<>*/ /*<>*/ var n = pp_limit(n$1); state[7] = n; state[8] = state[6] - state[7] | 0; - /*<>*/ return pp_rinit(state); - /*<>*/ } + /*<>*/ return pp_rinit(state); + /*<>*/ } function pp_get_max_indent(state, param){ - /*<>*/ return state[8]; - /*<>*/ } + /*<>*/ return state[8]; + /*<>*/ } function pp_set_margin(state, n){ - /*<>*/ var _bf_ = 1 <= n ? 1 : 0; + /*<>*/ var _bf_ = 1 <= n ? 1 : 0; if(! _bf_) return _bf_; - /*<>*/ /*<>*/ var n$0 = pp_limit(n); + /*<>*/ /*<>*/ var n$0 = pp_limit(n); state[6] = n$0; if(state[8] <= state[6]) var new_max_indent = state[8]; else - /*<>*/ var - /*<>*/ _bg_ = - /*<>*/ caml_call2 + /*<>*/ var + /*<>*/ _bg_ = + /*<>*/ caml_call2 (Stdlib_Int[11], state[6] - state[7] | 0, state[6] / 2 | 0), new_max_indent = - /*<>*/ caml_call2(Stdlib_Int[11], _bg_, 1); - /*<>*/ return pp_set_max_indent(state, new_max_indent); - /*<>*/ } + /*<>*/ caml_call2(Stdlib_Int[11], _bg_, 1); + /*<>*/ return pp_set_max_indent(state, new_max_indent); + /*<>*/ } function validate_geometry(param){ var margin = param[2], max_indent = param[1]; - /*<>*/ return 2 <= max_indent + /*<>*/ return 2 <= max_indent ? margin <= max_indent ? _c_ : 1000000010 <= margin ? _d_ : _e_ : _f_; } function check_geometry(geometry){ - /*<>*/ return 0 === validate_geometry(geometry)[0] + /*<>*/ return 0 === validate_geometry(geometry)[0] ? 1 : 0; - /*<>*/ } + /*<>*/ } function pp_get_margin(state, param){ - /*<>*/ return state[6]; - /*<>*/ } + /*<>*/ return state[6]; + /*<>*/ } function pp_set_full_geometry(state, param){ var margin = param[2], max_indent = param[1]; - /*<>*/ pp_set_margin(state, margin); - /*<>*/ pp_set_max_indent(state, max_indent); - /*<>*/ return 0; + /*<>*/ pp_set_margin(state, margin); + /*<>*/ pp_set_max_indent(state, max_indent); + /*<>*/ return 0; } function pp_set_geometry(state, max_indent, margin){ - /*<>*/ var - /*<>*/ geometry = [0, max_indent, margin], - /*<>*/ match = validate_geometry(geometry); + /*<>*/ var + /*<>*/ geometry = [0, max_indent, margin], + /*<>*/ match = validate_geometry(geometry); if(0 === match[0]) - /*<>*/ return pp_set_full_geometry(state, geometry); - /*<>*/ var + /*<>*/ return pp_set_full_geometry(state, geometry); + /*<>*/ var msg = match[1], - /*<>*/ _be_ = - /*<>*/ caml_call2 + /*<>*/ _be_ = + /*<>*/ caml_call2 (Stdlib[28], cst_Format_pp_set_geometry, msg); - /*<>*/ throw /*<>*/ caml_maybe_attach_backtrace + /*<>*/ throw /*<>*/ caml_maybe_attach_backtrace ([0, Stdlib[6], _be_], 1); - /*<>*/ } + /*<>*/ } function pp_safe_set_geometry(state, max_indent, margin){ - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var geometry = [0, max_indent, margin]; return 0 === validate_geometry(geometry)[0] ? pp_set_full_geometry(state, geometry) : 0; - /*<>*/ } + /*<>*/ } function pp_get_geometry(state, param){ - /*<>*/ return [0, state[8], state[6]]; - /*<>*/ } + /*<>*/ return [0, state[8], state[6]]; + /*<>*/ } function pp_update_geometry(state, update){ - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var geometry = pp_get_geometry(state, 0); - /*<>*/ return pp_set_full_geometry - (state, /*<>*/ caml_call1(update, geometry)); - /*<>*/ } + /*<>*/ return pp_set_full_geometry + (state, /*<>*/ caml_call1(update, geometry)); + /*<>*/ } function pp_set_formatter_out_functions(state, param){ var j = param[5], i = param[4], h = param[3], g = param[2], f = param[1]; state[17] = f; @@ -27970,102 +27989,102 @@ return 0; } function pp_get_formatter_out_functions(state, param){ - /*<>*/ return [0, + /*<>*/ return [0, state[17], state[18], state[19], state[20], state[21]]; - /*<>*/ } + /*<>*/ } function pp_set_formatter_output_functi(state, f, g){ - /*<>*/ state[17] = f; + /*<>*/ state[17] = f; state[18] = g; return 0; - /*<>*/ } + /*<>*/ } function pp_get_formatter_output_functi(state, param){ - /*<>*/ return [0, state[17], state[18]]; - /*<>*/ } + /*<>*/ return [0, state[17], state[18]]; + /*<>*/ } function display_newline(state, param){ - /*<>*/ return /*<>*/ caml_call3 + /*<>*/ return /*<>*/ caml_call3 (state[17], cst$7, 0, 1); - /*<>*/ } - /*<>*/ /*<>*/ var + /*<>*/ } + /*<>*/ /*<>*/ var blank_line = - /*<>*/ caml_call2(Stdlib_String[1], 80, 32); + /*<>*/ caml_call2(Stdlib_String[1], 80, 32); function display_blanks(state, n){ - /*<>*/ var n$0 = n; - /*<>*/ for(;;){ + /*<>*/ var n$0 = n; + /*<>*/ for(;;){ var _bd_ = 0 < n$0 ? 1 : 0; if(! _bd_) return _bd_; if(80 >= n$0) - /*<>*/ return /*<>*/ caml_call3 + /*<>*/ return /*<>*/ caml_call3 (state[17], blank_line, 0, n$0); - /*<>*/ /*<>*/ caml_call3 + /*<>*/ /*<>*/ caml_call3 (state[17], blank_line, 0, 80); - /*<>*/ var - /*<>*/ n$1 = n$0 - 80 | 0, + /*<>*/ var + /*<>*/ n$1 = n$0 - 80 | 0, n$0 = n$1; } - /*<>*/ } + /*<>*/ } function pp_set_formatter_out_channel(state, oc){ - /*<>*/ state[17] = - /*<>*/ caml_call1(Stdlib[69], oc); + /*<>*/ state[17] = + /*<>*/ caml_call1(Stdlib[69], oc); state[18] = function(param){ - /*<>*/ return /*<>*/ caml_call1 + /*<>*/ return /*<>*/ caml_call1 (Stdlib[63], oc); - /*<>*/ }; + /*<>*/ }; state[19] = function(_bc_){ /*<>*/ return display_newline(state, _bc_);}; state[20] = function(_bb_){ /*<>*/ return display_blanks(state, _bb_);}; state[21] = function(_ba_){ /*<>*/ return display_blanks(state, _ba_);}; return 0; - /*<>*/ } + /*<>*/ } function default_pp_mark_open_tag(param){ - /*<>*/ if(param[1] !== String_tag) - /*<>*/ return cst$10; - /*<>*/ var + /*<>*/ if(param[1] !== String_tag) + /*<>*/ return cst$10; + /*<>*/ var s = param[2], - /*<>*/ _a$_ = - /*<>*/ caml_call2(Stdlib[28], s, cst$8); - /*<>*/ return /*<>*/ caml_call2 + /*<>*/ _a$_ = + /*<>*/ caml_call2(Stdlib[28], s, cst$8); + /*<>*/ return /*<>*/ caml_call2 (Stdlib[28], cst$9, _a$_); - /*<>*/ } + /*<>*/ } function default_pp_mark_close_tag(param){ - /*<>*/ if(param[1] !== String_tag) - /*<>*/ return cst$13; - /*<>*/ var + /*<>*/ if(param[1] !== String_tag) + /*<>*/ return cst$13; + /*<>*/ var s = param[2], - /*<>*/ _a__ = - /*<>*/ caml_call2(Stdlib[28], s, cst$11); - /*<>*/ return /*<>*/ caml_call2 + /*<>*/ _a__ = + /*<>*/ caml_call2(Stdlib[28], s, cst$11); + /*<>*/ return /*<>*/ caml_call2 (Stdlib[28], cst$12, _a__); - /*<>*/ } + /*<>*/ } function default_pp_print_open_tag(_a9_){ /*<>*/ return 0;} function default_pp_print_close_tag(_a8_){ /*<>*/ return 0;} function pp_make_formatter(f, g, h, i, j){ - /*<>*/ var - /*<>*/ pp_queue = - /*<>*/ caml_call1(Stdlib_Queue[2], 0), - /*<>*/ sys_tok = [0, unknown, _g_, 0]; - /*<>*/ /*<>*/ caml_call2 + /*<>*/ var + /*<>*/ pp_queue = + /*<>*/ caml_call1(Stdlib_Queue[2], 0), + /*<>*/ sys_tok = [0, unknown, _g_, 0]; + /*<>*/ /*<>*/ caml_call2 (Stdlib_Queue[3], sys_tok, pp_queue); - /*<>*/ /*<>*/ var - scan_stack = /*<>*/ caml_call1(Stdlib_Stack[2], 0); - /*<>*/ initialize_scan_stack(scan_stack); - /*<>*/ /*<>*/ caml_call2 + /*<>*/ /*<>*/ var + scan_stack = /*<>*/ caml_call1(Stdlib_Stack[2], 0); + /*<>*/ initialize_scan_stack(scan_stack); + /*<>*/ /*<>*/ caml_call2 (Stdlib_Stack[3], [0, 1, sys_tok], scan_stack); - /*<>*/ var + /*<>*/ var _a4_ = Stdlib[19], - /*<>*/ _a5_ = - /*<>*/ caml_call1(Stdlib_Stack[2], 0), - /*<>*/ _a6_ = - /*<>*/ caml_call1(Stdlib_Stack[2], 0), - /*<>*/ _a7_ = - /*<>*/ caml_call1(Stdlib_Stack[2], 0); - /*<>*/ return [0, + /*<>*/ _a5_ = + /*<>*/ caml_call1(Stdlib_Stack[2], 0), + /*<>*/ _a6_ = + /*<>*/ caml_call1(Stdlib_Stack[2], 0), + /*<>*/ _a7_ = + /*<>*/ caml_call1(Stdlib_Stack[2], 0); + /*<>*/ return [0, scan_stack, - /*<>*/ caml_call1(Stdlib_Stack[2], 0), + /*<>*/ caml_call1(Stdlib_Stack[2], 0), _a7_, _a6_, _a5_, @@ -28094,11 +28113,11 @@ pp_queue]; } function formatter_of_out_functions(out_funs){ - /*<>*/ return pp_make_formatter + /*<>*/ return pp_make_formatter (out_funs[1], out_funs[2], out_funs[3], out_funs[4], out_funs[5]); - /*<>*/ } + /*<>*/ } function make_formatter(output, flush){ - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var ppf = pp_make_formatter (output, @@ -28109,91 +28128,91 @@ ppf[19] = function(_a0_){ /*<>*/ return display_newline(ppf, _a0_);}; ppf[20] = function(_aZ_){ /*<>*/ return display_blanks(ppf, _aZ_);}; ppf[21] = function(_aY_){ /*<>*/ return display_blanks(ppf, _aY_);}; - /*<>*/ return ppf; - /*<>*/ } + /*<>*/ return ppf; + /*<>*/ } function formatter_of_out_channel(oc){ function _aX_(param){ - /*<>*/ return /*<>*/ caml_call1 + /*<>*/ return /*<>*/ caml_call1 (Stdlib[63], oc); - /*<>*/ } - /*<>*/ return make_formatter - ( /*<>*/ caml_call1(Stdlib[69], oc), _aX_); - /*<>*/ } + /*<>*/ } + /*<>*/ return make_formatter + ( /*<>*/ caml_call1(Stdlib[69], oc), _aX_); + /*<>*/ } function formatter_of_buffer(b){ - /*<>*/ function _aV_(_aW_){ /*<>*/ return 0;} - /*<>*/ return make_formatter - ( /*<>*/ caml_call1(Stdlib_Buffer[18], b), + /*<>*/ function _aV_(_aW_){ /*<>*/ return 0;} + /*<>*/ return make_formatter + ( /*<>*/ caml_call1(Stdlib_Buffer[18], b), _aV_); - /*<>*/ } + /*<>*/ } var pp_buffer_size = 512; function pp_make_buffer(param){ - /*<>*/ return caml_call1 + /*<>*/ return caml_call1 (Stdlib_Buffer[1], pp_buffer_size); - /*<>*/ } - /*<>*/ var - /*<>*/ stdbuf = pp_make_buffer(0), - /*<>*/ std_formatter = + /*<>*/ } + /*<>*/ var + /*<>*/ stdbuf = pp_make_buffer(0), + /*<>*/ std_formatter = formatter_of_out_channel(Stdlib[39]), - /*<>*/ err_formatter = + /*<>*/ err_formatter = formatter_of_out_channel(Stdlib[40]), - /*<>*/ str_formatter = formatter_of_buffer(stdbuf), - /*<>*/ stdbuf_key = - /*<>*/ caml_call2 + /*<>*/ str_formatter = formatter_of_buffer(stdbuf), + /*<>*/ stdbuf_key = + /*<>*/ caml_call2 (Stdlib_Domain[10][1], 0, pp_make_buffer); - /*<>*/ /*<>*/ caml_call2 + /*<>*/ /*<>*/ caml_call2 (Stdlib_Domain[10][3], stdbuf_key, stdbuf); function _h_(param){ - /*<>*/ return formatter_of_buffer - ( /*<>*/ caml_call1 + /*<>*/ return formatter_of_buffer + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], stdbuf_key)); - /*<>*/ } - /*<>*/ /*<>*/ var + /*<>*/ } + /*<>*/ /*<>*/ var str_formatter_key = - /*<>*/ caml_call2(Stdlib_Domain[10][1], 0, _h_); - /*<>*/ /*<>*/ caml_call2 + /*<>*/ caml_call2(Stdlib_Domain[10][1], 0, _h_); + /*<>*/ /*<>*/ caml_call2 (Stdlib_Domain[10][3], str_formatter_key, str_formatter); - /*<>*/ function buffered_out_string(key, str, ofs, len){ - /*<>*/ /*<>*/ var - _aU_ = /*<>*/ caml_call1(Stdlib_Domain[10][2], key); - /*<>*/ return /*<>*/ caml_call4 + /*<>*/ function buffered_out_string(key, str, ofs, len){ + /*<>*/ /*<>*/ var + _aU_ = /*<>*/ caml_call1(Stdlib_Domain[10][2], key); + /*<>*/ return /*<>*/ caml_call4 (Stdlib_Buffer[18], _aU_, str, ofs, len); - /*<>*/ } + /*<>*/ } function buffered_out_flush(oc, key, param){ - /*<>*/ var - /*<>*/ buf = - /*<>*/ caml_call1(Stdlib_Domain[10][2], key), - /*<>*/ len = - /*<>*/ caml_call1(Stdlib_Buffer[7], buf), - /*<>*/ str = - /*<>*/ caml_call1(Stdlib_Buffer[2], buf); - /*<>*/ /*<>*/ caml_call4 + /*<>*/ var + /*<>*/ buf = + /*<>*/ caml_call1(Stdlib_Domain[10][2], key), + /*<>*/ len = + /*<>*/ caml_call1(Stdlib_Buffer[7], buf), + /*<>*/ str = + /*<>*/ caml_call1(Stdlib_Buffer[2], buf); + /*<>*/ /*<>*/ caml_call4 (Stdlib[69], oc, str, 0, len); - /*<>*/ /*<>*/ caml_call1 + /*<>*/ /*<>*/ caml_call1 (Stdlib[63], oc); - /*<>*/ return /*<>*/ caml_call1 + /*<>*/ return /*<>*/ caml_call1 (Stdlib_Buffer[8], buf); - /*<>*/ } + /*<>*/ } function _i_(param){ - /*<>*/ return caml_call1 + /*<>*/ return caml_call1 (Stdlib_Buffer[1], pp_buffer_size); - /*<>*/ } - /*<>*/ /*<>*/ var + /*<>*/ } + /*<>*/ /*<>*/ var std_buf_key = - /*<>*/ caml_call2(Stdlib_Domain[10][1], 0, _i_); + /*<>*/ caml_call2(Stdlib_Domain[10][1], 0, _i_); function _j_(param){ - /*<>*/ return /*<>*/ caml_call1 + /*<>*/ return /*<>*/ caml_call1 (Stdlib_Buffer[1], pp_buffer_size); - /*<>*/ } - /*<>*/ /*<>*/ var + /*<>*/ } + /*<>*/ /*<>*/ var err_buf_key = - /*<>*/ caml_call2(Stdlib_Domain[10][1], 0, _j_); + /*<>*/ caml_call2(Stdlib_Domain[10][1], 0, _j_); function _k_(param){ function _aE_(_aT_){ /*<>*/ return 0;} function _aF_(_aS_){ /*<>*/ return 0;} function _aG_(_aR_){ /*<>*/ return 0;} - /*<>*/ var + /*<>*/ var _aH_ = Stdlib[39], - /*<>*/ ppf = + /*<>*/ ppf = pp_make_formatter (function(_aO_, _aP_, _aQ_){ /*<>*/ return buffered_out_string(std_buf_key, _aO_, _aP_, _aQ_); @@ -28207,25 +28226,25 @@ ppf[19] = function(_aM_){ /*<>*/ return display_newline(ppf, _aM_);}; ppf[20] = function(_aL_){ /*<>*/ return display_blanks(ppf, _aL_);}; ppf[21] = function(_aK_){ /*<>*/ return display_blanks(ppf, _aK_);}; - /*<>*/ function _aI_(_aJ_){ + /*<>*/ function _aI_(_aJ_){ /*<>*/ return pp_print_flush(ppf, _aJ_); } - /*<>*/ /*<>*/ caml_call1 + /*<>*/ /*<>*/ caml_call1 (Stdlib_Domain[6], _aI_); - /*<>*/ return ppf; - /*<>*/ } - /*<>*/ /*<>*/ var + /*<>*/ return ppf; + /*<>*/ } + /*<>*/ /*<>*/ var std_formatter_key = - /*<>*/ caml_call2(Stdlib_Domain[10][1], 0, _k_); - /*<>*/ /*<>*/ caml_call2 + /*<>*/ caml_call2(Stdlib_Domain[10][1], 0, _k_); + /*<>*/ /*<>*/ caml_call2 (Stdlib_Domain[10][3], std_formatter_key, std_formatter); function _l_(param){ function _ao_(_aD_){ /*<>*/ return 0;} function _ap_(_aC_){ /*<>*/ return 0;} function _aq_(_aB_){ /*<>*/ return 0;} - /*<>*/ var + /*<>*/ var _ar_ = Stdlib[40], - /*<>*/ ppf = + /*<>*/ ppf = pp_make_formatter (function(_ay_, _az_, _aA_){ /*<>*/ return buffered_out_string(err_buf_key, _ay_, _az_, _aA_); @@ -28239,503 +28258,518 @@ ppf[19] = function(_aw_){ /*<>*/ return display_newline(ppf, _aw_);}; ppf[20] = function(_av_){ /*<>*/ return display_blanks(ppf, _av_);}; ppf[21] = function(_au_){ /*<>*/ return display_blanks(ppf, _au_);}; - /*<>*/ function _as_(_at_){ + /*<>*/ function _as_(_at_){ /*<>*/ return pp_print_flush(ppf, _at_); } - /*<>*/ /*<>*/ caml_call1 + /*<>*/ /*<>*/ caml_call1 (Stdlib_Domain[6], _as_); - /*<>*/ return ppf; - /*<>*/ } - /*<>*/ /*<>*/ var + /*<>*/ return ppf; + /*<>*/ } + /*<>*/ /*<>*/ var err_formatter_key = - /*<>*/ caml_call2(Stdlib_Domain[10][1], 0, _l_); - /*<>*/ /*<>*/ caml_call2 + /*<>*/ caml_call2(Stdlib_Domain[10][1], 0, _l_); + /*<>*/ /*<>*/ caml_call2 (Stdlib_Domain[10][3], err_formatter_key, err_formatter); function get_std_formatter(param){ - /*<>*/ return /*<>*/ caml_call1 + /*<>*/ return /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key); - /*<>*/ } + /*<>*/ } function get_err_formatter(param){ - /*<>*/ return caml_call1 + /*<>*/ return caml_call1 (Stdlib_Domain[10][2], err_formatter_key); - /*<>*/ } + /*<>*/ } function get_str_formatter(param){ - /*<>*/ return caml_call1 + /*<>*/ return caml_call1 (Stdlib_Domain[10][2], str_formatter_key); - /*<>*/ } + /*<>*/ } function get_stdbuf(param){ - /*<>*/ return caml_call1 + /*<>*/ return caml_call1 (Stdlib_Domain[10][2], stdbuf_key); - /*<>*/ } + /*<>*/ } function flush_buffer_formatter(buf, ppf){ - /*<>*/ pp_flush_queue(ppf, 0); - /*<>*/ /*<>*/ var - s = /*<>*/ caml_call1(Stdlib_Buffer[2], buf); - /*<>*/ /*<>*/ caml_call1 + /*<>*/ pp_flush_queue(ppf, 0); + /*<>*/ /*<>*/ var + s = /*<>*/ caml_call1(Stdlib_Buffer[2], buf); + /*<>*/ /*<>*/ caml_call1 (Stdlib_Buffer[9], buf); - /*<>*/ return s; - /*<>*/ } + /*<>*/ return s; + /*<>*/ } function flush_str_formatter(param){ - /*<>*/ var - /*<>*/ stdbuf = - /*<>*/ caml_call1(Stdlib_Domain[10][2], stdbuf_key), - /*<>*/ str_formatter = - /*<>*/ caml_call1 + /*<>*/ var + /*<>*/ stdbuf = + /*<>*/ caml_call1(Stdlib_Domain[10][2], stdbuf_key), + /*<>*/ str_formatter = + /*<>*/ caml_call1 (Stdlib_Domain[10][2], str_formatter_key); - /*<>*/ return flush_buffer_formatter + /*<>*/ return flush_buffer_formatter (stdbuf, str_formatter); - /*<>*/ } + /*<>*/ } function make_synchronized_formatter(output, flush){ function _am_(param){ - /*<>*/ var - /*<>*/ buf = - /*<>*/ caml_call1 + /*<>*/ var + /*<>*/ buf = + /*<>*/ caml_call1 (Stdlib_Buffer[1], pp_buffer_size), - /*<>*/ output$0 = - /*<>*/ caml_call1(Stdlib_Buffer[18], buf); + /*<>*/ output$0 = + /*<>*/ caml_call1(Stdlib_Buffer[18], buf); function flush$0(param){ - /*<>*/ /*<>*/ var - _an_ = /*<>*/ caml_call1(Stdlib_Buffer[7], buf); - /*<>*/ /*<>*/ caml_call3 + /*<>*/ /*<>*/ var + _an_ = /*<>*/ caml_call1(Stdlib_Buffer[7], buf); + /*<>*/ /*<>*/ caml_call3 (output, - /*<>*/ caml_call1(Stdlib_Buffer[2], buf), + /*<>*/ caml_call1(Stdlib_Buffer[2], buf), 0, _an_); - /*<>*/ /*<>*/ caml_call1 + /*<>*/ /*<>*/ caml_call1 (Stdlib_Buffer[8], buf); - /*<>*/ return /*<>*/ caml_call1 + /*<>*/ return /*<>*/ caml_call1 (flush, 0); - /*<>*/ } - /*<>*/ return make_formatter(output$0, flush$0); - /*<>*/ } - /*<>*/ return /*<>*/ caml_call2 + /*<>*/ } + /*<>*/ return make_formatter(output$0, flush$0); + /*<>*/ } + /*<>*/ return /*<>*/ caml_call2 (Stdlib_Domain[10][1], 0, _am_); - /*<>*/ } + /*<>*/ } function synchronized_formatter_of_out_(oc){ function _al_(param){ - /*<>*/ return /*<>*/ caml_call1 + /*<>*/ return /*<>*/ caml_call1 (Stdlib[63], oc); - /*<>*/ } - /*<>*/ return make_synchronized_formatter - ( /*<>*/ caml_call1(Stdlib[69], oc), _al_); - /*<>*/ } - function make_symbolic_output_buffer(param){ /*<>*/ return [0, 0]; - /*<>*/ } + /*<>*/ } + /*<>*/ return make_synchronized_formatter + ( /*<>*/ caml_call1(Stdlib[69], oc), _al_); + /*<>*/ } + function make_symbolic_output_buffer(param){ /*<>*/ return [0, 0]; + /*<>*/ } function clear_symbolic_output_buffer(sob){ - /*<>*/ sob[1] = 0; + /*<>*/ sob[1] = 0; return 0; - /*<>*/ } + /*<>*/ } function get_symbolic_output_buffer(sob){ - /*<>*/ return caml_call1(Stdlib_List[10], sob[1]); - /*<>*/ } + /*<>*/ return caml_call1(Stdlib_List[10], sob[1]); + /*<>*/ } function flush_symbolic_output_buffer(sob){ - /*<>*/ /*<>*/ var + /*<>*/ /*<>*/ var items = get_symbolic_output_buffer(sob); - /*<>*/ clear_symbolic_output_buffer(sob); - /*<>*/ return items; - /*<>*/ } + /*<>*/ clear_symbolic_output_buffer(sob); + /*<>*/ return items; + /*<>*/ } function add_symbolic_output_item(sob, item){ - /*<>*/ sob[1] = [0, item, sob[1]]; + /*<>*/ sob[1] = [0, item, sob[1]]; return 0; - /*<>*/ } + /*<>*/ } function formatter_of_symbolic_output_b(sob){ - /*<>*/ function f(s, i, n){ - /*<>*/ return add_symbolic_output_item + /*<>*/ function f(s, i, n){ + /*<>*/ return add_symbolic_output_item (sob, [0, - /*<>*/ caml_call3 + /*<>*/ caml_call3 (Stdlib_String[16], s, i, n)]); } - /*<>*/ function g(_ak_){ - /*<>*/ return add_symbolic_output_item(sob, 0); + /*<>*/ function g(_ak_){ + /*<>*/ return add_symbolic_output_item(sob, 0); } - /*<>*/ function h(_aj_){ - /*<>*/ return add_symbolic_output_item(sob, 1); + /*<>*/ function h(_aj_){ + /*<>*/ return add_symbolic_output_item(sob, 1); } - /*<>*/ function i(n){ - /*<>*/ return add_symbolic_output_item(sob, [1, n]); + /*<>*/ function i(n){ + /*<>*/ return add_symbolic_output_item(sob, [1, n]); } - /*<>*/ function j(n){ - /*<>*/ return add_symbolic_output_item(sob, [2, n]); + /*<>*/ function j(n){ + /*<>*/ return add_symbolic_output_item(sob, [2, n]); } - /*<>*/ return pp_make_formatter(f, g, h, i, j); - /*<>*/ } + /*<>*/ return pp_make_formatter(f, g, h, i, j); + /*<>*/ } function open_hbox(v){ - /*<>*/ return pp_open_hbox - ( /*<>*/ caml_call1 + /*<>*/ return pp_open_hbox + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function open_vbox(v){ - /*<>*/ return pp_open_vbox - ( /*<>*/ caml_call1 + /*<>*/ return pp_open_vbox + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function open_hvbox(v){ - /*<>*/ return pp_open_hvbox - ( /*<>*/ caml_call1 + /*<>*/ return pp_open_hvbox + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function open_hovbox(v){ - /*<>*/ return pp_open_hovbox - ( /*<>*/ caml_call1 + /*<>*/ return pp_open_hovbox + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function open_box(v){ - /*<>*/ return pp_open_box - ( /*<>*/ caml_call1 + /*<>*/ return pp_open_box + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function close_box(v){ - /*<>*/ return pp_close_box - ( /*<>*/ caml_call1 + /*<>*/ return pp_close_box + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function open_stag(v){ - /*<>*/ return pp_open_stag - ( /*<>*/ caml_call1 + /*<>*/ return pp_open_stag + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function close_stag(v){ - /*<>*/ return pp_close_stag - ( /*<>*/ caml_call1 + /*<>*/ return pp_close_stag + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function print_as(v, w){ - /*<>*/ return pp_print_as - ( /*<>*/ caml_call1 + /*<>*/ return pp_print_as + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v, w); - /*<>*/ } + /*<>*/ } function print_string(v){ - /*<>*/ return pp_print_string - ( /*<>*/ caml_call1 + /*<>*/ return pp_print_string + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } + function print_substring(pos, len, v){ + /*<>*/ return pp_print_substring + (pos, + len, + /*<>*/ caml_call1 + (Stdlib_Domain[10][2], std_formatter_key), + v); + /*<>*/ } + function print_substring_as(pos, len, as_len, v){ + /*<>*/ return pp_print_substring_as + (pos, + len, + /*<>*/ caml_call1 + (Stdlib_Domain[10][2], std_formatter_key), + as_len, + v); + /*<>*/ } function print_bytes(v){ - /*<>*/ return pp_print_bytes - ( /*<>*/ caml_call1 + /*<>*/ return pp_print_bytes + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function print_int(v){ - /*<>*/ return pp_print_int - ( /*<>*/ caml_call1 + /*<>*/ return pp_print_int + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function print_float(v){ - /*<>*/ return pp_print_float - ( /*<>*/ caml_call1 + /*<>*/ return pp_print_float + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function print_char(v){ - /*<>*/ return pp_print_char - ( /*<>*/ caml_call1 + /*<>*/ return pp_print_char + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function print_bool(v){ - /*<>*/ return pp_print_bool - ( /*<>*/ caml_call1 + /*<>*/ return pp_print_bool + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function print_break(v, w){ - /*<>*/ return pp_print_break - ( /*<>*/ caml_call1 + /*<>*/ return pp_print_break + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v, w); - /*<>*/ } + /*<>*/ } function print_cut(v){ - /*<>*/ return pp_print_cut - ( /*<>*/ caml_call1 + /*<>*/ return pp_print_cut + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function print_space(v){ - /*<>*/ return pp_print_space - ( /*<>*/ caml_call1 + /*<>*/ return pp_print_space + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function force_newline(v){ - /*<>*/ return pp_force_newline - ( /*<>*/ caml_call1 + /*<>*/ return pp_force_newline + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function print_flush(v){ - /*<>*/ return pp_print_flush - ( /*<>*/ caml_call1 + /*<>*/ return pp_print_flush + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function print_newline(v){ - /*<>*/ return pp_print_newline - ( /*<>*/ caml_call1 + /*<>*/ return pp_print_newline + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function print_if_newline(v){ - /*<>*/ return pp_print_if_newline - ( /*<>*/ caml_call1 + /*<>*/ return pp_print_if_newline + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function open_tbox(v){ - /*<>*/ return pp_open_tbox - ( /*<>*/ caml_call1 + /*<>*/ return pp_open_tbox + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function close_tbox(v){ - /*<>*/ return pp_close_tbox - ( /*<>*/ caml_call1 + /*<>*/ return pp_close_tbox + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function print_tbreak(v, w){ - /*<>*/ return pp_print_tbreak - ( /*<>*/ caml_call1 + /*<>*/ return pp_print_tbreak + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v, w); - /*<>*/ } + /*<>*/ } function set_tab(v){ - /*<>*/ return pp_set_tab - ( /*<>*/ caml_call1 + /*<>*/ return pp_set_tab + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function print_tab(v){ - /*<>*/ return pp_print_tab - ( /*<>*/ caml_call1 + /*<>*/ return pp_print_tab + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function set_margin(v){ - /*<>*/ return pp_set_margin - ( /*<>*/ caml_call1 + /*<>*/ return pp_set_margin + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function get_margin(v){ - /*<>*/ return /*<>*/ caml_call1 + /*<>*/ return /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key) [6]; - /*<>*/ } + /*<>*/ } function set_max_indent(v){ - /*<>*/ return pp_set_max_indent - ( /*<>*/ caml_call1 + /*<>*/ return pp_set_max_indent + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function get_max_indent(v){ - /*<>*/ return /*<>*/ caml_call1 + /*<>*/ return /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key) [8]; - /*<>*/ } + /*<>*/ } function set_geometry(max_indent, margin){ - /*<>*/ return pp_set_geometry - ( /*<>*/ caml_call1 + /*<>*/ return pp_set_geometry + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), max_indent, margin); - /*<>*/ } + /*<>*/ } function safe_set_geometry(max_indent, margin){ - /*<>*/ return pp_safe_set_geometry - ( /*<>*/ caml_call1 + /*<>*/ return pp_safe_set_geometry + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), max_indent, margin); - /*<>*/ } + /*<>*/ } function get_geometry(v){ - /*<>*/ return pp_get_geometry - ( /*<>*/ caml_call1 + /*<>*/ return pp_get_geometry + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function update_geometry(v){ - /*<>*/ return pp_update_geometry - ( /*<>*/ caml_call1 + /*<>*/ return pp_update_geometry + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function set_max_boxes(v){ - /*<>*/ return pp_set_max_boxes - ( /*<>*/ caml_call1 + /*<>*/ return pp_set_max_boxes + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function get_max_boxes(v){ - /*<>*/ return /*<>*/ caml_call1 + /*<>*/ return /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key) [15]; - /*<>*/ } + /*<>*/ } function over_max_boxes(v){ - /*<>*/ return pp_over_max_boxes - ( /*<>*/ caml_call1 + /*<>*/ return pp_over_max_boxes + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function set_ellipsis_text(v){ - /*<>*/ return pp_set_ellipsis_text - ( /*<>*/ caml_call1 + /*<>*/ return pp_set_ellipsis_text + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function get_ellipsis_text(v){ - /*<>*/ return /*<>*/ caml_call1 + /*<>*/ return /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key) [16]; - /*<>*/ } + /*<>*/ } function set_formatter_out_channel(v){ - /*<>*/ return pp_set_formatter_out_channel - ( /*<>*/ caml_call1 + /*<>*/ return pp_set_formatter_out_channel + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function set_formatter_out_functions(v){ - /*<>*/ return pp_set_formatter_out_functions - ( /*<>*/ caml_call1 + /*<>*/ return pp_set_formatter_out_functions + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function get_formatter_out_functions(v){ - /*<>*/ return pp_get_formatter_out_functions - ( /*<>*/ caml_call1 + /*<>*/ return pp_get_formatter_out_functions + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function set_formatter_output_functions(v, w){ - /*<>*/ return pp_set_formatter_output_functi - ( /*<>*/ caml_call1 + /*<>*/ return pp_set_formatter_output_functi + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v, w); - /*<>*/ } + /*<>*/ } function get_formatter_output_functions(v){ - /*<>*/ return pp_get_formatter_output_functi - ( /*<>*/ caml_call1 + /*<>*/ return pp_get_formatter_output_functi + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function set_formatter_stag_functions(v){ - /*<>*/ return pp_set_formatter_stag_function - ( /*<>*/ caml_call1 + /*<>*/ return pp_set_formatter_stag_function + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function get_formatter_stag_functions(v){ - /*<>*/ return pp_get_formatter_stag_function - ( /*<>*/ caml_call1 + /*<>*/ return pp_get_formatter_stag_function + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function set_print_tags(v){ - /*<>*/ return pp_set_print_tags - ( /*<>*/ caml_call1 + /*<>*/ return pp_set_print_tags + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function get_print_tags(v){ - /*<>*/ return /*<>*/ caml_call1 + /*<>*/ return /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key) [22]; - /*<>*/ } + /*<>*/ } function set_mark_tags(v){ - /*<>*/ return pp_set_mark_tags - ( /*<>*/ caml_call1 + /*<>*/ return pp_set_mark_tags + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function get_mark_tags(v){ - /*<>*/ return /*<>*/ caml_call1 + /*<>*/ return /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key) [23]; - /*<>*/ } + /*<>*/ } function set_tags(v){ - /*<>*/ return pp_set_tags - ( /*<>*/ caml_call1 + /*<>*/ return pp_set_tags + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), v); - /*<>*/ } + /*<>*/ } function pp_print_iter(opt, iter, pp_v, ppf, v){ - /*<>*/ var + /*<>*/ var pp_sep = opt ? opt[1] : pp_print_cut, - /*<>*/ is_first = [0, 1]; + /*<>*/ is_first = [0, 1]; function pp_v$0(v){ - /*<>*/ if(is_first[1]) + /*<>*/ if(is_first[1]) is_first[1] = 0; else - /*<>*/ /*<>*/ caml_call2 + /*<>*/ /*<>*/ caml_call2 (pp_sep, ppf, 0); - /*<>*/ return /*<>*/ caml_call2 + /*<>*/ return /*<>*/ caml_call2 (pp_v, ppf, v); - /*<>*/ } - /*<>*/ return /*<>*/ caml_call2 + /*<>*/ } + /*<>*/ return /*<>*/ caml_call2 (iter, pp_v$0, v); } function pp_print_list(opt, pp_v, ppf, v){ var pp_sep = opt ? opt[1] : pp_print_cut; - /*<>*/ return pp_print_iter + /*<>*/ return pp_print_iter ([0, pp_sep], Stdlib_List[18], pp_v, ppf, v); } function pp_print_array(opt, pp_v, ppf, v){ var pp_sep = opt ? opt[1] : pp_print_cut; - /*<>*/ return pp_print_iter + /*<>*/ return pp_print_iter ([0, pp_sep], Stdlib_Array[12], pp_v, ppf, v); } function pp_print_seq(opt, pp_v, ppf, seq){ var pp_sep = opt ? opt[1] : pp_print_cut; - /*<>*/ return pp_print_iter + /*<>*/ return pp_print_iter ([0, pp_sep], Stdlib_Seq[4], pp_v, ppf, seq); } function pp_print_text(ppf, s){ - /*<>*/ var + /*<>*/ var len = caml_ml_string_length(s), - /*<>*/ left = [0, 0], - /*<>*/ right = [0, 0]; + /*<>*/ left = [0, 0], + /*<>*/ right = [0, 0]; function flush(param){ - /*<>*/ pp_print_string - (ppf, - /*<>*/ caml_call3 - (Stdlib_String[16], s, left[1], right[1] - left[1] | 0)); + /*<>*/ pp_print_substring + (left[1], right[1] - left[1] | 0, ppf, s); right[1]++; left[1] = right[1]; return 0; - /*<>*/ } + /*<>*/ } for(;;){ if(right[1] === len){ var _ai_ = left[1] !== len ? 1 : 0; return _ai_ ? flush(0) : _ai_; } - /*<>*/ /*<>*/ var - match = /*<>*/ runtime.caml_string_get(s, right[1]); + /*<>*/ /*<>*/ var + match = /*<>*/ runtime.caml_string_get(s, right[1]); if(10 === match){ - /*<>*/ flush(0); - /*<>*/ pp_force_newline(ppf, 0); + /*<>*/ flush(0); + /*<>*/ pp_force_newline(ppf, 0); } else if(32 === match){ - /*<>*/ flush(0); - /*<>*/ pp_print_space(ppf, 0); + /*<>*/ flush(0); + /*<>*/ pp_print_space(ppf, 0); } else right[1]++; } - /*<>*/ } + /*<>*/ } function pp_print_option(opt, pp_v, ppf, param){ var none = @@ -28743,82 +28777,82 @@ ? opt[1] : function (_ah_, param){ - /*<>*/ return 0; - /*<>*/ }; + /*<>*/ return 0; + /*<>*/ }; if(! param) - /*<>*/ return /*<>*/ caml_call2 + /*<>*/ return /*<>*/ caml_call2 (none, ppf, 0); var v = param[1]; - /*<>*/ return /*<>*/ caml_call2 + /*<>*/ return /*<>*/ caml_call2 (pp_v, ppf, v); } function pp_print_result(ok, error, ppf, param){ /*<>*/ if(0 === param[0]){ var v = param[1]; - /*<>*/ return /*<>*/ caml_call2 + /*<>*/ return /*<>*/ caml_call2 (ok, ppf, v); } var e = param[1]; - /*<>*/ return /*<>*/ caml_call2 + /*<>*/ return /*<>*/ caml_call2 (error, ppf, e); } function pp_print_either(left, right, ppf, param){ /*<>*/ if(0 === param[0]){ var l = param[1]; - /*<>*/ return /*<>*/ caml_call2 + /*<>*/ return /*<>*/ caml_call2 (left, ppf, l); } var r = param[1]; - /*<>*/ return /*<>*/ caml_call2 + /*<>*/ return /*<>*/ caml_call2 (right, ppf, r); } function compute_tag(output, tag_acc){ - /*<>*/ var - /*<>*/ buf = - /*<>*/ caml_call1(Stdlib_Buffer[1], 16), - /*<>*/ ppf = formatter_of_buffer(buf); - /*<>*/ /*<>*/ caml_call2 + /*<>*/ var + /*<>*/ buf = + /*<>*/ caml_call1(Stdlib_Buffer[1], 16), + /*<>*/ ppf = formatter_of_buffer(buf); + /*<>*/ /*<>*/ caml_call2 (output, ppf, tag_acc); - /*<>*/ pp_print_flush(ppf, 0); - /*<>*/ /*<>*/ var - len = /*<>*/ caml_call1(Stdlib_Buffer[7], buf); - /*<>*/ return 2 <= len - ? /*<>*/ caml_call3 + /*<>*/ pp_print_flush(ppf, 0); + /*<>*/ /*<>*/ var + len = /*<>*/ caml_call1(Stdlib_Buffer[7], buf); + /*<>*/ return 2 <= len + ? /*<>*/ caml_call3 (Stdlib_Buffer[4], buf, 1, len - 2 | 0) - : /*<>*/ caml_call1(Stdlib_Buffer[2], buf); - /*<>*/ } + : /*<>*/ caml_call1(Stdlib_Buffer[2], buf); + /*<>*/ } function output_formatting_lit(ppf, fmting_lit){ - /*<>*/ if(typeof fmting_lit === "number") + /*<>*/ if(typeof fmting_lit === "number") switch(fmting_lit){ case 0: - /*<>*/ return pp_close_box(ppf, 0); + /*<>*/ return pp_close_box(ppf, 0); case 1: - /*<>*/ return pp_close_stag(ppf, 0); + /*<>*/ return pp_close_stag(ppf, 0); case 2: - /*<>*/ return pp_print_flush(ppf, 0); + /*<>*/ return pp_print_flush(ppf, 0); case 3: - /*<>*/ return pp_force_newline(ppf, 0); + /*<>*/ return pp_force_newline(ppf, 0); case 4: - /*<>*/ return pp_print_newline(ppf, 0); + /*<>*/ return pp_print_newline(ppf, 0); case 5: - /*<>*/ return pp_print_char(ppf, 64); - default: /*<>*/ return pp_print_char(ppf, 37); + /*<>*/ return pp_print_char(ppf, 64); + default: /*<>*/ return pp_print_char(ppf, 37); } switch(fmting_lit[0]){ case 0: var offset = fmting_lit[3], width = fmting_lit[2]; - /*<>*/ return pp_print_break(ppf, width, offset); + /*<>*/ return pp_print_break(ppf, width, offset); case 1: - /*<>*/ return 0; + /*<>*/ return 0; default: var c = fmting_lit[1]; - /*<>*/ pp_print_char(ppf, 64); - /*<>*/ return pp_print_char(ppf, c); + /*<>*/ pp_print_char(ppf, 64); + /*<>*/ return pp_print_char(ppf, c); } - /*<>*/ } + /*<>*/ } function output_acc(ppf, acc){ - /*<>*/ if(typeof acc === "number") - /*<>*/ return 0; + /*<>*/ if(typeof acc === "number") + /*<>*/ return 0; a: { b: @@ -28828,26 +28862,26 @@ switch(acc[0]){ case 0: var f = acc[2], p = acc[1]; - /*<>*/ output_acc(ppf, p); - /*<>*/ return output_formatting_lit(ppf, f); + /*<>*/ output_acc(ppf, p); + /*<>*/ return output_formatting_lit(ppf, f); case 1: var match = acc[2], p$0 = acc[1]; if(0 === match[0]){ var acc$0 = match[1]; - /*<>*/ output_acc(ppf, p$0); - /*<>*/ return pp_open_stag + /*<>*/ output_acc(ppf, p$0); + /*<>*/ return pp_open_stag (ppf, [0, String_tag, compute_tag(output_acc, acc$0)]); } var acc$1 = match[1]; - /*<>*/ output_acc(ppf, p$0); - /*<>*/ var - /*<>*/ ___ = compute_tag(output_acc, acc$1), - /*<>*/ match$0 = - /*<>*/ caml_call1 + /*<>*/ output_acc(ppf, p$0); + /*<>*/ var + /*<>*/ ___ = compute_tag(output_acc, acc$1), + /*<>*/ match$0 = + /*<>*/ caml_call1 (CamlinternalFormat[20], ___), bty = match$0[2], indent = match$0[1]; - /*<>*/ return pp_open_box_gen(ppf, indent, bty); + /*<>*/ return pp_open_box_gen(ppf, indent, bty); case 2: var _$_ = acc[1]; if(typeof _$_ !== "number" && 0 === _$_[0]){ @@ -28894,38 +28928,38 @@ break c; case 6: var f$0 = acc[2], p$5 = acc[1]; - /*<>*/ output_acc(ppf, p$5); - /*<>*/ return /*<>*/ caml_call1 + /*<>*/ output_acc(ppf, p$5); + /*<>*/ return /*<>*/ caml_call1 (f$0, ppf); case 7: var p$6 = acc[1]; - /*<>*/ output_acc(ppf, p$6); - /*<>*/ return pp_print_flush(ppf, 0); + /*<>*/ output_acc(ppf, p$6); + /*<>*/ return pp_print_flush(ppf, 0); default: var msg = acc[2], p$7 = acc[1]; - /*<>*/ output_acc(ppf, p$7); - /*<>*/ return /*<>*/ caml_call1 + /*<>*/ output_acc(ppf, p$7); + /*<>*/ return /*<>*/ caml_call1 (Stdlib[1], msg); } - /*<>*/ output_acc(ppf, p$4); - /*<>*/ return pp_print_as_size + /*<>*/ output_acc(ppf, p$4); + /*<>*/ return pp_print_as_size (ppf, size$0, - /*<>*/ caml_call2 + /*<>*/ caml_call2 (Stdlib_String[1], 1, c$0)); } - /*<>*/ output_acc(ppf, p$3); - /*<>*/ return pp_print_char(ppf, c); + /*<>*/ output_acc(ppf, p$3); + /*<>*/ return pp_print_char(ppf, c); } - /*<>*/ output_acc(ppf, p$2); - /*<>*/ return pp_print_as_size(ppf, size, s$0); + /*<>*/ output_acc(ppf, p$2); + /*<>*/ return pp_print_as_size(ppf, size, s$0); } - /*<>*/ output_acc(ppf, p$1); - /*<>*/ return pp_print_string(ppf, s); - /*<>*/ } + /*<>*/ output_acc(ppf, p$1); + /*<>*/ return pp_print_string(ppf, s); + /*<>*/ } function strput_acc(ppf, acc){ - /*<>*/ if(typeof acc === "number") - /*<>*/ return 0; + /*<>*/ if(typeof acc === "number") + /*<>*/ return 0; a: { b: @@ -28935,26 +28969,26 @@ switch(acc[0]){ case 0: var f = acc[2], p = acc[1]; - /*<>*/ strput_acc(ppf, p); - /*<>*/ return output_formatting_lit(ppf, f); + /*<>*/ strput_acc(ppf, p); + /*<>*/ return output_formatting_lit(ppf, f); case 1: var match = acc[2], p$0 = acc[1]; if(0 === match[0]){ var acc$0 = match[1]; - /*<>*/ strput_acc(ppf, p$0); - /*<>*/ return pp_open_stag + /*<>*/ strput_acc(ppf, p$0); + /*<>*/ return pp_open_stag (ppf, [0, String_tag, compute_tag(strput_acc, acc$0)]); } var acc$1 = match[1]; - /*<>*/ strput_acc(ppf, p$0); - /*<>*/ var - /*<>*/ _R_ = compute_tag(strput_acc, acc$1), - /*<>*/ match$0 = - /*<>*/ caml_call1 + /*<>*/ strput_acc(ppf, p$0); + /*<>*/ var + /*<>*/ _R_ = compute_tag(strput_acc, acc$1), + /*<>*/ match$0 = + /*<>*/ caml_call1 (CamlinternalFormat[20], _R_), bty = match$0[2], indent = match$0[1]; - /*<>*/ return pp_open_box_gen(ppf, indent, bty); + /*<>*/ return pp_open_box_gen(ppf, indent, bty); case 2: var _S_ = acc[1]; if(typeof _S_ !== "number" && 0 === _S_[0]){ @@ -29005,171 +29039,171 @@ var match$1 = p$5[2]; if(typeof match$1 !== "number" && 1 === match$1[0]){ var f$1 = acc[2], size$1 = match$1[2], p$6 = p$5[1]; - /*<>*/ strput_acc(ppf, p$6); - /*<>*/ return pp_print_as_size - (ppf, size$1, /*<>*/ caml_call1(f$1, 0)); + /*<>*/ strput_acc(ppf, p$6); + /*<>*/ return pp_print_as_size + (ppf, size$1, /*<>*/ caml_call1(f$1, 0)); } } var f$0 = acc[2]; - /*<>*/ strput_acc(ppf, p$5); - /*<>*/ return pp_print_string - (ppf, /*<>*/ caml_call1(f$0, 0)); + /*<>*/ strput_acc(ppf, p$5); + /*<>*/ return pp_print_string + (ppf, /*<>*/ caml_call1(f$0, 0)); case 7: var p$7 = acc[1]; - /*<>*/ strput_acc(ppf, p$7); - /*<>*/ return pp_print_flush(ppf, 0); + /*<>*/ strput_acc(ppf, p$7); + /*<>*/ return pp_print_flush(ppf, 0); default: var msg = acc[2], p$8 = acc[1]; - /*<>*/ strput_acc(ppf, p$8); - /*<>*/ return /*<>*/ caml_call1 + /*<>*/ strput_acc(ppf, p$8); + /*<>*/ return /*<>*/ caml_call1 (Stdlib[1], msg); } - /*<>*/ strput_acc(ppf, p$4); - /*<>*/ return pp_print_as_size + /*<>*/ strput_acc(ppf, p$4); + /*<>*/ return pp_print_as_size (ppf, size$0, - /*<>*/ caml_call2 + /*<>*/ caml_call2 (Stdlib_String[1], 1, c$0)); } - /*<>*/ strput_acc(ppf, p$3); - /*<>*/ return pp_print_char(ppf, c); + /*<>*/ strput_acc(ppf, p$3); + /*<>*/ return pp_print_char(ppf, c); } - /*<>*/ strput_acc(ppf, p$2); - /*<>*/ return pp_print_as_size(ppf, size, s$0); + /*<>*/ strput_acc(ppf, p$2); + /*<>*/ return pp_print_as_size(ppf, size, s$0); } - /*<>*/ strput_acc(ppf, p$1); - /*<>*/ return pp_print_string(ppf, s); - /*<>*/ } + /*<>*/ strput_acc(ppf, p$1); + /*<>*/ return pp_print_string(ppf, s); + /*<>*/ } function kfprintf(k, ppf, param){ - /*<>*/ var + /*<>*/ var fmt = param[1], - /*<>*/ _P_ = 0; + /*<>*/ _P_ = 0; function _Q_(acc){ - /*<>*/ output_acc(ppf, acc); + /*<>*/ output_acc(ppf, acc); return caml_call1(k, ppf); - /*<>*/ } - /*<>*/ return /*<>*/ caml_call3 + /*<>*/ } + /*<>*/ return /*<>*/ caml_call3 (CamlinternalFormat[7], _Q_, _P_, fmt); } function ikfprintf(k, ppf, param){ var fmt = param[1]; - /*<>*/ return /*<>*/ caml_call3 + /*<>*/ return /*<>*/ caml_call3 (CamlinternalFormat[8], k, ppf, fmt); } function ifprintf(ppf, param){ - /*<>*/ var + /*<>*/ var fmt = param[1], - /*<>*/ _M_ = 0; + /*<>*/ _M_ = 0; function _N_(_O_){ /*<>*/ return 0;} - /*<>*/ return /*<>*/ caml_call3 + /*<>*/ return /*<>*/ caml_call3 (CamlinternalFormat[8], _N_, _M_, fmt); } function fprintf(ppf){ function _J_(_L_){ /*<>*/ return 0;} - /*<>*/ return function(_K_){ + /*<>*/ return function(_K_){ /*<>*/ return kfprintf(_J_, ppf, _K_);}; - /*<>*/ } + /*<>*/ } function printf(param){ - /*<>*/ var + /*<>*/ var fmt = param[1], - /*<>*/ _H_ = 0; + /*<>*/ _H_ = 0; function _I_(acc){ - /*<>*/ return output_acc - ( /*<>*/ caml_call1 + /*<>*/ return output_acc + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), acc); - /*<>*/ } - /*<>*/ return /*<>*/ caml_call3 + /*<>*/ } + /*<>*/ return /*<>*/ caml_call3 (CamlinternalFormat[7], _I_, _H_, fmt); } function eprintf(param){ - /*<>*/ var + /*<>*/ var fmt = param[1], - /*<>*/ _F_ = 0; + /*<>*/ _F_ = 0; function _G_(acc){ - /*<>*/ return output_acc - ( /*<>*/ caml_call1 + /*<>*/ return output_acc + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], err_formatter_key), acc); - /*<>*/ } - /*<>*/ return /*<>*/ caml_call3 + /*<>*/ } + /*<>*/ return /*<>*/ caml_call3 (CamlinternalFormat[7], _G_, _F_, fmt); } function kdprintf(k, param){ - /*<>*/ var + /*<>*/ var fmt = param[1], - /*<>*/ _D_ = 0; + /*<>*/ _D_ = 0; function _E_(acc){ - /*<>*/ return /*<>*/ caml_call1 + /*<>*/ return /*<>*/ caml_call1 (k, function(ppf){ - /*<>*/ return output_acc(ppf, acc); - /*<>*/ }); - /*<>*/ } - /*<>*/ return /*<>*/ caml_call3 + /*<>*/ return output_acc(ppf, acc); + /*<>*/ }); + /*<>*/ } + /*<>*/ return /*<>*/ caml_call3 (CamlinternalFormat[7], _E_, _D_, fmt); } function dprintf(fmt){ - /*<>*/ return kdprintf + /*<>*/ return kdprintf (function(i){ - /*<>*/ return i; - /*<>*/ }, + /*<>*/ return i; + /*<>*/ }, fmt); - /*<>*/ } + /*<>*/ } function ksprintf(k, param){ - /*<>*/ var + /*<>*/ var fmt = param[1], - /*<>*/ b = pp_make_buffer(0), - /*<>*/ ppf = formatter_of_buffer(b); + /*<>*/ b = pp_make_buffer(0), + /*<>*/ ppf = formatter_of_buffer(b); function k$0(acc){ - /*<>*/ strput_acc(ppf, acc); - /*<>*/ return /*<>*/ caml_call1 + /*<>*/ strput_acc(ppf, acc); + /*<>*/ return /*<>*/ caml_call1 (k, flush_buffer_formatter(b, ppf)); - /*<>*/ } - /*<>*/ return /*<>*/ caml_call3 + /*<>*/ } + /*<>*/ return /*<>*/ caml_call3 (CamlinternalFormat[7], k$0, 0, fmt); } function sprintf(fmt){ - /*<>*/ return ksprintf(id, fmt); - /*<>*/ } + /*<>*/ return ksprintf(id, fmt); + /*<>*/ } function kasprintf(k, param){ - /*<>*/ var + /*<>*/ var fmt = param[1], - /*<>*/ b = pp_make_buffer(0), - /*<>*/ ppf = formatter_of_buffer(b); + /*<>*/ b = pp_make_buffer(0), + /*<>*/ ppf = formatter_of_buffer(b); function k$0(acc){ - /*<>*/ output_acc(ppf, acc); - /*<>*/ return /*<>*/ caml_call1 + /*<>*/ output_acc(ppf, acc); + /*<>*/ return /*<>*/ caml_call1 (k, flush_buffer_formatter(b, ppf)); - /*<>*/ } - /*<>*/ return /*<>*/ caml_call3 + /*<>*/ } + /*<>*/ return /*<>*/ caml_call3 (CamlinternalFormat[7], k$0, 0, fmt); } function asprintf(fmt){ - /*<>*/ return kasprintf(id, fmt); - /*<>*/ } + /*<>*/ return kasprintf(id, fmt); + /*<>*/ } function flush_standard_formatters(param){ - /*<>*/ pp_print_flush - ( /*<>*/ caml_call1 + /*<>*/ pp_print_flush + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], std_formatter_key), 0); - /*<>*/ return pp_print_flush - ( /*<>*/ caml_call1 + /*<>*/ return pp_print_flush + ( /*<>*/ caml_call1 (Stdlib_Domain[10][2], err_formatter_key), 0); - /*<>*/ } - /*<>*/ /*<>*/ caml_call1 + /*<>*/ } + /*<>*/ /*<>*/ caml_call1 (Stdlib[100], flush_standard_formatters); function _m_(param){ - /*<>*/ flush_standard_formatters(0); - /*<>*/ var - /*<>*/ fs = + /*<>*/ flush_standard_formatters(0); + /*<>*/ var + /*<>*/ fs = pp_get_formatter_out_functions(std_formatter, 0), _n_ = fs[5], _o_ = fs[4], _p_ = fs[3], _q_ = Stdlib[39]; - /*<>*/ pp_set_formatter_out_functions + /*<>*/ pp_set_formatter_out_functions (std_formatter, [0, function(_A_, _B_, _C_){ @@ -29181,14 +29215,14 @@ _p_, _o_, _n_]); - /*<>*/ var - /*<>*/ fs$0 = + /*<>*/ var + /*<>*/ fs$0 = pp_get_formatter_out_functions(err_formatter, 0), _r_ = fs$0[5], _s_ = fs$0[4], _t_ = fs$0[3], _u_ = Stdlib[40]; - /*<>*/ return pp_set_formatter_out_functions + /*<>*/ return pp_set_formatter_out_functions (err_formatter, [0, function(_w_, _x_, _y_){ @@ -29201,8 +29235,8 @@ _t_, _s_, _r_]); - /*<>*/ } - /*<>*/ /*<>*/ caml_call1 + /*<>*/ } + /*<>*/ /*<>*/ caml_call1 (Stdlib_Domain[5], _m_); var Stdlib_Format = @@ -29221,10 +29255,14 @@ open_hovbox, pp_print_string, print_string, + pp_print_substring, + print_substring, pp_print_bytes, print_bytes, pp_print_as, print_as, + pp_print_substring_as, + print_substring_as, pp_print_int, print_int, pp_print_float, diff --git a/runtime/runtime_events.js b/runtime/runtime_events.js index d3f2144fb8..dc3c016f4e 100644 --- a/runtime/runtime_events.js +++ b/runtime/runtime_events.js @@ -37,6 +37,11 @@ function caml_ml_runtime_events_resume() { return 0; } +//Provides: caml_ml_runtime_events_are_active +function caml_ml_runtime_events_are_active() { + return 0; +} + //Provides: caml_runtime_events_create_cursor function caml_runtime_events_create_cursor(target) { return {};