Mercurial > urweb

comparison src/elab_env.sml @ 1797:bb942416bf1c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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