Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/elab_env.sml Thu Jul 26 10:04:58 2012 -0400 +++ b/src/elab_env.sml Sun Jul 29 12:27:13 2012 -0400 @@ -1647,13 +1647,6 @@ in pushENamedAs env x n ct end - | DClass (x, n, k, c) => - let - val k = (KArrow (k, (KType, loc)), loc) - val env = pushCNamedAs env x n k (SOME c) - in - pushClass env n - end | DDatabase _ => env | DCookie (tn, x, n, c) => let