2008-09-24 Miguel de Icaza <miguel@novell.com>
[mono.git] / mcs / mcs / lambda.cs
index b11dc6000e254d2c8c6beec1f9ce9445c9891e56..794572c1b87820a1d3316a9693ef0b7c9e6e9c88 100644 (file)
@@ -24,8 +24,8 @@ namespace Mono.CSharp {
                //    A list of Parameters (explicitly typed parameters)
                //    An ImplicitLambdaParameter
                //
-               public LambdaExpression (TypeContainer host, Parameters parameters, Location loc)
-                       : base (host, parameters, loc)
+               public LambdaExpression (Parameters parameters, Location loc)
+                       : base (parameters, loc)
                {
                        if (parameters.Count > 0)
                                explicit_parameters = !(parameters.FixedParameters [0] is ImplicitLambdaParameter);
@@ -60,7 +60,7 @@ namespace Mono.CSharp {
                        if (!TypeManager.IsDelegateType (delegateType))
                                return null;
 
-                       ParameterData d_params = TypeManager.GetDelegateParameters (delegateType);
+                       AParametersCollection d_params = TypeManager.GetDelegateParameters (delegateType);
 
                        if (explicit_parameters) {
                                if (!VerifyExplicitParameters (delegateType, d_params, ec.IsInProbingMode))
@@ -76,12 +76,10 @@ namespace Mono.CSharp {
                        if (!VerifyParameterCompatibility (delegateType, d_params, ec.IsInProbingMode))
                                return null;
 
-                       if (Parameters.Types == null)
-                               Parameters.Types = new Type [Parameters.Count];
-
+                       Type [] ptypes = new Type [Parameters.Count];
                        for (int i = 0; i < d_params.Count; i++) {
                                // D has no ref or out parameters
-                               if ((d_params.ParameterModifier (i) & Parameter.Modifier.ISBYREF) != 0)
+                               if ((d_params.FixedParameters [i].ModFlags & Parameter.Modifier.ISBYREF) != 0)
                                        return null;
 
                                Type d_param = d_params.Types [i];
@@ -91,13 +89,18 @@ namespace Mono.CSharp {
                                if (d_param.IsGenericParameter)
                                        d_param = delegateType.GetGenericArguments () [d_param.GenericParameterPosition];
 #endif
-                               // When inferred context exists all generics parameters have type replacements
+                               //
+                               // When type inference context exists try to apply inferred type arguments
+                               //
                                if (tic != null) {
                                        d_param = tic.InflateGenericArgument (d_param);
                                }
 
-                               Parameters.Types [i] = Parameters.FixedParameters[i].ParameterType = d_param;
+                               ptypes [i] = d_param;
+                               ((ImplicitLambdaParameter) Parameters.FixedParameters [i]).Type = d_param;
                        }
+
+                       Parameters.Types = ptypes;
                        return Parameters;
                }
 
@@ -118,9 +121,7 @@ namespace Mono.CSharp {
 
                protected override AnonymousMethodBody CompatibleMethodFactory (Type returnType, Type delegateType, Parameters p, ToplevelBlock b)
                {
-                       return new LambdaMethod (Host,
-                               p, b, returnType,
-                               delegateType, loc);
+                       return new LambdaMethod (p, b, returnType, delegateType, loc);
                }
 
                public override string GetSignatureForError ()
@@ -131,10 +132,10 @@ namespace Mono.CSharp {
 
        public class LambdaMethod : AnonymousMethodBody
        {
-               public LambdaMethod (TypeContainer host, Parameters parameters,
+               public LambdaMethod (Parameters parameters,
                                        ToplevelBlock block, Type return_type, Type delegate_type,
                                        Location loc)
-                       : base (host, parameters, block, return_type, delegate_type, loc)
+                       : base (parameters, block, return_type, delegate_type, loc)
                {
                }
 
@@ -146,11 +147,6 @@ namespace Mono.CSharp {
 
                public override Expression CreateExpressionTree (EmitContext ec)
                {
-                       //
-                       // Remove IL method implementation when expression tree is requested
-                       //
-                       method.Parent.PartialContainer.RemoveMethod (method);
-
                        Expression args = parameters.CreateExpressionTree (ec, loc);
                        Expression expr = Block.CreateExpressionTree (ec);
                        if (expr == null)