================================================================================
union case field with an unparenthesised function type
:error
================================================================================

type B = | A of int -> int

--------------------------------------------------------------------------------

================================================================================
exception field with an unparenthesised function type
:error
================================================================================

exception Bar of int -> int

--------------------------------------------------------------------------------

================================================================================
empty type parameter list
:error
================================================================================

type T<> = class end

--------------------------------------------------------------------------------

