diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-06-29 10:39:43 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-29 10:39:43 -0400 |
commit | d8ceac1d02caeffbe44865dfd2573863adc535ba (patch) | |
tree | 4d65fe41ebe08884d1e701a3caa3cd93b0698b18 /tests | |
parent | abd57cd85a78e243185e7c6f528b3f21344319ea (diff) |
Broaden unification context
Diffstat (limited to 'tests')
-rw-r--r-- | tests/broad_unif.lac | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/tests/broad_unif.lac b/tests/broad_unif.lac new file mode 100644 index 00000000..bebd9104 --- /dev/null +++ b/tests/broad_unif.lac @@ -0,0 +1,15 @@ +structure M = struct + type t = int + val f = fn x => x + val y = f 0 +end + +signature S = sig + type t + val f : t -> t +end + +structure M : S = struct + type t = int + val f = fn x => x +end |