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

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

3216,nameofNotPermitted,"The nameof operator is not allowed in this position."

3217,wrongNameofArgument,"Only identifiers are allowed as argument for nameof operator."

| _ -> expr

match stripParens expr with

| SynExpr.Ident ident -> Some ident

| SynExpr.LongIdent(_, LongIdentWithDots(idents, _), _, _) -> List.tryLast idents

| _ -> None

// 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, synArg with

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

let r = expr.Range

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

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

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

match expr with

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

match synArg with

| LastPartOfLongIdentStripParens argIdent ->

let r = expr.Range

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

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

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

| _ -> error (Error(FSComp.SR.wrongNameofArgument(), synArg.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'