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 /src/explify.sml | |
parent | abd57cd85a78e243185e7c6f528b3f21344319ea (diff) |
Broaden unification context
Diffstat (limited to 'src/explify.sml')
-rw-r--r-- | src/explify.sml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/explify.sml b/src/explify.sml index 91accd81..0f416067 100644 --- a/src/explify.sml +++ b/src/explify.sml @@ -39,7 +39,7 @@ fun explifyKind (k, loc) = | L.KRecord k => (L'.KRecord (explifyKind k), loc) | L.KError => raise Fail ("explifyKind: KError at " ^ EM.spanToString loc) - | L.KUnif (_, ref (SOME k)) => explifyKind k + | L.KUnif (_, _, ref (SOME k)) => explifyKind k | L.KUnif _ => raise Fail ("explifyKind: KUnif at " ^ EM.spanToString loc) fun explifyCon (c, loc) = @@ -62,7 +62,7 @@ fun explifyCon (c, loc) = | L.CFold (dom, ran) => (L'.CFold (explifyKind dom, explifyKind ran), loc) | L.CError => raise Fail ("explifyCon: CError at " ^ EM.spanToString loc) - | L.CUnif (_, _, ref (SOME c)) => explifyCon c + | L.CUnif (_, _, _, ref (SOME c)) => explifyCon c | L.CUnif _ => raise Fail ("explifyCon: CUnif at " ^ EM.spanToString loc) fun explifyExp (e, loc) = |