Mercurial > urweb

diff src/elab_env.sml @ 213:0343557355fc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Explifying type classes
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 Aug 2008 14:45:23 -0400
parents e86411f647c6
children 38b299373676
line wrap: on
line diff
--- a/src/elab_env.sml	Sat Aug 16 14:36:17 2008 -0400
+++ b/src/elab_env.sml	Sat Aug 16 14:45:23 2008 -0400
@@ -958,5 +958,12 @@
         in
             pushENamedAs env x n t
         end
+      | DClass (x, n, c) =>
+        let
+            val k = (KArrow ((KType, loc), (KType, loc)), loc)
+            val env = pushCNamedAs env x n k (SOME c)
+        in
+            pushClass env n
+        end
 
 end