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