W3C home > Mailing lists > Public > public-script-coord@w3.org > January to March 2012

Re: Grammar for Union Types

From: Dominique Hazael-Massieux <dom@w3.org>
Date: Wed, 04 Jan 2012 10:27:13 +0100
Message-ID: <1325669233.3017.249.camel@altostratustier>
To: Cameron McCormack <cam@mcc.id.au>
Cc: public-script-coord@w3.org
Le mercredi 04 janvier 2012 à 13:56 +1100, Cameron McCormack a écrit :
> OK, here's what I'll replace the grammar with then:
> 
> Type → SingleType
>          | UnionType
> 
> SingleType → NonAnyType TypeSuffix
>                | "any" TypeSuffixStartingWithArray
> 
> NonAnyType → PrimitiveType TypeSuffix
>                | "DOMString" TypeSuffix
>                | identifier TypeSuffix
>                | "sequence" "<" Type ">" Null
>                | "object" TypeSuffix
>                | "Date" TypeSuffix
> 
> UnionType → "(" UnionMemberType "or" UnionMemberType UnionMemberTypes 
> ")" TypeSuffix
> 
> UnionMemberType → NonAnyType
>                     | "any" "[" "]" TypeSuffix
> 
> UnionMemberTypes → "or" UnionMemberType UnionMemberTypes
>                      | ε
> Can you verify this is correct?

Looks good to me; I find having parenthesis around union types cleaner,
too. Thanks,

Dom
Received on Wednesday, 4 January 2012 09:27:30 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 8 May 2013 19:30:05 UTC