Mercurial > urweb

diff src/expl.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 0a5c312de09a
children c1e21ab42896
line wrap: on
line diff
--- a/src/expl.sml	Sun Jun 22 20:11:59 2008 -0400
+++ b/src/expl.sml	Thu Jun 26 08:54:49 2008 -0400
@@ -74,6 +74,7 @@
          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 @@
   | 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