comparison src/tag.sml @ 111:2d6116de9cca

Closure code generation almost there
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 12:06:47 -0400
parents 3739af9e727a
children 690d72c92a15
comparison
equal deleted inserted replaced
110:3739af9e727a 111:2d6116de9cca
164 end) newTags 164 end) newTags
165 in 165 in
166 (newDs @ [d], (env, count, tags)) 166 (newDs @ [d], (env, count, tags))
167 end 167 end
168 168
169 val (file, _) = ListUtil.foldlMapConcat doDecl (CoreEnv.empty, count, IM.empty) file 169 val (file, _) = ListUtil.foldlMapConcat doDecl (CoreEnv.empty, count+1, IM.empty) file
170 in 170 in
171 file 171 file
172 end 172 end
173 173
174 end 174 end