1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-04-30 11:50:28 +02:00
guile/module/language/tree-il
Mark H Weaver b56e084c77
Fix eta-conversion edge cases in peval.
Fixes <https://bugs.gnu.org/29520>.
Reported by Stefan Israelsson Tampe <stefan.itampe@gmail.com>.

* module/language/tree-il/peval.scm (peval)[lift-applied-lambda]: Before
performing eta-conversion, check that the variable(s) passed to the
inner 'apply' are not referenced from the inner lambda, and that the
number of required arguments would not be reduced by the conversion.
2018-03-15 23:22:26 -04:00
..
analyze.scm Add -Wmacro-use-before-definition 2016-06-25 18:08:28 +02:00
canonicalize.scm Inline escape-only prompt bodies in the Tree-IL 2013-08-11 16:45:31 +02:00
compile-cps.scm Avoid generating arity-adapting zero-value conts where possible 2017-12-01 11:01:39 +01:00
debug.scm <prompt> body and handler are lambdas; add escape-only? field 2013-07-06 20:27:21 +09:00
effects.scm with-dynamic-state compiler and VM support 2016-12-05 22:57:29 +01:00
fix-letrec.scm psyntax: Generate identifiers in a deterministic fashion. 2017-03-07 20:48:40 +01:00
optimize.scm Wire up `guild compile -O0 foo.scm' 2015-10-22 17:44:17 +00:00
peval.scm Fix eta-conversion edge cases in peval. 2018-03-15 23:22:26 -04:00
primitives.scm Use make-struct/no-tail instead of make-struct 2017-09-20 22:07:18 +02:00
spec.scm Rename CPS2 to CPS 2015-07-22 17:19:04 +02:00