Mercurial > urweb
comparison src/elab_env.sml @ 1797:bb942416bf1c
Remove 'class' declaration; now use 'con' instead
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 29 Jul 2012 12:27:13 -0400 |
parents | 0de0daab5fbb |
children | 1aa9629e3a4c |
comparison
equal
deleted
inserted
replaced
1796:0de0daab5fbb | 1797:bb942416bf1c |
---|---|
1645 val ct = (CModProj (tn, [], "sql_view"), loc) | 1645 val ct = (CModProj (tn, [], "sql_view"), loc) |
1646 val ct = (CApp (ct, c), loc) | 1646 val ct = (CApp (ct, c), loc) |
1647 in | 1647 in |
1648 pushENamedAs env x n ct | 1648 pushENamedAs env x n ct |
1649 end | 1649 end |
1650 | DClass (x, n, k, c) => | |
1651 let | |
1652 val k = (KArrow (k, (KType, loc)), loc) | |
1653 val env = pushCNamedAs env x n k (SOME c) | |
1654 in | |
1655 pushClass env n | |
1656 end | |
1657 | DDatabase _ => env | 1650 | DDatabase _ => env |
1658 | DCookie (tn, x, n, c) => | 1651 | DCookie (tn, x, n, c) => |
1659 let | 1652 let |
1660 val t = (CApp ((CModProj (tn, [], "cookie"), loc), c), loc) | 1653 val t = (CApp ((CModProj (tn, [], "cookie"), loc), c), loc) |
1661 in | 1654 in |