Mercurial > urweb
comparison src/elab_env.sml @ 704:70cbdcf5989b
UNIQUE constraints
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 07 Apr 2009 12:24:31 -0400 |
parents | f0224c7f12bb |
children | e6706a1df013 |
comparison
equal
deleted
inserted
replaced
703:a5d8b470d7ca | 704:70cbdcf5989b |
---|---|
1530 | DSgn (x, n, sgn) => pushSgnNamedAs env x n sgn | 1530 | DSgn (x, n, sgn) => pushSgnNamedAs env x n sgn |
1531 | DStr (x, n, sgn, _) => pushStrNamedAs env x n sgn | 1531 | DStr (x, n, sgn, _) => pushStrNamedAs env x n sgn |
1532 | DFfiStr (x, n, sgn) => pushStrNamedAs env x n sgn | 1532 | DFfiStr (x, n, sgn) => pushStrNamedAs env x n sgn |
1533 | DConstraint _ => env | 1533 | DConstraint _ => env |
1534 | DExport _ => env | 1534 | DExport _ => env |
1535 | DTable (tn, x, n, c) => | 1535 | DTable (tn, x, n, c, _) => |
1536 let | 1536 let |
1537 val t = (CApp ((CModProj (tn, [], "sql_table"), loc), c), loc) | 1537 val t = (CApp ((CModProj (tn, [], "sql_table"), loc), c), loc) |
1538 in | 1538 in |
1539 pushENamedAs env x n t | 1539 pushENamedAs env x n t |
1540 end | 1540 end |