[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Guile-commits] 07/10: Beta reduction over first-order CPS
From: |
Andy Wingo |
Subject: |
[Guile-commits] 07/10: Beta reduction over first-order CPS |
Date: |
Thu, 16 Jul 2015 08:06:28 +0000 |
wingo pushed a commit to branch master
in repository guile.
commit 099784ca9178c441eaf03a37349c463b75b57523
Author: Andy Wingo <address@hidden>
Date: Thu Jul 16 07:32:52 2015 +0200
Beta reduction over first-order CPS
* module/language/cps2/simplify.scm (beta-reduce): Handle $closure.
---
module/language/cps2/simplify.scm | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/module/language/cps2/simplify.scm
b/module/language/cps2/simplify.scm
index b87b044..19d7a17 100644
--- a/module/language/cps2/simplify.scm
+++ b/module/language/cps2/simplify.scm
@@ -238,7 +238,7 @@
(build-term
($continue k src
,(rewrite-exp exp
- ((or ($ $const) ($ $prim) ($ $fun) ($ $rec))
+ ((or ($ $const) ($ $prim) ($ $fun) ($ $rec) ($ $closure))
,exp)
(($ $call proc args)
($call (subst proc) ,(map subst args)))
- [Guile-commits] branch master updated (981802c -> 90aabcc), Andy Wingo, 2015/07/16
- [Guile-commits] 01/10: closure-conversion docstring tweak, Andy Wingo, 2015/07/16
- [Guile-commits] 02/10: CPS2 closure conversion bugfixes, Andy Wingo, 2015/07/16
- [Guile-commits] 03/10: Enable CPS2 closure conversion, Andy Wingo, 2015/07/16
- [Guile-commits] 04/10: Prepare DCE pass for first-order CPS2, Andy Wingo, 2015/07/16
- [Guile-commits] 06/10: DCE works on first-order CPS, Andy Wingo, 2015/07/16
- [Guile-commits] 05/10: compute-reachable-functions refactor, Andy Wingo, 2015/07/16
- [Guile-commits] 10/10: Fix type/range inference for mul, Andy Wingo, 2015/07/16
- [Guile-commits] 07/10: Beta reduction over first-order CPS,
Andy Wingo <=
- [Guile-commits] 08/10: Optimize first-order CPS, Andy Wingo, 2015/07/16
- [Guile-commits] 09/10: Remove CPS optimization passes and closure conversion, Andy Wingo, 2015/07/16