Polymorphic types and fix parameterized type arguments to be Type and not just SimpleType

This commit is contained in:
Mark Harrah 2010-01-07 21:38:39 -05:00
parent c864dd90cc
commit 2c083af736
1 changed files with 4 additions and 1 deletions

View File

@ -42,7 +42,7 @@ Type
EmptyType
Parameterized
baseType : SimpleType
typeArguments: SimpleType*
typeArguments: Type*
Annotated
baseType : SimpleType
annotations : Annotation*
@ -53,6 +53,9 @@ Type
Existential
baseType : Type
clause: TypeParameter*
Polymorphic
baseType: Type
parameters: TypeParameter*
Access
Public