Mark H Weaver
26d148066f
Merge remote-tracking branch 'origin/stable-2.0'
...
Conflicts:
configure.ac
libguile/deprecated.c
libguile/deprecated.h
libguile/filesys.h
libguile/fluids.c
libguile/fports.c
libguile/gc.c
libguile/guile.c
libguile/numbers.c
libguile/objcodes.c
libguile/r6rs-ports.c
libguile/smob.c
libguile/socket.c
libguile/threads.h
module/language/scheme/decompile-tree-il.scm
module/language/tree-il/peval.scm
test-suite/tests/syncase.test
2013-03-28 05:09:53 -04:00
Andy Wingo
19113f1ca7
allow case-lambda expressions with no clauses
...
* module/ice-9/psyntax-pp.scm:
* module/ice-9/psyntax.scm (case-lambda, case-lambda*): Allow 0
clauses.
* module/language/scheme/decompile-tree-il.scm (do-decompile):
(choose-output-names):
* module/language/tree-il.scm (unparse-tree-il):
(tree-il-fold, post-order!, pre-order!):
* module/language/tree-il/effects.scm (make-effects-analyzer):
* module/language/tree-il/cse.scm (cse):
* module/language/tree-il/debug.scm (verify-tree-il):
* module/language/tree-il/peval.scm (peval): Allow for lambda-body to be
#f.
* libguile/memoize.c (memoize):
* module/language/tree-il/canonicalize.scm (canonicalize!): Give a body
to empty case-lambda before evaluating it or compiling it,
respectively.
* test-suite/tests/optargs.test ("case-lambda", "case-lambda*"): Add
tests.
2013-03-09 11:16:31 +01:00
Andy Wingo
2aed2667fc
Merge remote-tracking branch 'origin/stable-2.0'
...
Conflicts:
libguile/expand.c
libguile/hashtab.c
libguile/ports.c
libguile/vectors.c
libguile/weaks.c
module/language/ecmascript/compile-tree-il.scm
module/language/tree-il/effects.scm
module/language/tree-il/fix-letrec.scm
module/language/tree-il/peval.scm
test-suite/tests/peval.test
2012-07-06 16:52:54 +02:00
Andy Wingo
37081d5d4b
fix bugs in effects analysis of "effect+exception-free-primitives"
...
* module/language/tree-il/effects.scm (make-effects-analyzer): Be more
precise regarding the effects of the so-called
effect+exception-free-primitives: now we check their arities.
* test-suite/tests/cse.test ("cse"): Add a test that we don't
elide (cons 1 2 3) in effect context.
2012-07-05 20:34:28 +02:00
Andy Wingo
74bbb99457
Merge remote-tracking branch 'origin/stable-2.0'
...
Conflicts:
module/language/tree-il/analyze.scm
module/language/tree-il/effects.scm
module/language/tree-il/fix-letrec.scm
module/language/tree-il/peval.scm
test-suite/tests/cse.test
test-suite/tests/peval.test
2012-05-21 19:20:27 +02:00
Andy Wingo
83bd53abb6
better effects analysis for calls to lexically bound procedures
...
* module/language/tree-il/effects.scm (make-effects-analyzer): The
analyzer will take an optional second argument, a lookup procedure of
type sym -> exp. This can let the analyzer dig into calls to
lexically bound procedures.
2012-05-15 17:22:05 +02:00
Andy Wingo
9d8a10a94c
Merge remote-tracking branch 'origin/stable-2.0'
...
Conflicts:
test-suite/tests/cse.test
2012-04-26 23:40:57 +02:00
Andy Wingo
79d29f96c7
Merge commit ' 1cd63115be'
...
Conflicts:
module/language/tree-il/peval.scm
test-suite/tests/peval.test
2012-04-26 23:08:14 +02:00
Andy Wingo
036c366dc2
more inlining in effects.scm
...
* module/language/tree-il/effects.scm (define-effects)
(&no-effects, &all-effects-but-bailout):
(cause, &depends-on, &causes, depends-on-effects?)
(causes-effects?, effects-commute?): Add ham-fisted inlining.
2012-04-23 21:52:24 +02:00
Andy Wingo
da9b2b71f7
add effects
...
* module/language/tree-il/effects.scm: New module, for effects
analysis.
* module/Makefile.am: Adapt.
2012-04-23 21:52:23 +02:00
