Difference between Spec. and the ES4 RI M0

Eric Suen eric.suen.tech at gmail.com
Fri Aug 24 03:26:14 PDT 2007


Problem of NullableTypeExpression

var b = type a ? 0 : 1

 should be (type a) or (type a ?)?

function foo() : int ! b

shoule be ResultType -> int! and ExprStmt b
or ResultType -> int and ExprStmt !b ?

In Spec.

TypedExpression ::= ParenListExpression
 | ParenListExpression : NullableTypeExpression

But in RI M0 it is:
 ( ListExpression[allowIn] )
 ( ListExpression[allowIn] : NullableTypeExpression )

I think RI should be the right syntax...

Regards,

Eric

On 8/23/07, Jeff Dyer <jodyer at adobe.com> wrote:
> The RI parser is somewhat out of date, but will get some attention in a
> couple weeks. The source control system is monotone and the repository
> is not public at the moment. TG1 should talk about ways of making it so.
>
> Jd
>
> > -----Original Message-----
> > From: es4-discuss-bounces at mozilla.org [mailto:es4-discuss-
> > bounces at mozilla.org] On Behalf Of Eric Suen
> > Sent: Wednesday, August 22, 2007 11:53 AM
> > To: es4-discuss at mozilla.org
> > Subject: Difference between Spec. and the ES4 RI M0
> >
> > Hi,
> >
> >  In spec.:
> >
> > WithStatement(w) ::= with TypedExpression Substatement(w)
> >
> > but in parser.sml, it is:
> >
> >  WithStatement(w)
> >    with  ( ListExpression(allowIn)) Substatement(w)
> >    with  ( ListExpression(allowIn) : TypeExpression) Substatement(w)
> >
> > Which one is suppose to be right?
> >
> > BTW, is there has CVS or SVN server for the RI source code?
> >
> > Regards
> >
> > Eric
> > ------------------------------------------------
> > Spket IDE - Development Tool for RIA.
> >
> > http://www.spket.com
> > _______________________________________________
> > Es4-discuss mailing list
> > Es4-discuss at mozilla.org
> > https://mail.mozilla.org/listinfo/es4-discuss
>



More information about the Es4-discuss mailing list