[plt-scheme] read (compiled): ill-formed code

From: Jos Koot (jos.koot at telefonica.net)
Date: Fri Aug 4 06:58:10 EDT 2006

Just to confirm that loading my zo files works fine now. Thanks!
Jos Koot

((((lambda(x)((((((x x)x)x)x)x)x))
   (lambda(x)(lambda(y)(x(x y)))))
  (lambda(x)(write x)x))
 "greetings, Jos")
----- Original Message ----- 
From: "Matthew Flatt" <mflatt at cs.utah.edu>
To: "Dave Herman" <dherman at ccs.neu.edu>
Cc: <plt-scheme at list.cs.brown.edu>
Sent: Thursday, August 03, 2006 9:48 PM
Subject: Re: [plt-scheme] read (compiled): ill-formed code


> Thanks - I'll have a repair soon.
>
> Meanwhile, there's a workaround. The bug is related to the application
> of `loop' (line 309) to the wrong number of arguments; it's applied to
> 5 arguments on lines 342 and 343.
>
> Matthew
>
> At Thu, 03 Aug 2006 12:40:33 -0700, Dave Herman wrote:
>> All you need is:
>>
>> (require (planet "tool.ss" ("dherman" "javascript.plt" 4 1) "drscheme"))
>>
>> Dave
>>
>> Matthew Flatt wrote:
>> > With your own code? In that case, the file that triggers the error
>> > (along with anything it imports).
>> >
>> > Thanks,
>> > Matthew
>> >
>> > At Thu, 03 Aug 2006 12:27:19 -0700, Dave Herman wrote:
>> >> I'm still getting this error in 352.2-svn3aug2006. What should I send
>> >> you to help debug this?
>> >>
>> >> Dave
>> >>
>> >> Matthew Flatt wrote:
>> >>> At Wed, 2 Aug 2006 20:15:10 +0200, "Jos Koot" wrote:
>> >>>> I just downloaded 352.2, recompiled some scm sources and get
>> >>>> read (compiled): ill-formed code ...
>> >>>> when loading a compiled file (zo). No problems when loading the
>> >>>> corresponding source (scm) file
>> >>> This was a bug in the bytecode verifier (related to the new
>> >>> lambda-lifting optimization). It's now fixed in SVN.
>> >>>
>> >>> Thanks,
>> >>> Matthew
>> >>>
>> >>> _________________________________________________
>> >>>   For list-related administrative tasks:
>> >>>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>> >> _________________________________________________
>> >>   For list-related administrative tasks:
>> >>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme 



Posted on the users mailing list.