Mercurial > urweb

comparison src/elab.sml @ 31:1c91c5e6840f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple signature matching
author Adam Chlipala <adamc@hcoop.net>
date Thu, 12 Jun 2008 17:16:20 -0400
parents 537db4ee89f4
children 44b5405e74c7
comparison
equal deleted inserted replaced
30:e6ccf961d8a3 31:1c91c5e6840f
78 78
79 | EError 79 | EError
80 80
81 withtype exp = exp' located 81 withtype exp = exp' located
82 82
83 datatype sgn_item' =
84 SgiConAbs of string * int * kind
85 | SgiCon of string * int * kind * con
86 | SgiVal of string * int * con
87 | SgiStr of string * int * sgn
88
89 and sgn' =
90 SgnConst of sgn_item list
91 | SgnVar of int
92 | SgnError
93
94 withtype sgn_item = sgn_item' located
95 and sgn = sgn' located
96
83 datatype decl' = 97 datatype decl' =
84 DCon of string * int * kind * con 98 DCon of string * int * kind * con
85 | DVal of string * int * con * exp 99 | DVal of string * int * con * exp
100 | DSgn of string * int * sgn
101 | DStr of string * int * sgn * str
102
103 and str' =
104 StrConst of decl list
105 | StrVar of int
106 | StrError
86 107
87 withtype decl = decl' located 108 withtype decl = decl' located
88 109 and str = str' located
110
89 type file = decl list 111 type file = decl list
90 112
91 end 113 end