P5 FYI

[Thomas Gilray]

c-header.rkt is missing assert1 assert2, etc

c-header.rkt appears to define dict->keys using for instead of for/list as cps-header did. Fixing this gets my tests working again.

pymve_rkt.zo etc are compiled for a different racket version so these don't work on caprica yet.

[Matt Might]

On Thu, Apr 18, 2013 at 10:45 PM, Thomas Gilray <thomas...@gmail.com> wrote:
> c-header.rkt is missing assert1 assert2, etc

Let's officially remove assert1 and assert2 from P5.

> c-header.rkt appears to define dict->keys using for instead of for/list as
> cps-header did. Fixing this gets my tests working again.

Thanks. I've posted a fixed version online:

http://matt.might.net/apps/pytoc/c-header.rkt

> pymve_rkt.zo etc are compiled for a different racket version so these don't
> work on caprica yet.

The .zos in /pub/p5/ work for me on caprica, which is 5.3.1

-Matt

[Thomas Gilray]

Okay, those do work. The .zo files on the class webpage are old though.

Thanks!

[Thomas Gilray]

Two more issues:

It looks like c-header defines the label syntax as lambda-label, which is not in the spec. I changed this to just label and it seems to work.

The define-syntax for env-ref is producing identifiers like $label75env-k17 where $label75 is the gensym for a lambda, $label75env is it's environment and k17 is a continuation in it's environment. I'm not understanding for sure what this "extractor" is supposed to do. Probably this was meant to be accompanied by a definition for this "extractor" which fetches a particular field. Basically (env-ref $label75env envv k17) is being reduced to ($label75env-k17 envv) which gives an undefined identifier error...