Changeset 4086 for trunk/ProjectFortress/astgen

Timestamp:

08/17/09 10:25:28 (3 months ago)

Author:

jrhil47

Message:

[ast] Added a MethodInfo? object to ArrowType? so that we can keep track of the declared self parameter in the types.\n[type checker] Fixed bug in checking local variable declarations.

Files:

• trunk/ProjectFortress/astgen/Fortress.ast (modified) (2 diffs)

trunk/ProjectFortress/astgen/Fortress.ast

@@ -1086 +1086 @@
                  * type of a generic function, used during static checking
                  */
-                ArrowType(Type domain, Type range, Effect effect, boolean io);
+                ArrowType(Type domain,
+                          Type range,
+                          Effect effect,
+                          boolean io,
+                          Option<MethodInfo> methodInfo = Option.<MethodInfo>none());
                 /**
                  * inferred type
@@ -1906 +1910 @@
                         TypeInfo(List<StaticParam> staticParams,
                                  Option<WhereClause> whereClause);
+                /*
+                 * Contains info about the self parameter in an arrow type for
+                 * a method.
+                 */
+                MethodInfo(Type selfType, int selfPosition);
             /*
              * Keeps track of ellipses properties. This is special cased