[hcoop/debian/mlton.git] / regression / fail / dec.sml

fun F.f () = ()

fun f = ()

fun f _ = ()
  | f _ _ = ()

fun f _ = ()
  | g _ = ()
  | h _ = ()

fun f (): bool = 13

fun f (_: bool) = ()
  | f (_: int) = ()

fun f (): int = 13
  | f (): bool = true

fun f (x: int) = f true

val 'a x: 'a -> 'a = (fn y => y) (fn z => z)

val rec (x: int) = fn z => z

val x: int = true
Commit	Line	Data
7f918cf1 CE	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