regression/fail/infix.3.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 () = ()
  15 in
  16 end
  17
  18 (* error *)
  19 local
  20    fun () _ = ()
  21 in
  22 end
  23
  24 (* error *)
  25 local
  26    fun () _ _ = ()
  27 in
  28 end
  29
  30 (* error *)
  31 local
  32    fun () _ _ _ = ()
  33 in
  34 end
  35
  36 (* error *)
  37 local
  38    fun (f) = ()
  39 in
  40 end
  41
  42 (* error *)
  43 local
  44    fun (f) _ = ()
  45 in
  46 end
  47
  48 (* error *)
  49 local
  50    fun (f) _ _ = ()
  51 in
  52 end
  53
  54 (* error *)
  55 local
  56    fun (f) _ _ _ = ()
  57 in
  58 end