[plt-scheme] problems (with PLAI Scheme) on 4.2.4

Hi Eric,

PLAI is not included in 4.2.1 or 4.2.4. Your installations of the
respective versions must have different versions of the PLaneT
package, one of which must have that bug, which was previously found
and fixed.

4.2.5, which will be coming out soon, includes PLAI. In that version,
your example runs as expected:

#lang plai
(define-type Foo
 (foo (x number?)))
(foo 1)

=>

(foo 1)

I'm not sure what "freezing" experience you're having. However, in the
version in 4.2.5, I've optimized a few things.

Jay

On Thu, Apr 1, 2010 at 3:34 PM, Eric Tanter <etanter at dcc.uchile.cl> wrote:
> Hi,
>
> I realized (unfortunately, during the classroom) that there is a problem with PLAI Scheme on 4.2.4.
>
> With 4.2.1:
>
> (define-type Foo
>  (foo (x number?)))
> (foo 1)
> --> (foo 1)
>
> With 4.2.4:
>
> (define-type Foo
>  (foo (x number?)))
> (foo 1)
> --> (make-foo1 1)
>
> ie. the nice abstractions provided by define-type are revealed naked. Embarrassing!
>
> Is this a known bug? (I would refuse to call that a feature ;))
>
> I also found that 4.2.4 tends to freeze a lot, and even crash (I'm on mac os 10.6), whereas this simply never happened to me with 4.2.1. I can't tell if that's related to PLAI Scheme or not, though.
>
> Any idea of what can be going wrong? My installation of 4.2.4 and PLAI Scheme is just "fresh", recently downloaded and installed both.
>
> In the meantime, I'm will be sticking to 4.2.1.
>
> Thanks!
>
> -- Éric
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>



-- 
Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://teammccarthy.org/jay

"The glory of God is Intelligence" - D&C 93