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

datatype t = A | B
datatype u = C of t

val _ = if C A = C B then raise Fail "bug" else ()
Commit	Line	Data
7f918cf1 CE	1	datatype t = A \| B
	2	datatype u = C of t
	3
	4	val _ = if C A = C B then raise Fail "bug" else ()