From 2c083af736e1be70a98d9bad8851d16487a4fea7 Mon Sep 17 00:00:00 2001
From: Mark Harrah <dmharrah@gmail.com>
Date: Thu, 7 Jan 2010 21:38:39 -0500
Subject: [PATCH] Polymorphic types and fix parameterized type arguments to be
 Type and not just SimpleType

---
 interface/definition | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/interface/definition b/interface/definition
index 2365e9ee5..a89b238b9 100644
--- a/interface/definition
+++ b/interface/definition
@@ -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