From aabe8dd88a80467442826e460e6b01f0dad2fb4d Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 26 Jun 2008 08:54:49 -0400
Subject: Proper hiding of shadowed bindings in principal signatures

---
 src/expl_env.sml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/expl_env.sml')

diff --git a/src/expl_env.sml b/src/expl_env.sml
index b1bea90b..ad4ec00b 100644
--- a/src/expl_env.sml
+++ b/src/expl_env.sml
@@ -249,6 +249,7 @@ fun sgiBinds env (sgi, _) =
         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
-- 
cgit v1.2.3