diff options
Diffstat (limited to 'testsuite/tests/typing-warnings/ambiguous_guarded_disjunction.ml')
-rw-r--r-- | testsuite/tests/typing-warnings/ambiguous_guarded_disjunction.ml | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/testsuite/tests/typing-warnings/ambiguous_guarded_disjunction.ml b/testsuite/tests/typing-warnings/ambiguous_guarded_disjunction.ml index 0250841e91..eff6a73aec 100644 --- a/testsuite/tests/typing-warnings/ambiguous_guarded_disjunction.ml +++ b/testsuite/tests/typing-warnings/ambiguous_guarded_disjunction.ml @@ -1,6 +1,6 @@ (* TEST - flags = " -w +A -strict-sequence " - * expect + flags = " -w +A -strict-sequence "; + expect; *) (* Ignore OCAMLRUNPARAM=b to be reproducible *) @@ -30,7 +30,7 @@ Line 2, characters 4-29: Warning 57 [ambiguous-var-in-pattern-guard]: Ambiguous or-pattern variables under guard; variable x appears in different places in different or-pattern alternatives. Only the first match will be used to evaluate the guard expression. -(See manual section 13.5) +(see manual section 13.5.4) val ambiguous_typical_example : expr * expr -> unit = <fun> |}] @@ -100,7 +100,7 @@ Line 2, characters 4-43: Warning 57 [ambiguous-var-in-pattern-guard]: Ambiguous or-pattern variables under guard; variable y appears in different places in different or-pattern alternatives. Only the first match will be used to evaluate the guard expression. -(See manual section 13.5) +(see manual section 13.5.4) val ambiguous__y : [> `B of 'a * bool option * bool option ] -> unit = <fun> |}] @@ -134,7 +134,7 @@ Line 2, characters 4-43: Warning 57 [ambiguous-var-in-pattern-guard]: Ambiguous or-pattern variables under guard; variable y appears in different places in different or-pattern alternatives. Only the first match will be used to evaluate the guard expression. -(See manual section 13.5) +(see manual section 13.5.4) val ambiguous__x_y : [> `B of 'a * 'a option * 'a option ] -> unit = <fun> |}] @@ -150,7 +150,7 @@ Line 2, characters 4-43: Warning 57 [ambiguous-var-in-pattern-guard]: Ambiguous or-pattern variables under guard; variables y, z appear in different places in different or-pattern alternatives. Only the first match will be used to evaluate the guard expression. -(See manual section 13.5) +(see manual section 13.5.4) val ambiguous__x_y_z : [> `B of 'a * 'a option * 'a option ] -> unit = <fun> |}] @@ -184,7 +184,7 @@ Line 2, characters 4-40: Warning 57 [ambiguous-var-in-pattern-guard]: Ambiguous or-pattern variables under guard; variable x appears in different places in different or-pattern alternatives. Only the first match will be used to evaluate the guard expression. -(See manual section 13.5) +(see manual section 13.5.4) val ambiguous__in_depth : [> `A of [> `B of bool option * bool option ] ] -> unit = <fun> @@ -218,7 +218,7 @@ Lines 2-3, characters 4-58: Warning 57 [ambiguous-var-in-pattern-guard]: Ambiguous or-pattern variables under guard; variable x appears in different places in different or-pattern alternatives. Only the first match will be used to evaluate the guard expression. -(See manual section 13.5) +(see manual section 13.5.4) val ambiguous__first_orpat : [> `A of @@ -239,7 +239,7 @@ Lines 2-3, characters 4-42: Warning 57 [ambiguous-var-in-pattern-guard]: Ambiguous or-pattern variables under guard; variable y appears in different places in different or-pattern alternatives. Only the first match will be used to evaluate the guard expression. -(See manual section 13.5) +(see manual section 13.5.4) val ambiguous__second_orpat : [> `A of @@ -335,7 +335,7 @@ Lines 2-3, characters 2-17: Warning 57 [ambiguous-var-in-pattern-guard]: Ambiguous or-pattern variables under guard; variables x, y appear in different places in different or-pattern alternatives. Only the first match will be used to evaluate the guard expression. -(See manual section 13.5) +(see manual section 13.5.4) val ambiguous__amoi : amoi -> int = <fun> |}] @@ -358,7 +358,7 @@ Lines 2-3, characters 4-24: Warning 57 [ambiguous-var-in-pattern-guard]: Ambiguous or-pattern variables under guard; variable M appears in different places in different or-pattern alternatives. Only the first match will be used to evaluate the guard expression. -(See manual section 13.5) +(see manual section 13.5.4) val ambiguous__module_variable : (module S) * (module S) * (int * int) -> bool -> int = <fun> @@ -411,7 +411,7 @@ Line 2, characters 4-56: Warning 57 [ambiguous-var-in-pattern-guard]: Ambiguous or-pattern variables under guard; variables x, y appear in different places in different or-pattern alternatives. Only the first match will be used to evaluate the guard expression. -(See manual section 13.5) +(see manual section 13.5.4) val ambiguous_xy_but_not_ambiguous_z : (int -> int -> bool) -> t2 -> int = <fun> @@ -447,7 +447,7 @@ Line 2, characters 4-56: Warning 57 [ambiguous-var-in-pattern-guard]: Ambiguous or-pattern variables under guard; variables x, y appear in different places in different or-pattern alternatives. Only the first match will be used to evaluate the guard expression. -(See manual section 13.5) +(see manual section 13.5.4) val ambiguous_xy_but_not_ambiguous_z : (int -> int -> bool) -> t2 -> int = <fun> @@ -509,7 +509,7 @@ Line 3, characters 4-29: Warning 57 [ambiguous-var-in-pattern-guard]: Ambiguous or-pattern variables under guard; variable y appears in different places in different or-pattern alternatives. Only the first match will be used to evaluate the guard expression. -(See manual section 13.5) +(see manual section 13.5.4) val guarded_ambiguity : expr * expr -> unit = <fun> |}] @@ -541,7 +541,7 @@ Line 4, characters 4-29: Warning 57 [ambiguous-var-in-pattern-guard]: Ambiguous or-pattern variables under guard; variable x appears in different places in different or-pattern alternatives. Only the first match will be used to evaluate the guard expression. -(See manual section 13.5) +(see manual section 13.5.4) val cmp : (a -> bool) -> a alg -> a alg -> unit = <fun> |}] |