Mercurial > urweb

comparison src/especialize.sml @ 444:f45f23ae20ed

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove _espec tag; add some tag fields
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 17:07:34 -0400
parents bd9ee9aeca2f
children 787d4931fb07
comparison
equal deleted inserted replaced
443:bd9ee9aeca2f 444:f45f23ae20ed
115 (ENamed f', ErrorMsg.dummySpan) xs' 115 (ENamed f', ErrorMsg.dummySpan) xs'
116 in 116 in
117 (#1 e', 117 (#1 e',
118 {maxName = #maxName st, 118 {maxName = #maxName st,
119 funcs = #funcs st, 119 funcs = #funcs st,
120 decls = (name, f', typ', body', tag ^ "_espec") :: #decls st}) 120 decls = (name, f', typ', body', tag) :: #decls st})
121 end 121 end
122 end 122 end
123 end 123 end
124 124
125 and specExp st = U.Exp.foldMap {kind = kind, con = con, exp = exp} st 125 and specExp st = U.Exp.foldMap {kind = kind, con = con, exp = exp} st