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

(* This program must fail because the semicolon means that the declarations
 * must be treated as two topdecs, not a single topdec leading to two strdec's.
 * This follows from the restriction on page 14 of the Definition that states
 * "No topdec may contain as an initial segment, a strdec followed by a
 *  semicolon"
 *)
fun double x = x + x;
val y = double 2.0
Commit	Line	Data
7f918cf1 CE	1	(* This program must fail because the semicolon means that the declarations
	2	* must be treated as two topdecs, not a single topdec leading to two strdec's.
	3	* This follows from the restriction on page 14 of the Definition that states
	4	* "No topdec may contain as an initial segment, a strdec followed by a
	5	* semicolon"
	6	*)
	7	fun double x = x + x;
	8	val y = double 2.0