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 <[EMAIL PROTECTED]> 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: [EMAIL PROTECTED] [mailto:es4-discuss- > > [EMAIL PROTECTED] On Behalf Of Eric Suen > > Sent: Wednesday, August 22, 2007 11:53 AM > > To: [email protected] > > 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 > > [email protected] > > https://mail.mozilla.org/listinfo/es4-discuss > _______________________________________________ Es4-discuss mailing list [email protected] https://mail.mozilla.org/listinfo/es4-discuss
