comparison tests/broad_unif.lac @ 76:522f4bd3955e
Broaden unification context
| author |
Adam Chlipala <adamc@hcoop.net> |
| date |
Sun, 29 Jun 2008 10:39:43 -0400 |
| parents |
|
| children |
|
comparison
equal
deleted
inserted
replaced
| |
1 structure M = struct |
| |
2 type t = int |
| |
3 val f = fn x => x |
| |
4 val y = f 0 |
| |
5 end |
| |
6 |
| |
7 signature S = sig |
| |
8 type t |
| |
9 val f : t -> t |
| |
10 end |
| |
11 |
| |
12 structure M : S = struct |
| |
13 type t = int |
| |
14 val f = fn x => x |
| |
15 end |
