Re: Interesting Compiler Error

Hi Joseph,

> When attempting to compile a file with bigloo 4.3a (beta16Oct16), I am
> recieving an error I have never seen before. A truncated version of the
> error message can be found below. The error may not be specific to
> bigloo 4.3a; I have not tried compiling with an earlier Bigloo version
> yest. Does any one know what this error indicates? If it helps, I am
> seeing this error when compiling recette/tabled.scm found at
> https://github.com/donaldsonjw/bkanren. I recently revisited the project
> and was attempting to properly merge the changes made by Peter
> Kourzanov. Any help would be appreciated.
It took me a while to figure out what's going on. I was suspecting an
error during one of the complex optimizations. It was not. A simple
static reduction what not correctly implemented at the very beginning
of the compilation process. Here is a simple program that illustrates
the bug.

-----|-----|-----|-----|-----|-----|-----|-----|-----|-----|-----|-----|-----
(module foo (export (bidule)))


(define (bidule)
   (((lambda (a b) b)
     (print 3)
     (lambda (x) x)) 3))

(print (bidule))
-----|-----|-----|-----|-----|-----|-----|-----|-----|-----|-----|-----|-----

I'm now bootstrapping Bigloo. If all the tests pass, I will upload a new
version within an hour or so.

Thanks a lot for your bug report.

-- 
Manuel