Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
dsyme wants to merge 69 commits into from
Closed

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

Changes from 1 commit
Commits
Show all changes
69 commits
Select commit Hold shift + click to select a range
7822a13
First attempt
Aug 17, 2017
f977d3f
add testfile
TobyShaw Aug 18, 2017
898d97b
First draft, messy solution
Sep 14, 2017
888f1cf
Merge branch 'extensionconstraints' of https://github.com/TobyShaw/vi…
Sep 14, 2017
1b41d93
merge with master
dsyme Sep 25, 2017
9efe7ef
merge with master
dsyme Sep 25, 2017
7121bc3
work towards freshening things correctly
Sep 25, 2017
bdfa7b3
fix build
Sep 25, 2017
1fa2326
prototype for extension solutions to trait constraints
Sep 25, 2017
baf3f15
Merge branch 'master' of http://github.com/Microsoft/visualfsharp int…
dsyme Sep 27, 2017
db3f298
resolve
dsyme Sep 27, 2017
b8c95f4
resolve and merge
dsyme Sep 27, 2017
f75a2ab
resolve and merge
dsyme Sep 27, 2017
072cbbb
minor cleanup
dsyme Sep 27, 2017
2e78b58
merge
Sep 27, 2017
9bdfb21
it works
Sep 27, 2017
96502ea
minor cleanup
dsyme Sep 27, 2017
f287f20
various fixes
Sep 29, 2017
100ff18
Merge branch 'master' of http://github.com/Microsoft/visualfsharp int…
Oct 2, 2017
91d1a35
support extenstion properties on generic types
Oct 2, 2017
7513645
range of fixes to freshening and trait printing
Oct 2, 2017
010bf0f
fix build
Oct 2, 2017
d0bc0b3
Merge branch 'master' of http://github.com/Microsoft/visualfsharp int…
Oct 2, 2017
36d26e7
reduce diff
Oct 2, 2017
434b095
merge with master
Oct 2, 2017
000e34d
Merge branch 'master' into extensionconstraints
dsyme Oct 3, 2017
8b601f2
Fix Oddities in statically resolved method constraints and method ove…
Nov 17, 2017
77447d6
no return type needed before proceeding to overload resolution
dsyme Nov 18, 2017
c67437d
fix tests
dsyme Nov 18, 2017
827f38a
Merge branch 'master' of http://github.com/Microsoft/visualfsharp int…
Dec 1, 2017
dbe243c
Merge branch 'fix-3814' of https://github.com/dsyme/visualfsharp into…
Dec 1, 2017
ec80c48
integrate master
Dec 1, 2017
4e7183e
minimize diff and integrate fix
Dec 1, 2017
4ca7ea8
minimize diff
Dec 1, 2017
fa31367
minimize diff
Dec 1, 2017
281e1f0
minimize diff
Dec 1, 2017
58787bd
minimize diff
Dec 1, 2017
3316850
integrate master
dsyme Feb 26, 2019
1f325a8
reduce diff
dsyme Feb 26, 2019
bd86a8f
fix build
dsyme Feb 27, 2019
261d654
update baselines
dsyme Feb 27, 2019
8070d9d
update baseline
dsyme Feb 28, 2019
6c3df9f
Merge branch 'master' of http://github.com/Microsoft/visualfsharp int…
dsyme Mar 1, 2019
cbb001d
Merge branch 'master' of https://github.com/Microsoft/visualfsharp in…
dsyme Mar 2, 2019
b0fc19f
Merge branch 'ext' of https://github.com/dsyme/visualfsharp into ext
dsyme Mar 2, 2019
2f14b5d
resolve conflicts
dsyme Mar 3, 2019
fe65783
Merge branch 'ext' of https://github.com/dsyme/visualfsharp into ext
dsyme Mar 3, 2019
4d45e03
integrate master
dsyme Mar 9, 2019
d1b1389
add diagnostics
dsyme Mar 10, 2019
0f89711
add diagnostics
dsyme Mar 10, 2019
7da6aff
diagnostics
dsyme Mar 11, 2019
871489b
diagnostics
dsyme Mar 11, 2019
27d00a0
diagnostics
dsyme Mar 11, 2019
7d98d16
add diagnostics and possible fix for tp smoke tests
dsyme Mar 11, 2019
cc6e992
fix build
dsyme Mar 11, 2019
e13b385
fix build
dsyme Mar 11, 2019
d16e49b
Merge branch 'diag4' into ext
dsyme Mar 11, 2019
119f1a7
integrate master
dsyme Mar 11, 2019
42b1f1d
append extension methods in GetRelevantMethodsForTrait
kevmal Mar 15, 2019
e11da64
Merge pull request #13 from kevmal/ext1
dsyme Mar 15, 2019
23b8296
integrate master
dsyme Mar 20, 2019
5fef227
Merge branch 'master' of https://github.com/Microsoft/visualfsharp in…
dsyme Mar 21, 2019
997d7eb
Merge branch 'master' of http://github.com/Microsoft/visualfsharp int…
dsyme Mar 22, 2019
b5365ba
fix tests
dsyme Mar 22, 2019
2605751
merge master
dsyme Mar 26, 2019
b27315a
Merge branch 'master' of http://github.com/Microsoft/visualfsharp int…
dsyme Apr 1, 2019
2c8a378
Merge branch 'master' of http://github.com/Microsoft/visualfsharp int…
dsyme Apr 14, 2019
088a7d5
merge master
dsyme Apr 16, 2019
0450da8
fix build
dsyme Apr 16, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge branch 'master' of http://github.com/Microsoft/visualfsharp int… 
…o ext
  • Loading branch information
@dsyme
dsyme committed Mar 1, 2019
commit 6c3df9f9da1ce98b03e193fdd35229f1b29173b4

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.