Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
212:ba4d7c33a45f 213:0343557355fc
956 let 956 let
957 val t = (CApp ((CModProj (tn, [], "table"), loc), c), loc) 957 val t = (CApp ((CModProj (tn, [], "table"), loc), c), loc)
958 in 958 in
959 pushENamedAs env x n t 959 pushENamedAs env x n t
960 end 960 end
961 | DClass (x, n, c) =>
962 let
963 val k = (KArrow ((KType, loc), (KType, loc)), loc)
964 val env = pushCNamedAs env x n k (SOME c)
965 in
966 pushClass env n
967 end
961 968
962 end 969 end