diff options
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/pervasives.ml | 9 | ||||
| -rw-r--r-- | stdlib/pervasives.mli | 8 |
2 files changed, 8 insertions, 9 deletions
diff --git a/stdlib/pervasives.ml b/stdlib/pervasives.ml index f24ed976a..7c28eb369 100644 --- a/stdlib/pervasives.ml +++ b/stdlib/pervasives.ml @@ -599,11 +599,10 @@ type ('a, 'b, 'c, 'd, 'e, 'f) fmtty = | Bool_ty : (* %B *) ('a, 'b, 'c, 'd, 'e, 'f) fmtty -> (bool -> 'a, 'b, 'c, 'd, 'e, 'f) fmtty - | Format_arg_ty : (* %{...%} *) - ('x, 'b, 'c, 'q, 'r, 'u) fmtty * + ('g, 'h, 'i, 'j, 'k, 'l) fmtty * ('a, 'b, 'c, 'd, 'e, 'f) fmtty -> - (('x, 'b, 'c, 'q, 'r, 'u) format6 -> 'a, 'b, 'c, 'd, 'e, 'f) fmtty + (('g, 'h, 'i, 'j, 'k, 'l) format6 -> 'a, 'b, 'c, 'd, 'e, 'f) fmtty | Format_subst_ty : (* %(...%) *) ('d1, 'q1, 'd2, 'q2) reader_nb_unifier * ('x, 'b, 'c, 'd1, 'q1, 'u) fmtty * @@ -680,9 +679,9 @@ and ('a, 'b, 'c, 'd, 'e, 'f) fmt = ('a, 'b, 'c, 'd, 'e, 'f) fmt | Format_arg : (* %{...%} *) - pad_option * ('x, 'b, 'c, 'q, 'r, 'u) fmtty * + pad_option * ('g, 'h, 'i, 'j, 'k, 'l) fmtty * ('a, 'b, 'c, 'd, 'e, 'f) fmt -> - (('x, 'b, 'c, 'q, 'r, 'u) format6 -> 'a, 'b, 'c, 'd, 'e, 'f) fmt + (('g, 'h, 'i, 'j, 'k, 'l) format6 -> 'a, 'b, 'c, 'd, 'e, 'f) fmt | Format_subst : (* %(...%) *) pad_option * ('d1, 'q1, 'd2, 'q2) reader_nb_unifier * ('x, 'b, 'c, 'd1, 'q1, 'u) fmtty * diff --git a/stdlib/pervasives.mli b/stdlib/pervasives.mli index d2cc76d32..09af424e7 100644 --- a/stdlib/pervasives.mli +++ b/stdlib/pervasives.mli @@ -1047,8 +1047,8 @@ module CamlinternalFormatBasics : sig ('a, 'b, 'c, 'd, 'e, 'f) fmtty -> (bool -> 'a, 'b, 'c, 'd, 'e, 'f) fmtty | Format_arg_ty : - ('x, 'b, 'c, 'q, 'r, 'u) fmtty * ('a, 'b, 'c, 'd, 'e, 'f) fmtty -> - (('x, 'b, 'c, 'q, 'r, 'u) format6 -> 'a, 'b, 'c, 'd, 'e, 'f) fmtty + ('g, 'h, 'i, 'j, 'k, 'l) fmtty * ('a, 'b, 'c, 'd, 'e, 'f) fmtty -> + (('g, 'h, 'i, 'j, 'k, 'l) format6 -> 'a, 'b, 'c, 'd, 'e, 'f) fmtty | Format_subst_ty : ('d1, 'q1, 'd2, 'q2) reader_nb_unifier * ('x, 'b, 'c, 'd1, 'q1, 'u) fmtty * @@ -1115,9 +1115,9 @@ module CamlinternalFormatBasics : sig char * ('a, 'b, 'c, 'd, 'e, 'f) fmt -> ('a, 'b, 'c, 'd, 'e, 'f) fmt | Format_arg : - pad_option * ('x, 'b, 'c, 'q, 'r, 'u) fmtty * + pad_option * ('g, 'h, 'i, 'j, 'k, 'l) fmtty * ('a, 'b, 'c, 'd, 'e, 'f) fmt -> - (('x, 'b, 'c, 'q, 'r, 'u) format6 -> 'a, 'b, 'c, 'd, 'e, 'f) fmt + (('g, 'h, 'i, 'j, 'k, 'l) format6 -> 'a, 'b, 'c, 'd, 'e, 'f) fmt | Format_subst : pad_option * ('d1, 'q1, 'd2, 'q2) reader_nb_unifier * ('x, 'b, 'c, 'd1, 'q1, 'u) fmtty * |