regression/fail/dec.sml

   1 fun F.f () = ()
   2
   3 fun f = ()
   4
   5 fun f _ = ()
   6   | f _ _ = ()
   7
   8 fun f _ = ()
   9   | g _ = ()
  10   | h _ = ()
  11
  12 fun f (): bool = 13
  13
  14 fun f (_: bool) = ()
  15   | f (_: int) = ()
  16
  17 fun f (): int = 13
  18   | f (): bool = true
  19
  20 fun f (x: int) = f true
  21
  22 val 'a x: 'a -> 'a = (fn y => y) (fn z => z)
  23
  24 val rec (x: int) = fn z => z
  25
  26 val x: int = true