Commit66af44b

authored and

committed

No need to setify fully (#4975)

1 parentcfffaff commit66af44bCopy full SHA for 66af44b

File tree

+18

-1

lines changed

+18

-1

lines changed

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -1631,7 +1631,7 @@ let ChooseCanonicalDeclaredTyparsAfterInference g denv declaredTypars m =`
`1631`	`1631`
`1632`	`1632`	`let declaredTypars = NormalizeDeclaredTyparsForEquiRecursiveInference g declaredTypars`
`1633`	`1633`
`1634`		`- if(ListSet.setify typarEq declaredTypars).Length <> declaredTypars.Length then`
	`1634`	`+ if ListSet.hasDuplicates typarEq declaredTypars then`
`1635`	`1635`	`errorR(Error(FSComp.SR.tcConstrainedTypeVariableCannotBeGeneralized(), m))`
`1636`	`1636`
`1637`	`1637`	`declaredTypars`

Lines changed: 17 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -230,6 +230,23 @@ module ListSet =`
`230`	`230`	`// Note: if duplicates appear, keep the ones toward the _front_ of the list`
`231`	`231`	`letsetify f l= List.foldBack(insert f)(List.rev l)[]\|> List.rev`
`232`	`232`
	`233`	`+lethasDuplicates f l=`
	`234`	`+match lwith`
	`235`	`+\|[]->false`
	`236`	`+\|[_]->false`
	`237`	`+\|[x; y]-> f x y`
	`238`	`+\| x::rest->`
	`239`	`+let recloop acc l=`
	`240`	`+match lwith`
	`241`	`+\|[]->false`
	`242`	`+\| x::rest->`
	`243`	`+if contains f x accthen`
	`244`	`+true`
	`245`	`+else`
	`246`	`+ loop(x::acc) rest`
	`247`	`+`
	`248`	`+ loop[x] rest`
	`249`	`+`
`233`	`250`	`//-------------------------------------------------------------------------`
`234`	`251`	`// Library: pairs`
`235`	`252`	`//------------------------------------------------------------------------`

Comments

(0)