diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-01-26 17:26:14 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-01-26 17:26:14 -0500 |
| commit | 1469fd94659b3562ea7e3c180e0366194717a287 (patch) | |
| tree | 6a9e3d51ca7418b53b04aa4cbfbc9f779f2747fa /src/elaborate.sml | |
| parent | c3c7a475626786988f0a367fc3c20f903f3fcbba (diff) | |
Added simple expression constructors to Elab
Diffstat (limited to 'src/elaborate.sml')
| -rw-r--r-- | src/elaborate.sml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml index 3e2cac1b..6fca31b1 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -201,12 +201,12 @@ fun elabCon env (c, loc) = | L.CVar s => (case E.lookupC env s of - E.CNotBound => + E.NotBound => (conError env (UnboundCon (loc, s)); (cerror, kerror)) - | E.CRel (n, k) => + | E.Rel (n, k) => ((L'.CRel n, loc), k) - | E.CNamed (n, k) => + | E.Named (n, k) => ((L'.CNamed n, loc), k)) | L.CApp (c1, c2) => let |