Mercurial > urweb
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 |