tcGlobalsSystemTypeNotFound,"The system type '%s' was required but no referenced system DLL contained this type"

3213,typrelMemberHasMultiplePossibleDispatchSlots,"The member '%s' matches multiple overloads of the same method.\nPlease restrict it to one of the following:%s."

3214,methodIsNotStatic,"Method or object constructor '%s' is not static"

3215,expressionHasNoName,"This expression does not have a name."

3215,expressionHasNoName,"Expression does not have a name."

3216,chkNoFirstClassNameOf,"First-class uses of the 'nameof' operator is not permitted."

let mFunExpr = expr.Range

let (|LastPartOfLongIdentStripParens|_|) expr =

let rec stripParens expr =

match expr with

| SynExpr.Paren(expr, _, _, _) -> stripParens expr

| _ -> expr

let rec findIdents expr =

match expr with

| SynExpr.Ident ident -> Some ([ident], ident)

| SynExpr.TypeApp (expr = expr) -> findIdents expr

| SynExpr.LongIdent(_, LongIdentWithDots(idents, _), _, _) when not (List.isEmpty idents) -> Some (idents, List.last idents)

| _ -> None

findIdents (stripParens expr)

findIdents expr

let rec stripParens expr =

match expr with

| SynExpr.Paren(expr, _, _, _) -> stripParens expr

| _ -> expr

// If the type of 'synArg' unifies as a function type, then this is a function application, otherwise

// it is an error or a computation expression

match UnifyFunctionTypeUndoIfFailed cenv denv mFunExpr exprty with

| Some (domainTy,resultTy) ->

match expr with

| ApplicableExpr(_, NameOfExpr cenv.g _, _) ->

match synArg with

let cleanSynArg = stripParens synArg

match cleanSynArg with

| LastPartOfLongIdentStripParens (idents, lastIdent) ->

// Try to resolve the `nameof` operator argument to prevent passing anything to it.

ResolveExprLongIdent cenv.tcSink cenv.nameResolver mArg env.eAccessRights env.eNameResEnv TypeNameResolutionInfo.Default idents |> ignore

// generate fake `range` for the constant the `nameof(..)` we are substituting

let constRange = mkRange r.FileName r.Start (mkPos r.StartLine (r.StartColumn + lastIdent.idText.Length + 2)) // `2` are for quotes

TcDelayed cenv overallTy env tpenv mExprAndArg (ApplicableExpr(cenv, Expr.Const(Const.String(lastIdent.idText), constRange, cenv.g.string_ty), true)) cenv.g.string_ty ExprAtomicFlag.Atomic delayed

| _ -> error (Error(FSComp.SR.expressionHasNoName(),expr.Range))

| _ -> error (Error(FSComp.SR.expressionHasNoName(),cleanSynArg.Range))

| _ ->

// Notice the special case 'seq { ... }'. In this case 'seq' is actually a function in the F# library.

// Set a flag in the syntax tree to say we noticed a leading 'seq'

letx= nameof(1+2)

letx= nameof(f())

letdict=new System.Collections.Generic.Dictionary<int,string>()

letb= nameof(dict.[2])

letx= nameof1

letf x=1* x

letx= nameof(f2)

letf x y= x y

letz x=1* x

letf x y= y* x

letx= nameof(f2)

letx= nameof"string"