From a12f552200f530349641083591f052e9456b3cc8 Mon Sep 17 00:00:00 2001 From: Justin Ethier Date: Fri, 11 Mar 2016 23:01:46 -0500 Subject: [PATCH] WIP --- debug/compilation/beta-contraction-notes.txt | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 debug/compilation/beta-contraction-notes.txt diff --git a/debug/compilation/beta-contraction-notes.txt b/debug/compilation/beta-contraction-notes.txt new file mode 100644 index 00000000..a3d9f870 --- /dev/null +++ b/debug/compilation/beta-contraction-notes.txt @@ -0,0 +1,13 @@ +Before: + + (let ((k158 (##core#lambda (r159) + (let ((a157 r159)) (ok?3 k150 row12 a153 a157))))) + (cdr k158 placed14)) + +After (???): + +(let ((k158 (##core#lambda (r159) + (ok?3 k131 row12 r155 r159)))) + (cdr k158 placed14)) + +Not sure if this is the same optimization, but an anonymous lambda was removed.