Import Upstream version 20180207
[hcoop/debian/mlton.git] / regression / 14.sml
1 datatype t = A | B
2 datatype u = C of t
3
4 val _ = if C A = C B then raise Fail "bug" else ()