<dynwind> no longer has "pre" or "post" fields
authorAndy Wingo <wingo@pobox.com>
Sun, 16 Jun 2013 13:06:59 +0000 (15:06 +0200)
committerAndy Wingo <wingo@pobox.com>
Sun, 16 Jun 2013 14:51:28 +0000 (16:51 +0200)
commit9b965638e9e6cfe927807dbacc86212cc638967b
tree0e3293d96232e822fa92b5966d7afd570df9c8df
parente6450062a19bf5d0072d117b69be95c2641c23ab
<dynwind> no longer has "pre" or "post" fields

* module/language/tree-il.scm (<tree-il>): Remove pre and post fields
  from <dynwind>.  A dynwind now assumes that in normal entry and exit,
  that the code runs the winders and unwinders using <seq> and
  <let-values> and such things.
  (parse-tree-il, unparse-tree-il, make-tree-il-folder, pre-post-order):
  Adapt <dynwind> users.

* module/language/tree-il/analyze.scm (analyze-lexicals):
* module/language/tree-il/compile-glil.scm (flatten-lambda-case):
* module/language/tree-il/cse.scm (cse):
* module/language/tree-il/debug.scm (verify-tree-il):
* module/language/tree-il/effects.scm (make-effects-analyzer): Adapt.

* module/language/tree-il/peval.scm (peval):
* module/language/tree-il/primitives.scm (*primitive-expand-table*):
  Produce tree-il that calls the winder and unwinder.  Recognize
  singly-valued dynamic-wind expressions.

* test-suite/tests/peval.test ("partial evaluation"): Add tests.
module/language/tree-il.scm
module/language/tree-il/analyze.scm
module/language/tree-il/compile-glil.scm
module/language/tree-il/cse.scm
module/language/tree-il/debug.scm
module/language/tree-il/effects.scm
module/language/tree-il/peval.scm
module/language/tree-il/primitives.scm
test-suite/tests/peval.test