diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-10-14 17:18:59 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-14 17:18:59 -0400 |
| commit | ed10a428abc7be47f8cce83db8dc64ac3cb6e84b (patch) | |
| tree | b7617266b4a9f49dec81d71cdb6c762172f706d6 /src/elaborate.sml | |
| parent | 8f64fda22cf9820a07c251acf755e14c836020a8 (diff) | |
Reusable column handlers for Crud
Diffstat (limited to 'src/elaborate.sml')
| -rw-r--r-- | src/elaborate.sml | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml index b2d1f958..035b95f6 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -2167,8 +2167,15 @@ fun subSgn (env, denv) sgn1 (sgn2 as (_, loc2)) = | (L'.SgnConst sgis1, L'.SgnConst sgis2) => let + (*val () = prefaces "subSgn" [("sgn1", p_sgn env sgn1), + ("sgn2", p_sgn env sgn2), + ("sgis1", p_sgn env (L'.SgnConst sgis1, loc2)), + ("sgis2", p_sgn env (L'.SgnConst sgis2, loc2))]*) + fun folder (sgi2All as (sgi, loc), (env, denv)) = let + (*val () = prefaces "folder" [("sgis1", p_sgn env (L'.SgnConst sgis1, loc2))]*) + fun seek p = let fun seek (env, denv) ls = @@ -2358,7 +2365,9 @@ fun subSgn (env, denv) sgn1 (sgn2 as (_, loc2)) = case sgi1 of L'.SgiVal (x', n1, c1) => if x = x' then - (case unifyCons (env, denv) c1 c2 of + ((*prefaces "Pre" [("c1", p_con env c1), + ("c2", p_con env c2)];*) + case unifyCons (env, denv) c1 c2 of [] => SOME (env, denv) | _ => NONE) handle CUnify (c1, c2, err) => @@ -2846,7 +2855,7 @@ fun elabDecl (dAll as (d, loc), (env, denv, gs : constraint list)) = val c' = makeInstantiable c' in (*prefaces "DVal" [("x", Print.PD.string x), - ("c'", p_con env c')];*) + ("c'", p_con env c')];*) ([(L'.DVal (x, n, c', e'), loc)], (env', denv, enD gs1 @ gs2 @ enD gs3 @ enD gs4 @ gs)) end | L.DValRec vis => |