Commit8fbaf45

committed

Use a set for lookup

1 parentab32d16 commit8fbaf45Copy full SHA for 8fbaf45

File tree

-3

lines changed

-3

lines changed

Lines changed: 2 additions & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -298,7 +298,8 @@ let BakedInTraitConstraintNames =`
`298`	`298`	`"op_OnesComplement";"Abs";"Sqrt";"Sin";"Cos";"Tan";`
`299`	`299`	`"Sinh";"Cosh";"Tanh";"Atan";"Acos";"Asin";"Exp";"Ceiling";"Floor";"Round";"Log10";"Log";"Sqrt";`
`300`	`300`	`"Truncate";"op_Explicit";`
`301`		`-"Pow";"Atan2"]`
	`301`	`+"Pow";"Atan2"]`
	`302`	`+\|> Set.ofList`
`302`	`303`
`303`	`304`	`//-------------------------------------------------------------------------`
`304`	`305`	`// Run the constraint solver with undo (used during method overload resolution)`

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -94,7 +94,7 @@ type ConstraintSolverState =`
`94`	`94`
`95`	`95`	`type ConstraintSolverEnv`
`96`	`96`
`97`		`-val BakedInTraitConstraintNames: string list`
	`97`	`+val BakedInTraitConstraintNames:Set<string>`
`98`	`98`
`99`	`99`	`val MakeConstraintSolverEnv: ContextInfo-> ConstraintSolverState-> range-> DisplayEnv-> ConstraintSolverEnv`
`100`	`100`

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -5977,7 +5977,7 @@ and TcExprUndelayed cenv overallTy env tpenv (expr: SynExpr) =`
`5977`	`5977`	`\| SynExpr.TraitCall(tps,memSpfn,arg,m) ->`
`5978`	`5978`	`let synTypes = tps \|> List.map (fun tp -> SynType.Var(tp,m))`
`5979`	`5979`	`let (TTrait(_,logicalCompiledName,_,argtys,returnTy,_) as traitInfo),tpenv = TcPseudoMemberSpec cenv NewTyparsOK env synTypes tpenv memSpfn m`
`5980`		`- ifList.contains logicalCompiledName BakedInTraitConstraintNames then`
	`5980`	`+ ifBakedInTraitConstraintNames.Contains logicalCompiledName then`
`5981`	`5981`	`warning(BakedInMemberConstraintName(logicalCompiledName,m))`
`5982`	`5982`
`5983`	`5983`	`let returnTy = GetFSharpViewOfReturnType cenv.g returnTy`

Comments

(0)