| SelfRefObjCtor(_,m)->

Some m

| NotAFunction(_,_,mfun,_)->

| NotAFunction(_,_,_,mfun,_)->

Some mfun

| IllegalFileNameChar(_)-> Some rangeCmdArgs

letBadEventTransformationE()= DeclareResourceString("BadEventTransformation","")

letParameterlessStructCtorE()= DeclareResourceString("ParameterlessStructCtor","")

letInterfaceNotRevealedE()= DeclareResourceString("InterfaceNotRevealed","%s")

letNotAFunction1E()= DeclareResourceString("NotAFunction1","")

letNotAFunction2E()= DeclareResourceString("NotAFunction2","")

letTyconBadArgsE()= DeclareResourceString("TyconBadArgs","%s%d%d")

letIndeterminateTypeE()= DeclareResourceString("IndeterminateType","")

letNameClash1E()= DeclareResourceString("NameClash1","%s%s")

os.Append(ParameterlessStructCtorE().Format)|> ignore

| InterfaceNotRevealed(denv,ity,_)->

os.Append(InterfaceNotRevealedE().Format(NicePrint.minimalStringOfType denv ity))|> ignore

| NotAFunction(_,_,_,marg)->

if marg.StartColumn=0then

os.Append(NotAFunction1E().Format)|> ignore

| NotAFunction(_,_,hasIndexer,_,marg)->

if hasIndexerthen

os.Append(FSComp.SR.notAFunctionButMaybeIndexer())|> ignore

elif marg.StartColumn=0then

os.Append(FSComp.SR.notAFunctionButMaybeDeclaration())|> ignore

os.Append(NotAFunction2E().Format)|> ignore

os.Append(FSComp.SR.notAFunction())|> ignore

| TyconBadArgs(_,tcref,d,_)->

letexp= tcref.TyparsNoRange.Length

returnUsedInsteadOfReturnBang,"Consider using 'return!' instead of 'return'."

yieldUsedInsteadOfYieldBang,"Consider using 'yield!' instead of 'yield'."

tupleRequiredInAbstractMethod,"\nA tuple type is required for one or more arguments. Consider wrapping the given arguments in additional parentheses or review the definition of the interface."

notAFunction,"This value is not a function and cannot be applied."

notAFunctionButMaybeIndexer,"This value is not a function and cannot be applied. But the given value has an indexer. Did you intend to call obj.[index] instead of obj[index]?"

notAFunctionButMaybeDeclaration,"This value is not a function and cannot be applied. Did you forget to terminate a declaration?"

203,buildInvalidWarningNumber,"Invalid warning number '%s'"

204,buildInvalidVersionString,"Invalid version string '%s'"

205,buildInvalidVersionFile,"Invalid version file '%s'"

<dataname="InterfaceNotRevealed"xml:space="preserve">

<value>The type implements the interface '{0}' but this is not revealed by the signature. You should list the interface in the signature, as the interface will be discoverable via dynamic type casts and/or reflection.</value>

</data>

<dataname="NotAFunction1"xml:space="preserve">

<value>This value is not a function and cannot be applied. Did you forget to terminate a declaration?</value>

</data>

<dataname="NotAFunction2"xml:space="preserve">

<value>This value is not a function and cannot be applied</value>

</data>

<dataname="TyconBadArgs"xml:space="preserve">

<value>The type '{0}' expects {1} type argument(s) but is given {2}</value>

</data>

member valtcref_System_Collections_IEqualityComparer= findSysTyconRef sysCollections"IEqualityComparer"

member valtcref_System_Collections_Generic_IEqualityComparer= findSysTyconRef sysGenerics"IEqualityComparer`1"

member valtcref_System_Collections_Generic_Dictionary= findSysTyconRef sysGenerics"Dictionary`2"

member valtcref_System_Collections_Generic_IDictionary= findSysTyconRef sysGenerics"IDictionary`2"

member valtcref_System_IComparable= findSysTyconRef sys"IComparable"

member valtcref_System_IStructuralComparable= findSysTyconRef sysCollections"IStructuralComparable"

exception BakedInMemberConstraintName of string * range

exception FunctionExpected of DisplayEnv * TType * range

exception NotAFunction of DisplayEnv * TType * range * range

exception NotAFunction of DisplayEnv * TType *bool *range * range

exception Recursion of DisplayEnv * Ident * TType * TType * range

exception RecursiveUseCheckedAtRuntime of DisplayEnv * ValRef * range

exception LetRecEvaluatedOutOfOrder of DisplayEnv * ValRef * ValRef * range

| Some res -> res

| None ->

match extraInfo with

| Some argm -> error (NotAFunction(denv,ty,mFunExpr,argm))

| Some argm -> error (NotAFunction(denv,ty,false,mFunExpr,argm))

| None -> error (FunctionExpected(denv,ty,mFunExpr))

let ReportImplicitlyIgnoredBoolExpression denv m ty expr =

| _ ->

// 'delayed' is about to be dropped on the floor, first do rudimentary checking to get name resolutions in its body

RecordNameAndTypeResolutions_IdeallyWithoutHavingOtherEffects_Delayed cenv env tpenv delayed

error (NotAFunction(denv,overallTy,mExpr,mArg))

match expr.Expr with

| Expr.Val (d,_,_) when

HasHeadType cenv.g cenv.g.tcref_System_Collections_Generic_Dictionary d.Type ||

HasHeadType cenv.g cenv.g.tcref_System_Collections_Generic_IDictionary d.Type

->

error (NotAFunction(denv,overallTy,true,mExpr,mArg))

| _ -> error (NotAFunction(denv,overallTy,false,mExpr,mArg))

propagate delayed expr.Range exprty

let bodyOfCompExpr,tpenv = TcComputationOrSequenceExpression cenv env overallTy mFunExpr (Some(expr.Expr,exprty)) tpenv comp

TcDelayed cenv overallTy env tpenv mExprAndArg (MakeApplicableExprNoFlex cenv bodyOfCompExpr) (tyOfExpr cenv.g bodyOfCompExpr) ExprAtomicFlag.NonAtomic delayed

| _ ->

error (NotAFunction(denv,overallTy,mFunExpr,mArg))

error (NotAFunction(denv,overallTy,false,mFunExpr,mArg))

//-------------------------------------------------------------------------

// TcLongIdentThen : Typecheck "A.B.C<D>.E.F ... " constructs

exception BakedInMemberConstraintNameofstring*range

exception FunctionExpectedofDisplayEnv*TType*range

exception NotAFunctionofDisplayEnv*TType*range*range

exception NotAFunctionofDisplayEnv*TType*bool*range*range

exception RecursionofDisplayEnv*Ast.Ident*TType*TType*range

exception RecursiveUseCheckedAtRuntimeofDisplayEnv*ValRef*range

exception LetRecEvaluatedOutOfOrderofDisplayEnv*ValRef*ValRef*range