regression/fail/infix.4.sml

   1 infix  1  <!  <@
   2 infix  2 <!! <@@
   3 infixr 1  !>  @>
   4 infixr 2 !!> @@>
   5
   6 infix 0 &
   7 infix 9 &&
   8
   9 datatype ('a, 'b) t1 = & of 'a * 'b
  10 datatype ('a, 'b) t2 = && of 'a * 'b
  11
  12 (* error *)
  13 local
  14    fun _ f = ()
  15 in
  16 end
  17
  18 (* error *)
  19 local
  20    fun _ f _ = ()
  21 in
  22 end
  23
  24 (* error *)
  25 local
  26    fun (_ f _) = ()
  27 in
  28 end
  29
  30 (* error *)
  31 local
  32    fun (_ f _) _ = ()
  33 in
  34 end
  35
  36 (* error *)
  37 local
  38    fun _ f _ _ = ()
  39 in
  40 end