Changeset 3968 for trunk/ProjectFortress/astgen

Timestamp:

07/17/09 12:49:38 (4 months ago)

Author:

jrhil47

Message:

[ast] Changed CoercionInvocation? node to coerce to an arbitrary Type, rather than only BaseType? (for tuple and arrow coercion).
[coercions] Integrated coercion into type checker. Now coercions to expected types (excluding function application) should be inserted by the type checker. Needs tests.

Files:

• trunk/ProjectFortress/astgen/Fortress.ast (modified) (1 diff)

trunk/ProjectFortress/astgen/Fortress.ast

@@ -923 +923 @@
                          * after inferring the implicit coercion invocations
                          */
-                        CoercionInvocation(BaseType toType,
-                                           List<StaticArg> staticArgs, Expr arg);
+                        CoercionInvocation(Type toType,
+                                           List<StaticArg> staticArgs,
+                                           Expr arg);
                         /**
                          * a method invocation