Mercurial > urweb

diff src/expl_env.sml @ 64:d609820c5834

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proper hiding of shadowed bindings in principal signatures
author Adam Chlipala <adamc@hcoop.net>
date Thu, 26 Jun 2008 08:54:49 -0400
parents d3cc191cb25f
children f0f59e918cac
line wrap: on
line diff
--- a/src/expl_env.sml	Sun Jun 22 20:11:59 2008 -0400
+++ b/src/expl_env.sml	Thu Jun 26 08:54:49 2008 -0400
@@ -249,6 +249,7 @@
         SgiConAbs (x, n, k) => pushCNamed env x n k NONE
       | SgiCon (x, n, k, c) => pushCNamed env x n k (SOME c)
       | SgiVal (x, n, t) => pushENamed env x n t
+      | SgiSgn (x, n, sgn) => pushSgnNamed env x n sgn
       | SgiStr (x, n, sgn) => pushStrNamed env x n sgn
 
 end