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

Some mfun

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

Some mfun

| IllegalFileNameChar(_)-> Some rangeCmdArgs

| ErrorFromAddingTypeEquation_->1

| FunctionExpected_->2

| NotAFunctionButIndexer_->3217

| NotAFunction_->3

| FieldNotMutable_->5

| Recursion_->6

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

| NotAFunctionButIndexer(_,_,name,_,_)->

match namewith

| Some name-> os.Append(FSComp.SR.notAFunctionButMaybeIndexerWithName name)|> ignore

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

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

if marg.StartColumn=0then

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

if 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

if exp=0then

undefinedNameTypeParameter,"The type parameter %s is not defined."

undefinedNamePatternDiscriminator,"The pattern discriminator '%s' is not defined."

replaceWithSuggestion,"Replace with '%s'"

addIndexerDot,"Add . for indexer access."

listElementHasWrongType,"All elements of a list constructor expression must have the same type. This expression was expected to have type '%s', but here has type '%s'."

arrayElementHasWrongType,"All elements of an array constructor expression must have the same type. This expression was expected to have type '%s', but here has type '%s'."

missingElseBranch,"The 'if' expression is missing an 'else' branch. The 'then' branch has type '%s'. Because 'if' is an expression, and not a statement, add an 'else' branch which returns a value of the same type."

3216,itemNotFoundDuringDynamicCodeGen,"%s '%s' not found in assembly '%s'. A possible cause may be a version incompatibility. You may need to explicitly reference the correct version of this assembly to allow all referenced components to use the correct version."

3216,itemNotFoundInTypeDuringDynamicCodeGen,"%s '%s' not found in type '%s' from assembly '%s'. A possible cause may be a version incompatibility. You may need to explicitly reference the correct version of this assembly to allow all referenced components to use the correct version."

descriptionWordIs,"is"

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

notAFunctionButMaybeIndexerWithName,"This value is not a function and cannot be applied. Did you intend to access the indexer via %s.[index] instead?"

notAFunctionButMaybeIndexer,"This expression is not a function and cannot be applied. Did you intend to access the indexer via expr.[index] instead?"

3217,notAFunctionButMaybeIndexerErrorCode,""

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

<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>

letpinfos= pinfos|> List.filter(IsPropInfoAccessible g amap m ad)

pinfos

isArray1DTy g typ||

isListTy g typ||

match tryDestAppTy g typwith

| Some tcref->

let_,entityTy= generalizeTyconRef tcref

letprops= GetImmediateIntrinsicPropInfosOfType(None, AccessibleFromSomeFSharpCode) g amap range0 entityTy

props|> List.exists(fun x-> x.PropertyName="Item")

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"

member valtcref_LanguagePrimitives= mk_MFCore_tcref fslibCcu"LanguagePrimitives"

member valtcref_System_Collections_Generic_IList= findSysTyconRef sysGenerics"IList`1"

member valtcref_System_Collections_Generic_IReadOnlyList= findSysTyconRef sysGenerics"IReadOnlyList`1"

member valtcref_System_Collections_Generic_ICollection= findSysTyconRef sysGenerics"ICollection`1"

exception BakedInMemberConstraintName of string * range

exception FunctionExpected of DisplayEnv * TType * range

exception NotAFunction of DisplayEnv * TType * range * range

exception NotAFunctionButIndexer of DisplayEnv * TType * string option * range * range

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

exception RecursiveUseCheckedAtRuntime of DisplayEnv * ValRef * range

exception LetRecEvaluatedOutOfOrder of DisplayEnv * ValRef * ValRef * range

propagate delayedList' mExprAndArg resultTy

| None ->

let mArg = arg.Range

match arg with

match arg with

| SynExpr.CompExpr _ -> ()

| _ ->

| SynExpr.ArrayOrListOfSeqExpr (false,_,_) ->

// '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

if IsIndexerType cenv.g cenv.amap expr.Type then

match expr.Expr with

| Expr.Val (d,_,_) ->

error (NotAFunctionButIndexer(denv,overallTy,Some d.DisplayName,mExpr,mArg))

| _ ->

error (NotAFunctionButIndexer(denv,overallTy,None,mExpr,mArg))

else

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

| _ ->

// '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))

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

propagate delayed expr.Range exprty

exception BakedInMemberConstraintNameofstring*range

exception FunctionExpectedofDisplayEnv*TType*range

exception NotAFunctionofDisplayEnv*TType*range*range

exception NotAFunctionButIndexerofDisplayEnv*TType*stringoption*range*range

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

exception RecursiveUseCheckedAtRuntimeofDisplayEnv*ValRef*range

exception LetRecEvaluatedOutOfOrderofDisplayEnv*ValRef*ValRef*range

| ForEachofforSeqPoint:SequencePointInfoForForLoop*seqExprOnly:SeqExprOnly*isFromSource:bool*pat:SynPat*enumExpr:SynExpr*bodyExpr:SynExpr*range:range

| ArrayOrListOfSeqExprofisList:bool*expr:SynExpr*range:range

| ArrayOrListOfSeqExprofisArray:bool*expr:SynExpr*range:range

neg03.fs(106,15,106,17): typecheck error FS0025: Incomplete pattern matches on this expression.For example, the value '[0]' may indicate a casenot covered by the pattern(s).

neg03.fs(148,23,148,26): typecheck error FS0003: This value isnot a functionand cannot be applied

neg03.fs(148,23,148,26): typecheck error FS0003: This value isnot a functionand cannot be applied.

neg03.fs(151,9,151,23): typecheck error FS0002: This function takes too many arguments,or is usedin a context where a function isnot expected

neg66.fsx(43,4,43,5): parse error FS0010: Unexpected symbol ')' in definition. Expected incomplete structured construct at or before this point or other token.

neg66.fsx(30,1,38,33): typecheck error FS0003: This value is not a function and cannot be applied

neg66.fsx(30,1,38,33): typecheck error FS0003: This value is not a function and cannot be applied.