Mercurial > urweb

comparison src/elab.sml @ 59:abb2b32c19fb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Subsignatures
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 19:10:38 -0400
parents 0a5c312de09a
children 9f89f0b00b84
comparison
equal deleted inserted replaced
58:fd8a81ecd598 59:abb2b32c19fb
85 datatype sgn_item' = 85 datatype sgn_item' =
86 SgiConAbs of string * int * kind 86 SgiConAbs of string * int * kind
87 | SgiCon of string * int * kind * con 87 | SgiCon of string * int * kind * con
88 | SgiVal of string * int * con 88 | SgiVal of string * int * con
89 | SgiStr of string * int * sgn 89 | SgiStr of string * int * sgn
90 | SgiSgn of string * int * sgn
90 91
91 and sgn' = 92 and sgn' =
92 SgnConst of sgn_item list 93 SgnConst of sgn_item list
93 | SgnVar of int 94 | SgnVar of int
94 | SgnFun of string * int * sgn * sgn 95 | SgnFun of string * int * sgn * sgn
95 | SgnWhere of sgn * string * con 96 | SgnWhere of sgn * string * con
97 | SgnProj of int * string list * string
96 | SgnError 98 | SgnError
97 99
98 withtype sgn_item = sgn_item' located 100 withtype sgn_item = sgn_item' located
99 and sgn = sgn' located 101 and sgn = sgn' located
100 102