Commit22898ad

Vasily Kirichenko

authored and

Vasily Kirichenko

committed

restrict usingnameof operator as first class

1 parent0f5165f commit22898adCopy full SHA for 22898ad

File tree

-2

lines changed

-2

lines changed

Lines changed: 2 additions & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -1334,4 +1334,5 @@ tcGlobalsSystemTypeNotFound,"The system type '%s' was required but no referenced`
`1334`	`1334`	`3213,typrelMemberHasMultiplePossibleDispatchSlots,"The member '%s' matches multiple overloads of the same method.\nPlease restrict it to one of the following:%s."`
`1335`	`1335`	`3214,methodIsNotStatic,"Method or object constructor '%s' is not static"`
`1336`	`1336`	`3215,expressionHasNoName,"This expression does not have a name."`
`1337`		`-3216,nameofNotPermitted,"The nameof operator is not allowed in this position."`
	`1337`	`+3216,nameofNotPermitted,"The nameof operator is not allowed in this position."`
	`1338`	`+3217,chkNoFirstClassNameOf,"First-class uses of the 'nameof' operator is not permitted"`

Lines changed: 1 addition & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -514,6 +514,7 @@ and CheckVal (cenv:cenv) (env:env) v m context =`
`514`	`514`	`if isSpliceOperator cenv.g vthen errorR(Error(FSComp.SR.chkNoFirstClassSplicing(), m))`
`515`	`515`	`if valRefEq cenv.g v cenv.g.addrof_vrefthen errorR(Error(FSComp.SR.chkNoFirstClassAddressOf(), m))`
`516`	`516`	`if valRefEq cenv.g v cenv.g.reraise_vrefthen errorR(Error(FSComp.SR.chkNoFirstClassRethrow(), m))`
	`517`	`+if valRefEq cenv.g v cenv.g.nameof_vrefthen errorR(Error(FSComp.SR.chkNoFirstClassNameOf(), m))`
`517`	`518`	`if noByrefs context&& isByrefLikeTy cenv.g v.Typethen`
`518`	`519`	`// byref typed val can only occur in permitting contexts`
`519`	`520`	`errorR(Error(FSComp.SR.chkNoByrefAtThisPoint(v.DisplayName), m))`

Lines changed: 3 additions & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -7763,7 +7763,9 @@ let IsSimpleSyntacticConstantExpr g inputExpr =`
`7763`	`7763`	`\| Expr.Op(TOp.UnionCase_,_,[],_)// Nullary union cases`
`7764`	`7764`	`\| UncheckedDefaultOfExpr g_`
`7765`	`7765`	`\| SizeOfExpr g_`
`7766`		`-\| TypeOfExpr g_->true`
	`7766`	`+\| TypeOfExpr g_`
	`7767`	`+\| NameOfExpr g_`
	`7768`	`+\| TypeNameOfExpr g_->true`
`7767`	`7769`	`// All others are not simple constant expressions`
`7768`	`7770`	`\|_->false`
`7769`	`7771`

Comments

(0)