Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
63:c5a503ad0d8c 64:d609820c5834
72 72
73 datatype sgn_item' = 73 datatype sgn_item' =
74 SgiConAbs of string * int * kind 74 SgiConAbs of string * int * kind
75 | SgiCon of string * int * kind * con 75 | SgiCon of string * int * kind * con
76 | SgiVal of string * int * con 76 | SgiVal of string * int * con
77 | SgiSgn of string * int * sgn
77 | SgiStr of string * int * sgn 78 | SgiStr of string * int * sgn
78 79
79 and sgn' = 80 and sgn' =
80 SgnConst of sgn_item list 81 SgnConst of sgn_item list
81 | SgnVar of int 82 | SgnVar of int
82 | SgnFun of string * int * sgn * sgn 83 | SgnFun of string * int * sgn * sgn
83 | SgnWhere of sgn * string * con 84 | SgnWhere of sgn * string * con
85 | SgnProj of int * string list * string
84 86
85 withtype sgn_item = sgn_item' located 87 withtype sgn_item = sgn_item' located
86 and sgn = sgn' located 88 and sgn = sgn' located
87 89
88 datatype decl' = 90 datatype decl' =