regression/id.sml

   1 (* id.sml *)
   2
   3 (* Checks parsing of identifiers. *)
   4
   5 val ? = {* = op*, + = op+}
   6 val op* = # * ?
   7 val op+ = # + ?;
   8
   9 type '& = ' list
  10 type t = int&
  11 type ''`` = ''
  12 type ('0,'_) == = '_`` &;
  13
  14 fun !x=x=x
  15 fun ''`x:''=(x=x;x);
  16
  17 infix v
  18 fun 3v? = 0
  19   | _v? = 1;