[hcoop/debian/mlton.git] / regression / fail / overloading-context.1.sml

(* This must fail, because the overloading context can be no larger than the
 * smallest enclosing strdec.  So, the declaration of double must be resolved
 * (with type int -> int) before continuing.
 *)
structure S =
   struct
      fun double x = x + x
   end
val _ = S.double 2.0
Commit	Line	Data
7f918cf1 CE	1	(* This must fail, because the overloading context can be no larger than the
	2	* smallest enclosing strdec. So, the declaration of double must be resolved
	3	* (with type int -> int) before continuing.
	4	*)
	5	structure S =
	6	struct
	7	fun double x = x + x
	8	end
	9	val _ = S.double 2.0