[hcoop/debian/mlton.git] / regression / mlton.overload.sml

(* Checks overload declarations. *)

fun f (x: int) = x
fun g (x: word) = x

_overload f: 'a -> 'a as f and g

val _ = f 1
val _ = f 0w1
Commit	Line	Data
7f918cf1 CE	1	(* Checks overload declarations. *)
	2
	3	fun f (x: int) = x
	4	fun g (x: word) = x
	5
	6	_overload f: 'a -> 'a as f and g
	7
	8	val _ = f 1
	9	val _ = f 0w1