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

(* overloading.sml *)

(* Checks overloading resolution. *)

val z = 1: Int16.int
val y = z + 2
val x = (valOf Int16.minInt) + z

fun f(x,y) = (x + y)/y
fun g(x,y) = x + (y/y)

signature S = sig end

val x = f(1.2, 2.3) + g(1.0, 2.0);

fun f x =
x + let
        fun g() = x
    in
        g() * 2.0
    end;


(* Checks each overloaded operator at each type. *)
Commit	Line	Data
7f918cf1 CE	1	(* overloading.sml *)
	2
	3	(* Checks overloading resolution. *)
	4
	5	val z = 1: Int16.int
	6	val y = z + 2
	7	val x = (valOf Int16.minInt) + z
	8
	9	fun f(x,y) = (x + y)/y
	10	fun g(x,y) = x + (y/y)
	11
	12	signature S = sig end
	13
	14	val x = f(1.2, 2.3) + g(1.0, 2.0);
	15
	16	fun f x =
	17	x + let
	18	fun g() = x
	19	in
	20	g() * 2.0
	21	end;
	22
	23
	24	(* Checks each overloaded operator at each type. *)