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.sml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/expl.sml')

diff --git a/src/expl.sml b/src/expl.sml
index 49633d27..8e9bdfed 100644
--- a/src/expl.sml
+++ b/src/expl.sml
@@ -74,6 +74,7 @@ datatype sgn_item' =
          SgiConAbs of string * int * kind
        | SgiCon of string * int * kind * con
        | SgiVal of string * int * con
+       | SgiSgn of string * int * sgn
        | SgiStr of string * int * sgn
 
 and sgn' =
@@ -81,6 +82,7 @@ and sgn' =
   | SgnVar of int
   | SgnFun of string * int * sgn * sgn
   | SgnWhere of sgn * string * con
+  | SgnProj of int * string list * string
 
 withtype sgn_item = sgn_item' located
 and sgn = sgn' located
-- 
cgit v1.2.3