Mercurial > urweb
comparison src/core_util.sig @ 482:9117a7bf229c
Especialize working reasonably well; need to add new closure representation pass
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 09 Nov 2008 11:53:52 -0500 |
parents | ffa18975e661 |
children | 685b41e85634 |
comparison
equal
deleted
inserted
replaced
481:2280193bf298 | 482:9117a7bf229c |
---|---|
173 exp : 'context -> Core.exp' -> Core.exp', | 173 exp : 'context -> Core.exp' -> Core.exp', |
174 decl : 'context -> Core.decl' -> Core.decl', | 174 decl : 'context -> Core.decl' -> Core.decl', |
175 bind : 'context * binder -> 'context} | 175 bind : 'context * binder -> 'context} |
176 -> 'context -> Core.file -> Core.file | 176 -> 'context -> Core.file -> Core.file |
177 | 177 |
178 val map : {kind : Core.kind' -> Core.kind', | |
179 con : Core.con' -> Core.con', | |
180 exp : Core.exp' -> Core.exp', | |
181 decl : Core.decl' -> Core.decl'} | |
182 -> Core.file -> Core.file | |
183 | |
178 val fold : {kind : Core.kind' * 'state -> 'state, | 184 val fold : {kind : Core.kind' * 'state -> 'state, |
179 con : Core.con' * 'state -> 'state, | 185 con : Core.con' * 'state -> 'state, |
180 exp : Core.exp' * 'state -> 'state, | 186 exp : Core.exp' * 'state -> 'state, |
181 decl : Core.decl' * 'state -> 'state} | 187 decl : Core.decl' * 'state -> 'state} |
182 -> 'state -> Core.file -> 'state | 188 -> 'state -> Core.file -> 'state |