regression/fail/infix.6.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
  13 (* defines <! *)
  14 local
  15    fun x <! y = ()
  16 in
  17    val _ = op <!
  18 end
  19
  20 (* error *)
  21 local
  22    fun x <! y z = ()
  23 in
  24 end
  25
  26 (* defines <! *)
  27 local
  28    fun (x <! y) = ()
  29 in
  30    val _ = op <!
  31 end
  32
  33 (* defines <! *)
  34 local
  35    fun (x <! y) z = ()
  36 in
  37    val _ = op <!
  38 end
  39
  40 (* error *)
  41 local
  42    fun <! <@ y = ()
  43 in
  44 end
  45
  46 (* error *)
  47 local
  48    fun <! <@ y z = ()
  49 in
  50 end
  51
  52 (* error *)
  53 local
  54    fun <! <@ y = ()
  55 in
  56 end
  57
  58 (* error *)
  59 local
  60    fun a <! <@ = ()
  61 in
  62 end
  63
  64 (* error *)
  65 local
  66    fun (a <! <@) = ()
  67 in
  68 end
  69
  70 (* defines <@ *)
  71 local
  72    fun op <! <@ y = ()
  73 in
  74    val _ = op <@
  75 end
  76
  77 (* error *)
  78 local
  79    fun op <! <@ y z = ()
  80 in
  81 end
  82
  83 (* defines <@ *)
  84 local
  85    fun (op <! <@ y) z = ()
  86 in
  87    val _ = op <@
  88 end
  89
  90 (* error *)
  91 local
  92    fun <! op <@ y = ()
  93 in
  94 end
  95
  96 (* error *)
  97 local
  98    fun (<! op <@ y) = ()
  99 in
 100 end
 101
 102 (* defines <@ *)
 103 local
 104    fun op <! op <@ y = ()
 105 in
 106    val _ = op <!
 107 end
 108
 109 (* defines <@ *)
 110 local
 111    fun op <! op <@ y z = ()
 112 in
 113    val _ = op <!
 114 end