Andy Wingo b275fb2691 separate peval and a new canonicalization pass into their own modules ... * module/language/tree-il/peval.scm: Move to its own file. Remove the bits about <prompt> thunk-application bodies, as they are not optimizations, simply expectations of the compiler. `canonicalize' handles that now. * module/language/tree-il/optimize.scm: Use peval from its module. Don't call `inline!', as that's useless now. * module/language/tree-il/canonicalize.scm: New file, implementing a pass that `compile-tree-il' runs on the result from the optimizer. The compiler currently expects a <let> form to have bindings, for example, and this pass turns a <let> without bindings into its body. * module/language/tree-il/inline.scm: Deprecate, as `peval' does everything this function ever did. * module/language/tree-il/compile-glil.scm: Canonicalize after optimizing. This should allow us to skip the optimizer entirely, if we want. * module/Makefile.am: Update and reorder a little bit.		2011-09-28 19:39:39 +02:00
..
analyze.scm	Use (ice-9 match) instead of `record-case' where it improves readability.	2011-09-06 00:18:36 +02:00
canonicalize.scm	separate peval and a new canonicalization pass into their own modules	2011-09-28 19:39:39 +02:00
compile-glil.scm	separate peval and a new canonicalization pass into their own modules	2011-09-28 19:39:39 +02:00
fix-letrec.scm	fix-letrec tweaks	2011-03-09 22:38:11 +01:00
inline.scm	separate peval and a new canonicalization pass into their own modules	2011-09-28 19:39:39 +02:00
optimize.scm	separate peval and a new canonicalization pass into their own modules	2011-09-28 19:39:39 +02:00
peval.scm	separate peval and a new canonicalization pass into their own modules	2011-09-28 19:39:39 +02:00
primitives.scm	peval: add support for <prompt> and <abort>	2011-09-28 00:13:55 +02:00
spec.scm	remove `version' field from <language>	2010-05-02 11:19:13 +02:00