regression/pat.sml

   1 val c: int as d: int = 13
   2 val c: unit -> unit as d: unit -> unit = fn () => ()
   3 val c: 'a -> unit as d: 'a -> unit = fn _ => ()
   4
   5 val (f, hd::tail) = (fn x => x, [fn y => (y,y)])
   6
   7 val (s,_) = f (hd "hello world\n")
   8
   9 val _ = print (s)
  10
  11