[WIP, FS-1043] Extension members visible to trait constraints#3582

Closed

TobyShaw wants to merge 37 commits intodotnet:masterfrom

TobyShaw:extensionconstraints

Commits on Aug 17, 2017

First attempt
Lab User
committed

Commits on Aug 18, 2017

add testfile
TobyShaw
committed

Commits on Sep 14, 2017

First draft, messy solution

labuser
authored and
labuser
committed
Merge branch 'extensionconstraints' of https://github.com/TobyShaw/visualfsharp into extensionconstraints

labuser
authored and
labuser
committed

Commits on Sep 25, 2017

merge with master
dsyme
committed
merge with master
dsyme
committed
work towards freshening things correctly

dsyme
authored and
dsyme
committed
fix build

dsyme
authored and
dsyme
committed
prototype for extension solutions to trait constraints

dsyme
authored and
dsyme
committed

Commits on Sep 27, 2017

Merge branch 'master' of http://github.com/Microsoft/visualfsharp into extensionconstraints
dsyme
committed
resolve
dsyme
committed
resolve and merge
dsyme
committed
resolve and merge
dsyme
committed
minor cleanup
dsyme
committed
merge

dsyme
authored and
dsyme
committed
it works

dsyme
authored and
dsyme
committed
minor cleanup
dsyme
committed

Commits on Sep 29, 2017

various fixes

dsyme
authored and
dsyme
committed

Commits on Oct 2, 2017

Merge branch 'master' of http://github.com/Microsoft/visualfsharp into extensionconstraints

dsyme
authored and
dsyme
committed
support extenstion properties on generic types

dsyme
authored and
dsyme
committed
range of fixes to freshening and trait printing

dsyme
authored and
dsyme
committed
fix build

dsyme
authored and
dsyme
committed
Merge branch 'master' of http://github.com/Microsoft/visualfsharp into extensionconstraints

dsyme
authored and
dsyme
committed
reduce diff

dsyme
authored and
dsyme
committed
merge with master

dsyme
authored and
dsyme
committed

Commits on Oct 3, 2017

Merge branch 'master' into extensionconstraints
dsyme
authored

Commits on Nov 17, 2017

Fix Oddities in statically resolved method constraints and method overloading

dsyme
authored and
dsyme
committed

Commits on Nov 18, 2017

Commits on Dec 1, 2017

Merge branch 'master' of http://github.com/Microsoft/visualfsharp into fix-3814

dsyme
authored and
dsyme
committed
Merge branch 'fix-3814' of https://github.com/dsyme/visualfsharp into fix-3814

dsyme
authored and
dsyme
committed
integrate master

dsyme
authored and
dsyme
committed
minimize diff and integrate fix

dsyme
authored and
dsyme
committed
minimize diff

dsyme
authored and
dsyme
committed
minimize diff

dsyme
authored and
dsyme
committed
minimize diff

dsyme
authored and
dsyme
committed
minimize diff

dsyme
authored and
dsyme
committed