(* TEST
   ocamlc_byte_exit_status = "2"
   * setup-ocamlc.byte-build-env
   ** ocamlc.byte
   *** check-ocamlc.byte-output
*)

(* Allowed. *)
type t =
    A of int
  | B of bool

(* Allowed. *)
type u =
  | A of int
  | B of bool

(* Allowed. *)
type v = |

(* Disallowed, but was allowed in 4.07. *)
type w =
  |
  | A of int
  | B of bool