regression/fail/special-ids.1.sml

   1 signature SIG1 =
   2    sig
   3       datatype t = ref of unit
   4       exception true
   5       val false : int
   6    end
   7 signature SIG2 =
   8    sig
   9       datatype t = it of unit
  10    end
  11 signature SIG3 =
  12    sig
  13       exception it
  14    end
  15 signature SIG4 =
  16    sig
  17       (* correct *)
  18       val it : int
  19    end
  20
  21 local
  22 datatype t = op:: of unit | nil of unit
  23 exception false
  24 datatype u = it of unit
  25 exception it
  26 in end
  27
  28 local
  29 fun ref z = z
  30 in end
  31 local
  32 val rec ref = fn z => z
  33 in end
  34 local
  35 fun true z = z
  36 in end
  37 local
  38 val rec true = fn z => z
  39 in end
  40 local
  41 fun op:: z = z
  42 in end
  43 local
  44 val rec op:: = fn z => z
  45 in end
  46 local
  47 (* correct *)
  48 val rec it = fn z => z
  49 in end
  50 local
  51 (* correct *)
  52 fun it z = z
  53 in end