regression/fail/infix.5.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 (* defines <! *)
  13 local
  14    fun op <! (x, y) = ()
  15 in
  16    val _ = op <!
  17 end
  18
  19 (* defines <! *)
  20 local
  21    fun op <! (x, y) z = ()
  22 in
  23    val _ = op <!
  24 end
  25
  26 (* error *)
  27 local
  28    fun (op <!) (x, y) = ()
  29 in
  30 end
  31
  32 (* error *)
  33 local
  34    fun (op <!) (x, y) z = ()
  35 in
  36 end
  37
  38 (* error? *)
  39 local
  40    fun (op <! (x, y)) = ()
  41 in
  42 end
  43
  44 (* error? *)
  45 local
  46    fun (op <! (x, y)) z = ()
  47 in
  48 end
  49
  50 (* error *)
  51 local
  52    fun <! (x, y) = ()
  53 in
  54 end
  55
  56 (* error *)
  57 local
  58    fun <! (x, y) z = ()
  59 in
  60 end
  61
  62 (* error *)
  63 local
  64    fun (<! (x, y)) = ()
  65 in
  66 end
  67
  68 (* error *)
  69 local
  70    fun (<! (x, y)) z = ()
  71 in
  72 end