コード例 #1
0
        public override Expression ResolveTypes(ParserContext context, VariableScope varScope)
        {
            // There can be multiple signatures of methods. Calculate all of them.
            // Then resolve the args and filter these down to one.
            // If it's ambiguous or there's no possibilities left, then it's an error.
            List <Expression> possibleRoots = new List <Expression>();

            if (this.Root is Variable)
            {
                Variable v = (Variable)this.Root;
                if (varScope.GetVariableType(v.Name.Value) != null)
                {
                    possibleRoots.Add(this.Root.ResolveTypes(context, varScope));
                }
                else
                {
                    TopLevelEntity[] entities = this.ClassContainer.GetMember(v.Name.Value);

                    foreach (TopLevelEntity entity in entities)
                    {
                        Expression fakeDotFieldRoot = null;
                        if (entity.IsStatic)
                        {
                            fakeDotFieldRoot = new StaticClassReference(this.FirstToken, this.parent, entity.ClassContainer);
                        }
                        else
                        {
                            fakeDotFieldRoot = new ThisKeyword(this.FirstToken, this.parent);
                        }
                        VerifiedFieldReference vfr = new VerifiedFieldReference(this.FirstToken, this.parent, v.Name, fakeDotFieldRoot, null);
                        if (entity is FieldDefinition)
                        {
                            vfr.Field        = (FieldDefinition)entity;
                            vfr.ResolvedType = vfr.Field.ResolvedType;
                        }
                        else if (entity is MethodDefinition)
                        {
                            vfr.Method       = (MethodDefinition)entity;
                            vfr.ResolvedType = ResolvedType.CreateFunction(
                                vfr.Method.ResolvedReturnType,
                                vfr.Method.ResolvedArgTypes);
                        }
                        else if (entity is PropertyDefinition)
                        {
                            vfr.Property     = (PropertyDefinition)entity;
                            vfr.ResolvedType = vfr.Property.ResolvedType;
                        }
                        else
                        {
                            throw new System.InvalidOperationException();
                        }
                        possibleRoots.Add(vfr);
                    }
                }
            }
            else if (this.Root is DotField)
            {
                // Since we know this is a situation where there'll be argument information,
                // don't let the DotFielda attempt to choose one. Just get all possibilities here.
                // Resolve the DotField's root for it inline here.
                DotField df = (DotField)this.Root;
                df.Root = df.Root.ResolveTypes(context, varScope);
                ResolvedType rootResolvedType = df.Root.ResolvedType;
                if (df.Root is StaticClassReference || df.Root is StaticFrameworkClassReference)
                {
                    if (df.Root is StaticClassReference)
                    {
                        ClassLikeDefinition cd = ((StaticClassReference)df.Root).ClassDef;
                        foreach (TopLevelEntity tle in cd.GetMemberNonNull(df.FieldName.Value))
                        {
                            if (tle.IsStatic)
                            {
                                if (tle is MethodDefinition)
                                {
                                    MethodDefinition md      = (MethodDefinition)tle;
                                    ResolvedType     funcSig = ResolvedType.CreateFunction(md.ResolvedReturnType, md.ResolvedArgTypes);
                                    possibleRoots.Add(ConvertDfToVfr(df, funcSig));
                                }
                                else
                                {
                                    throw new ParserException(this.OpenParen, "Cannot invoke this field/property like a function");
                                }
                            }
                        }
                    }
                    else
                    {
                        string lookup = rootResolvedType.FrameworkClass + "." + df.FieldName.Value;
                        switch (lookup)
                        {
                        // (string) => bool
                        case "CommonUtil.Disk.FileUtil.DirectoryExists":
                        case "CommonUtil.Disk.FileUtil.FileExists":
                            possibleRoots.Add(ConvertDfToVfr(df, ResolvedType.CreateFunction(
                                                                 ResolvedType.Bool(),
                                                                 ResolvedType.String())));
                            break;

                        // (string) => string
                        case "CommonUtil.Environment.EnvironmentVariables.Get":
                        case "CommonUtil.Disk.FileUtil.GetParentDirectory":
                        case "CommonUtil.Disk.FileUtil.ReadFileText":
                        case "CommonUtil.Disk.Path.GetFileName":
                            possibleRoots.Add(ConvertDfToVfr(df, ResolvedType.CreateFunction(
                                                                 ResolvedType.String(),
                                                                 ResolvedType.String())));
                            break;

                        // (string) => string[]
                        case "CommonUtil.Disk.FileUtil.DirectoryListDirectoryPaths":
                        case "CommonUtil.Disk.FileUtil.GetAllFilePathsRelativeToRoot":
                            possibleRoots.Add(ConvertDfToVfr(df, ResolvedType.CreateFunction(
                                                                 ResolvedType.CreateArray(ResolvedType.String()),
                                                                 ResolvedType.String())));
                            break;

                        // (string, string) => string
                        case "CommonUtil.Disk.FileUtil.GetAbsolutePathFromRelativeOrAbsolutePath":
                            possibleRoots.Add(ConvertDfToVfr(df, ResolvedType.CreateFunction(
                                                                 ResolvedType.String(),
                                                                 ResolvedType.String())));
                            possibleRoots.Add(ConvertDfToVfr(df, ResolvedType.CreateFunction(
                                                                 ResolvedType.String(),
                                                                 new ResolvedType[] { ResolvedType.String(), ResolvedType.String() })));
                            break;

                        // (string, string) => string[]
                        case "CommonUtil.StringUtil.SplitOnce":
                        case "CommonUtil.StringUtil.SplitRemoveEmpty":
                            possibleRoots.Add(ConvertDfToVfr(df, ResolvedType.CreateFunction(
                                                                 ResolvedType.CreateArray(ResolvedType.String()),
                                                                 new ResolvedType[] { ResolvedType.String(), ResolvedType.String() })));
                            break;

                        // (params string[]) => string
                        case "CommonUtil.Disk.Path.Join":
                        case "CommonUtil.Disk.FileUtil.JoinPath":
                            List <ResolvedType> paramsStrings = new List <ResolvedType>();
                            for (int i = 0; i < this.Args.Length; ++i)
                            {
                                paramsStrings.Add(ResolvedType.String());
                            }
                            possibleRoots.Add(ConvertDfToVfr(df, ResolvedType.CreateFunction(
                                                                 ResolvedType.String(),
                                                                 paramsStrings.ToArray())));
                            break;

                        default:
                            throw new ParserException(this.FirstToken, "Not implemented: " + lookup);
                        }
                    }
                }
                else
                {
                    if (rootResolvedType.CustomType != null && rootResolvedType.CustomType is ClassLikeDefinition)
                    {
                        TopLevelEntity[] members = ((ClassLikeDefinition)rootResolvedType.CustomType).GetMember(df.FieldName.Value);
                        if (members == null)
                        {
                            throw new ParserException(df.FieldName, "The field '" + df.FieldName.Value + "' does not exist.");
                        }

                        foreach (TopLevelEntity entity in members)
                        {
                            VerifiedFieldReference vfr = new VerifiedFieldReference(this.FirstToken, this.parent, df.FieldName, df.Root, null);
                            if (entity is FieldDefinition)
                            {
                                vfr.Field        = (FieldDefinition)entity;
                                vfr.ResolvedType = vfr.Field.ResolvedType;
                            }
                            else if (entity is MethodDefinition)
                            {
                                vfr.Method       = (MethodDefinition)entity;
                                vfr.ResolvedType = ResolvedType.CreateFunction(
                                    vfr.Method.ResolvedReturnType,
                                    vfr.Method.ResolvedArgTypes);
                            }
                            else if (entity is PropertyDefinition)
                            {
                                vfr.Property     = (PropertyDefinition)entity;
                                vfr.ResolvedType = vfr.Property.ResolvedType;
                            }
                            else
                            {
                                throw new System.NotImplementedException();
                            }
                            possibleRoots.Add(vfr);
                        }
                    }
                    else if (rootResolvedType.FrameworkClass != null || rootResolvedType.IsArray)
                    {
                        if (rootResolvedType.IsEnumerable(context))
                        {
                            ResolvedType itemType = rootResolvedType.GetEnumerableItemType();
                            if (this.FileContext.HasLinq)
                            {
                                CSharpType[]   inlineTypes         = df.InlineTypeSpecification;
                                ResolvedType[] inlineResolvedTypes = inlineTypes == null ? null : inlineTypes.Select(t => this.DoTypeLookup(t, context)).ToArray();
                                switch (df.FieldName.Value)
                                {
                                case "Concat":
                                    possibleRoots.Add(ConvertDfToLinqVfr(df, ResolvedType.CreateFunction(
                                                                             ResolvedType.CreateEnumerableType(itemType),
                                                                             ResolvedType.CreateEnumerableType(itemType))));
                                    break;

                                case "OrderBy":
                                    possibleRoots.Add(ConvertDfToLinqVfr(df, ResolvedType.CreateFunction(
                                                                             ResolvedType.CreateEnumerableType(itemType),
                                                                             ResolvedType.CreateFunction(
                                                                                 ResolvedType.Object(),
                                                                                 itemType))));
                                    break;

                                case "ToArray":
                                    possibleRoots.Add(ConvertDfToLinqVfr(df, ResolvedType.CreateFunction(
                                                                             ResolvedType.CreateArray(itemType))));
                                    break;

                                case "ToDictionary":
                                    possibleRoots.Add(ConvertDfToLinqVfr(df, ResolvedType.CreateFunction(
                                                                             ResolvedType.CreateDictionary(null, itemType),
                                                                             ResolvedType.CreateFunction(null, itemType))));
                                    break;

                                case "Select":
                                    if (inlineTypes == null)
                                    {
                                        // null means retroactively apply the return type of the function
                                        possibleRoots.Add(ConvertDfToLinqVfr(df, ResolvedType.CreateFunction(
                                                                                 ResolvedType.CreateEnumerableType(null),
                                                                                 ResolvedType.CreateFunction(null, itemType))));
                                    }
                                    else
                                    {
                                        if (inlineTypes.Length != 2)
                                        {
                                            throw new ParserException(df.FieldName, "Linq's .Select needs 2 inline types.");
                                        }

                                        ResolvedType[] resolvedInlineTypes = inlineTypes
                                                                             .Select(it => this.DoTypeLookup(it, context))
                                                                             .ToArray();

                                        possibleRoots.Add(ConvertDfToLinqVfr(df, ResolvedType.CreateFunction(
                                                                                 ResolvedType.CreateEnumerableType(itemType),
                                                                                 ResolvedType.CreateFunction(resolvedInlineTypes[1], resolvedInlineTypes[0]))));
                                    }
                                    break;

                                case "Where":
                                    // TODO: verify inline types
                                    possibleRoots.Add(ConvertDfToLinqVfr(df, ResolvedType.CreateFunction(
                                                                             ResolvedType.CreateEnumerableType(itemType),
                                                                             ResolvedType.CreateFunction(ResolvedType.Bool(), itemType))));
                                    break;

                                case "FirstOrDefault":
                                    possibleRoots.Add(ConvertDfToLinqVfr(df, ResolvedType.CreateFunction(itemType)));
                                    break;

                                case "OfType":
                                case "Cast":
                                    possibleRoots.Add(ConvertDfToLinqVfr(df, ResolvedType.CreateFunction(
                                                                             ResolvedType.CreateEnumerableType(inlineResolvedTypes[0]))));
                                    break;

                                default: break;
                                }
                            }
                        }

                        switch (rootResolvedType.FrameworkClass)
                        {
                        case "System.Text.StringBuilder":
                        {
                            switch (df.FieldName.Value)
                            {
                            case "Append":
                                possibleRoots.Add(ConvertDfToVfr(df,
                                                                 ResolvedType.CreateFunction(ResolvedType.Void(), ResolvedType.Object())));
                                break;
                            }
                        }
                        break;

                        case "System.Collections.Generic.Stack":
                        {
                            ResolvedType itemType = rootResolvedType.GetEnumerableItemType();
                            switch (df.FieldName.Value)
                            {
                            case "Push":
                                possibleRoots.Add(ConvertDfToVfr(df,
                                                                 ResolvedType.CreateFunction(ResolvedType.Void(), itemType)));
                                break;

                            case "Pop":
                                possibleRoots.Add(ConvertDfToVfr(df,
                                                                 ResolvedType.CreateFunction(itemType)));
                                break;
                            }
                        }
                        break;

                        case "System.Collections.Generic.HashSet":
                        {
                            ResolvedType itemType = rootResolvedType.GetEnumerableItemType();
                            switch (df.FieldName.Value)
                            {
                            case "Remove":
                                possibleRoots.Add(ConvertDfToVfr(df,
                                                                 ResolvedType.CreateFunction(ResolvedType.Void(), itemType)));
                                break;

                            default: break;
                            }
                        }
                        break;

                        case "CommonUtil.Json.JsonLookup":
                        {
                            switch (df.FieldName.Value)
                            {
                            case "GetAsString":
                                possibleRoots.Add(ConvertDfToVfr(df, ResolvedType.CreateFunction(ResolvedType.String(), new ResolvedType[] { ResolvedType.String(), ResolvedType.String() })));
                                possibleRoots.Add(ConvertDfToVfr(df, ResolvedType.CreateFunction(ResolvedType.String(), ResolvedType.String())));
                                break;

                            case "GetAsDictionary":
                                possibleRoots.Add(ConvertDfToVfr(df,
                                                                 ResolvedType.CreateFunction(
                                                                     ResolvedType.CreateIDictionary(ResolvedType.String(), ResolvedType.Object()),
                                                                     ResolvedType.String())));
                                break;

                            case "GetAsList":
                                possibleRoots.Add(ConvertDfToVfr(df,
                                                                 ResolvedType.CreateFunction(
                                                                     ResolvedType.CreateArray(ResolvedType.Object()),
                                                                     ResolvedType.String())));
                                break;

                            default:
                                throw new System.NotImplementedException();
                            }
                        }
                        break;

                        case "CommonUtil.Json.JsonParser":
                        {
                            switch (df.FieldName.Value)
                            {
                            case "AddOption":
                                possibleRoots.Add(ConvertDfToVfr(df, ResolvedType.CreateFunction(
                                                                     rootResolvedType,
                                                                     ResolvedType.GetEnumFieldTypeOfFrameworkEnum("CommonUtil.Json.JsonOption"))));
                                break;

                            case "ParseAsDictionary":
                                possibleRoots.Add(ConvertDfToVfr(df, ResolvedType.CreateFunction(
                                                                     ResolvedType.CreateIDictionary(ResolvedType.String(), ResolvedType.Object()))));
                                break;

                            default:
                                throw new ParserException(df.FieldName, "Method Not implemented: " + df.FieldName.Value);
                            }
                        }
                        break;
                        }

                        if (rootResolvedType.IsICollection(context))
                        {
                            ResolvedType itemType = rootResolvedType.GetEnumerableItemType();
                            switch (df.FieldName.Value)
                            {
                            case "Add":
                                possibleRoots.Add(ConvertDfToVfr(df,
                                                                 ResolvedType.CreateFunction(ResolvedType.Void(), itemType)));
                                break;

                            case "Clear":
                                possibleRoots.Add(ConvertDfToVfr(df,
                                                                 ResolvedType.CreateFunction(ResolvedType.Void())));
                                break;

                            case "Contains":
                                possibleRoots.Add(ConvertDfToVfr(df,
                                                                 ResolvedType.CreateFunction(ResolvedType.Bool(), itemType)));
                                break;
                            }
                        }

                        if (rootResolvedType.IsIList(context))
                        {
                            ResolvedType itemType = rootResolvedType.GetEnumerableItemType();
                            switch (df.FieldName.Value)
                            {
                            case "AddRange":
                                // This is actually just List only, not IList
                                if (rootResolvedType.FrameworkClass == "System.Collections.Generic.List")
                                {
                                    possibleRoots.Add(ConvertDfToVfr(df, ResolvedType.CreateFunction(
                                                                         ResolvedType.Void(),
                                                                         ResolvedType.CreateEnumerableType(itemType))));
                                }
                                break;

                            default:
                                break;
                            }
                        }

                        if (rootResolvedType.IsIDictionary(context))
                        {
                            ResolvedType keyType   = rootResolvedType.Generics[0];
                            ResolvedType valueType = rootResolvedType.Generics[1];
                            switch (df.FieldName.Value)
                            {
                            case "Add":
                                possibleRoots.Add(ConvertDfToVfr(df, ResolvedType.CreateFunction(
                                                                     ResolvedType.Void(),
                                                                     new ResolvedType[] { keyType, valueType })));
                                break;

                            case "Clear":
                                possibleRoots.Add(ConvertDfToVfr(df,
                                                                 ResolvedType.CreateFunction(ResolvedType.Void())));
                                break;

                            case "ContainsKey":
                                possibleRoots.Add(ConvertDfToVfr(df,
                                                                 ResolvedType.CreateFunction(ResolvedType.Bool(), keyType)));
                                break;

                            case "ContainsValue":
                                possibleRoots.Add(ConvertDfToVfr(df,
                                                                 ResolvedType.CreateFunction(ResolvedType.Bool(), valueType)));
                                break;

                            case "TryGetValue":
                                possibleRoots.Add(ConvertDfToVfr(df,
                                                                 ResolvedType.CreateFunction(ResolvedType.Bool(),
                                                                                             new ResolvedType[] {
                                    keyType,
                                    valueType
                                })));
                                break;

                            default: break;
                            }
                        }

                        switch (df.FieldName.Value)
                        {
                        case "ToString": possibleRoots.Add(ConvertDfToVfr(df, ResolvedType.CreateFunction(ResolvedType.String()))); break;

                        case "Equals": possibleRoots.Add(ConvertDfToVfr(df, ResolvedType.CreateFunction(ResolvedType.Bool(), ResolvedType.Object()))); break;

                        case "GetHashCode": possibleRoots.Add(ConvertDfToVfr(df, ResolvedType.CreateFunction(ResolvedType.Int()))); break;

                        case "GetType": possibleRoots.Add(ConvertDfToVfr(df, ResolvedType.CreateFunction(ResolvedType.CreateFrameworkType("System.Type")))); break;
                        }

                        if (possibleRoots.Count == 0)
                        {
                            string rootType = df.Root.ResolvedType.ToString();
                            // something else that isn't linq, a list, or dictionary
                            throw new System.NotImplementedException("Method name: " + rootResolvedType.ToString() + "." + df.FieldName.Value);
                        }
                    }
                    else if (rootResolvedType.PrimitiveType != null)
                    {
                        switch (rootResolvedType.PrimitiveType + "." + df.FieldName)
                        {
                        case "string.Join":
                            throw new System.NotImplementedException();

                        // (void) => string
                        case "object.ToString":
                        case "string.ToLowerInvariant":
                        case "string.ToUpperInvariant":
                        case "string.Trim":
                            possibleRoots.Add(ConvertDfToVfr(df, ResolvedType.CreateFunction(ResolvedType.String())));
                            break;

                        // (char) => string
                        case "string.Split":
                            possibleRoots.Add(ConvertDfToVfr(df, ResolvedType.CreateFunction(
                                                                 ResolvedType.CreateArray(ResolvedType.String()),
                                                                 ResolvedType.Char())));
                            break;

                        default:
                            throw new ParserException(df.FieldName, "Not implemented");
                        }
                    }
                    else
                    {
                        throw new System.NotImplementedException();
                    }
                }
            }
            else if (this.Root is ConstructorInvocationFragment)
            {
                ConstructorInvocationFragment cif = (ConstructorInvocationFragment)this.Root;
                cif = (ConstructorInvocationFragment)cif.ResolveTypes(context, varScope);

                ClassDefinition cd = cif.Class.CustomType as ClassDefinition;
                if (cd != null)
                {
                    bool hasAnyConstructors = false;
                    this.ResolvedType = cif.Class;
                    foreach (ConstructorDefinition ctor in cd.Members.OfType <ConstructorDefinition>())
                    {
                        hasAnyConstructors = true;
                        Expression cifw = new ConstructorInvocationFragmentWrapper(cif);
                        cifw.ResolvedType = ResolvedType.CreateFunction(cif.Class, ctor.ResolvedArgTypes);
                        possibleRoots.Add(cifw);
                    }

                    if (!hasAnyConstructors)
                    {
                        possibleRoots.Add(new ConstructorInvocationFragmentWrapper(cif)
                        {
                            ResolvedType = ResolvedType.CreateFunction(cif.Class, new ResolvedType[0])
                        });
                    }
                }
                else if (cif.Class.FrameworkClass != null)
                {
                    if (GetFrameworkConstructorSignature(cif.Class.FrameworkClass) != null)
                    {
                        foreach (ResolvedType funcType in GetFrameworkConstructorSignature(cif.Class.FrameworkClass))
                        {
                            possibleRoots.Add(new ConstructorInvocationFragmentWrapper(cif)
                            {
                                ResolvedType = funcType
                            });
                        }
                    }
                    else
                    {
                        ResolvedType[] generics = cif.Class.Generics;
                        // There's generics. Single out the collection types.
                        switch (cif.Class.FrameworkClass)
                        {
                        case "System.Collections.Generic.List":
                        case "System.Collections.Generic.Stack":
                        case "System.Collections.Generic.Queue":
                        case "System.Collections.Generic.HashSet":
                            // collection with 1 generic

                            // Create an empty collection
                            possibleRoots.Add(new ConstructorInvocationFragmentWrapper(cif)
                            {
                                ResolvedType = ResolvedType.CreateFunction(cif.Class),
                            });

                            // Create a collection with an enumerable
                            possibleRoots.Add(new ConstructorInvocationFragmentWrapper(cif)
                            {
                                ResolvedType = ResolvedType.CreateFunction(cif.Class, ResolvedType.CreateEnumerableType(generics[0]))
                            });

                            // Create a collection with default capacity
                            possibleRoots.Add(new ConstructorInvocationFragmentWrapper(cif)
                            {
                                ResolvedType = ResolvedType.CreateFunction(cif.Class, ResolvedType.Int()),
                            });

                            break;

                        case "System.Collections.Generic.Dictionary":
                            // collection with 2 generics
                            possibleRoots.Add(new ConstructorInvocationFragmentWrapper(cif)
                            {
                                ResolvedType = ResolvedType.CreateFunction(cif.Class)
                            });
                            if (this.Args.Length == 1)
                            {
                                throw new System.NotImplementedException();
                            }
                            break;

                        case "CommonUtil.Collections.Pair":
                            possibleRoots.Add(new ConstructorInvocationFragmentWrapper(cif)
                            {
                                ResolvedType = ResolvedType.CreateFunction(
                                    ResolvedType.CreatePair(generics[0], generics[1]),
                                    generics),
                            });
                            break;

                        default:
                            throw new ParserException(cif.FirstToken,
                                                      "Cannot find this framework collection class' constructor: " + cif.Class.FrameworkClass + ". " +
                                                      "If you're seeing this and this isn't a collection constructor, make sure you add the constructor to the bottom of this file.");
                        }
                    }
                }
            }
            else
            {
                throw new System.NotImplementedException();
            }

            List <Expression> possibleFunctionRoots = new List <Expression>();
            List <Expression> filtered = new List <Expression>();

            foreach (Expression possibleRoot in possibleRoots)
            {
                if (possibleRoot.ResolvedType.FrameworkClass != "System.Func")
                {
                    throw new ParserException(this.OpenParen, "This type can't be invoked like a function.");
                }

                if (possibleRoot.ResolvedType.Generics.Length == this.Args.Length + 1)
                {
                    filtered.Add(possibleRoot);
                }
            }
            possibleFunctionRoots = filtered;
            if (possibleFunctionRoots.Count == 0)
            {
                throw new ParserException(this.FirstToken, "Could not resolve this function");
            }

            List <ResolvedType> argTypes = new List <ResolvedType>();

            for (int i = 0; i < this.Args.Length; ++i)
            {
                Expression arg = this.Args[i];
                if (arg is Lambda)
                {
                    Lambda lambda = (Lambda)arg;
                    List <ResolvedType[]> allCompatibleArgPatterns = new List <ResolvedType[]>();
                    for (int j = 0; j < possibleFunctionRoots.Count; ++j)
                    {
                        ResolvedType expectedArgType = possibleFunctionRoots[j].ResolvedType.Generics[i];
                        if (expectedArgType.PrimitiveType == "object")
                        {
                            throw new ParserException(arg.FirstToken, "Trying to pass in a lambda with no type information in its args into a method that takes in an object, so I can't actually determine what types these args are supposed to be.");
                        }
                        if (expectedArgType.FrameworkClass != "System.Func")
                        {
                            possibleFunctionRoots.RemoveAt(j); // no longer consider this as a possible combination
                            --j;
                            continue;
                        }
                        List <ResolvedType> expectedLambdaArgTypes = new List <ResolvedType>(expectedArgType.Generics);
                        if (expectedLambdaArgTypes.Count - 1 != lambda.Args.Length)
                        {
                            possibleFunctionRoots.RemoveAt(j);
                            --j;
                            continue;
                        }
                        allCompatibleArgPatterns.Add(expectedLambdaArgTypes.ToArray());
                    }

                    if (allCompatibleArgPatterns.Count == 1)
                    {
                        ResolvedType[] expectedArgPatternWinner = allCompatibleArgPatterns[0];

                        arg = ((Lambda)arg).ResolveTypesWithExteriorHint(context, varScope, expectedArgPatternWinner);

                        // If the outgoing return type is not known, then scrape it from the resolved lambda, which
                        // is now aware of its own return type from within the code.
                        if (expectedArgPatternWinner[expectedArgPatternWinner.Length - 1] == null)
                        {
                            ResolvedType returnTypeFromInsideLambda = arg.ResolvedType.Generics[arg.ResolvedType.Generics.Length - 1];
                            expectedArgPatternWinner[expectedArgPatternWinner.Length - 1] = returnTypeFromInsideLambda;
                            possibleFunctionRoots[0].ResolvedType.RecursivelyApplyATypeToAllNulls(returnTypeFromInsideLambda);
                        }
                    }
                    else
                    {
                        // TODO: check to see if all the possible expected arg types are the same, in which case it should be treated as just 1
                        throw new ParserException(this.OpenParen, "This function invocation is ambiguous. Multiplie lambdas apply");
                    }
                }
                else
                {
                    arg = arg.ResolveTypes(context, varScope);
                }
                this.Args[i] = arg;
                argTypes.Add(this.Args[i].ResolvedType);
            }

            foreach (Expression possibleRoot in possibleFunctionRoots)
            {
                ResolvedType[] expectedArgTypes = possibleRoot.ResolvedType.Generics; // has an extra type at the end for the return type but since we're looping through the args length, this won't be an issue
                bool           isMatch          = true;
                for (int i = 0; i < this.Args.Length; ++i)
                {
                    if (!this.Args[i].ResolvedType.CanBeAssignedTo(expectedArgTypes[i], context))
                    {
                        isMatch = false;
                        break;
                    }
                }

                if (isMatch)
                {
                    this.Root = possibleRoot;
                    if (this.Root is ConstructorInvocationFragmentWrapper)
                    {
                        ConstructorInvocationFragmentWrapper cifw = (ConstructorInvocationFragmentWrapper)this.Root;
                        this.Root = cifw.InnerFragment;
                        this.Root.ResolvedType = cifw.ResolvedType;
                        cifw.InnerFragment.ResolveTypesForInitialData(context, varScope);
                    }
                    ResolvedType funcType = this.Root.ResolvedType;
                    this.ResolvedType = funcType.Generics[funcType.Generics.Length - 1];
                    return(this);
                }
            }

            throw new ParserException(this.OpenParen, "No acceptable function signature could be found to match the args.");
        }