and TcUnnamedMethodArgs cenv env lambdaPropagationInfo tpenv args =

List.mapiFoldSquared (TcUnnamedMethodArg cenv env) (lambdaPropagationInfo,tpenv) args

and TcUnnamedMethodArgcenv env (lambdaPropagationInfo,tpenv) (i,j,CallerArg(argTy,mArg,isOpt,argExpr)) =

and TcUnnamedMethodArg cenv env (lambdaPropagationInfo,tpenv) (i,j,CallerArg(argTy,mArg,isOpt,argExpr)) =

// Try to find the lambda propagation info for the corresponding unnamed argument at this position

let lambdaPropagationInfoForArg =

[| for (unnamedInfo,_) in lambdaPropagationInfo ->

// Apply the F# 3.1 rule for extracting information for lambdas

//

// Before we check the argument, check to see if we can propagate info from a called lambda expression into the arguments of a received lambda

lambdaPropagationInfoForArg|> Array.forall (function ArgDoesNotMatch | CallerLambdaHasArgTypes _ -> true | NoInfo | CalledArgMatchesType _ -> false)

ifallOverloadsAreFuncOrMismatchForThisArg then

let overloadsWhichAreFuncAtThisPosition = lambdaPropagationInfoForArg |> Array.choose (function CallerLambdaHasArgTypes r -> Some (List.toArray r) | _ -> None)

if overloadsWhichAreFuncAtThisPosition.Length > 0 then

|> Array.forall (function ArgDoesNotMatch | CallerLambdaHasArgTypes _| NoInfo-> true | CalledArgMatchesType _ -> false)

ifallOverloadsAreNotCalledArgMatchesForThisArg then

let overloadsWhichAreFuncAtThisPosition = lambdaPropagationInfoForArg |> Array.choose (function CallerLambdaHasArgTypes r -> Some (List.toArray r) | _ -> None)

if overloadsWhichAreFuncAtThisPosition.Length > 0 then

let minFuncArity = overloadsWhichAreFuncAtThisPosition |> Array.minBy Array.length |> Array.length

let prefixOfLambdaArgsForEachOverload = overloadsWhichAreFuncAtThisPosition |> Array.map (Array.take minFuncArity)

loop callerLambdaRangeTy (lambdaVarNum + 1)

| None -> ()

loop argTy 0

end

let e',tpenv = TcExpr cenv argTy env tpenv argExpr

typeGuidWrapper= GuidWrapperofGuid

let(GuidWrapper id)= x

x

letid= Guid.NewGuid()

letmap=[GuidWrapper id, GuidWrapper id]|> Map

lety= map.ToDictionary((fun m-> m.Key.Id),(fun m-> m.Value.Id))

printfn"%A" y

exit0

SOURCE=OperatorOverloading04.fs# OperatorOverloading04.fs

SOURCE=E_OperatorOverloading01.fs SCFLAGS="--test:ErrorRanges"# E_OperatorOverloading01.fs

SOURCE=InferenceForLambdaArgs.fs# InferenceForLambdaArgs.fs

SOURCE=SlowOverloadResolution.fs# SlowOverloadResolution.fs

SOURCE=E_OverloadCurriedFunc.fs# E_OverloadCurriedFunc.fs