[plt-scheme] Re: Re: Typed Scheme

On 5/27/07, Robby Findler <robby at cs.uchicago.edu> wrote:
> Sorry -- I didn't mean that as a criticsim of your code, but more a
> question for the Sam & Matthias (the typed Scheme guys) as to why that
> program isn't a syntax error.

It's not a syntax error because the corresponding MzScheme program
isn't a syntax error either, and I want to be consistent.

As I said a little earlier in the thread, the typechecker should
ignore the second case.  It doesn't in the currently released version,
which is a bug.  The next release will correct this.

sam th

>
> Robby
>
> On 5/27/07, Matthew Swank <akopa.gmane.poster at gmail.com> wrote:
> > On Sun, 27 May 2007 06:59:09 -0500, Robby Findler wrote:
> >
> > Well, I am sort of new around here.  I've dabbled in scheme from time to
> > time, but my working set of scheme syntax is somewhat limited.
> >
> > > That's not really a case-lambda at all, is it? case-lambda dispatches
> > > on the number of arguments at a call-site, not the type of the
> > > argument.
> > >
> > > Robby
> > >
> >
> > --
> > "You do not really understand something unless you
> >  can explain it to your grandmother." - Albert Einstein.
> >
> >
> > _________________________________________________
> >   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
>


-- 
sam th
samth at ccs.neu.edu