[RFC FS-1043] Extension members visible to trait constraints#6805

Closed

dsyme wants to merge 279 commits intomainfrom

This pull request is big! We're only showing the most recent 250 commits

Commits on Jan 31, 2020

Commits on Feb 1, 2020

Merge pull request #8438 from dotnet/merges/master-to-feature/ext
KevinRansom
authored

Commits on Feb 5, 2020

Commits on Feb 6, 2020

Commits on Feb 10, 2020

Commits on Mar 12, 2020

Commits on Mar 17, 2020

merge master
dsyme
committed

Commits on Mar 19, 2020

Commits on Mar 23, 2020

merge master
dsyme
committed

Commits on Mar 24, 2020

Commits on Mar 25, 2020

merge master
dsyme
committed
merge master
dsyme
committed

Commits on Mar 26, 2020

merge master
dsyme
committed

Commits on Mar 27, 2020

Commits on Mar 30, 2020

merge master
dsyme
committed

Commits on Apr 2, 2020

Merge pull request #8864 from dotnet/merges/master-to-feature/ext
KevinRansom
authored

Commits on Apr 7, 2020

Merge branch 'master' of https://github.com/dotnet/fsharp into feature/ext
dsyme
committed

Commits on Apr 8, 2020

Merge pull request #8901 from dotnet/merges/master-to-feature/ext
KevinRansom
authored

Commits on Apr 10, 2020

Commits on Apr 15, 2020

Merge pull request #8946 from dotnet/merges/master-to-feature/ext
KevinRansom
authored

Commits on Apr 17, 2020

Commits on Apr 18, 2020

Merge pull request #8988 from dotnet/merges/master-to-feature/ext
KevinRansom
authored

Commits on Apr 20, 2020

merge master
dsyme
committed

Commits on Apr 27, 2020

Merge branch 'master' of https://github.com/dotnet/fsharp into feature/ext
dsyme
committed

Commits on May 5, 2020

Merge branch 'master' of https://github.com/dotnet/fsharp into feature/ext
dsyme
committed

Commits on May 21, 2020

Merge branch 'master' into feature/ext
dsyme
authored

Commits on Jun 3, 2020

Commits on Jun 13, 2020

Merge pull request #9439 from dotnet/merges/master-to-feature/ext
KevinRansom
authored

Commits on Jun 15, 2020

Commits on Jun 17, 2020

Commits on Jun 18, 2020

Commits on Oct 23, 2020

merge main
Don Syme
committed
merge main
Don Syme
committed

Commits on Oct 24, 2020

Merge commit '0b69e41ae38243961beb34eac52d58ddf208f6d5' of https://github.com/dotnet/fsharp into feature/ext
Don Syme
committed
merge main
Don Syme
committed
fix test
Don Syme
committed

Commits on Oct 25, 2020

fix test after merge
Don Syme
committed

Commits on Oct 28, 2020

Commits on Oct 30, 2020

Commits on Nov 1, 2020

Commits on Nov 2, 2020

Merge pull request #10377 from dotnet/merges/main-to-feature/ext
KevinRansom
authored

Commits on Nov 11, 2020

Commits on Dec 7, 2020

merge main
Don Syme
committed

Commits on Dec 8, 2020

fix merge
Don Syme
committed
fix test
Don Syme
committed
Delete FSharp.Compiler.Service.fsproj
dsyme
authored
Delete CompileOps.fs
dsyme
authored

Commits on Dec 10, 2020

merge main
Don Syme
committed
add expression testing for unitized operators
Don Syme
committed
fix witnesses for unitized operators
Don Syme
committed
add expression testing for unitized operators
Don Syme
committed
fix witnesses for primitive operators with units of measure
Don Syme
committed
first check test cases fail for primitive operators with units of measure
Don Syme
committed
fix witnesses for primitive operators with units of measure
Don Syme
committed
fix witnesses
Don Syme
committed
integrate fix99
Don Syme
committed

Commits on Dec 11, 2020

Merge pull request #10673 from dotnet/merges/main-to-feature/ext
KevinRansom
authored

Commits on Dec 13, 2020

merge main
Don Syme
committed
fix tests
Don Syme
committed

Commits on Dec 14, 2020

Commits on Dec 15, 2020

Merge pull request #10714 from dotnet/merges/main-to-feature/ext
KevinRansom
authored

Commits on Dec 16, 2020

Commits on Dec 17, 2020

Merge pull request #10747 from dotnet/merges/main-to-feature/ext
KevinRansom
authored

Commits on Dec 21, 2020

integrate main
Don Syme
committed

Commits on Dec 22, 2020

Merge pull request #10775 from dotnet/merges/main-to-feature/ext
KevinRansom
authored

Commits on Dec 23, 2020

Commits on Feb 4, 2021

integrate main
Don Syme
committed

Commits on Feb 5, 2021

Merge pull request #11013 from dotnet/merges/main-to-feature/ext
KevinRansom
authored

Commits on Feb 6, 2021

Merge pull request #11038 from dotnet/merges/main-to-feature/ext
cartermp
authored

Commits on Feb 8, 2021

Merge pull request #11053 from dotnet/merges/main-to-feature/ext
KevinRansom
authored

Commits on Feb 9, 2021

Merge pull request #11064 from dotnet/merges/main-to-feature/ext
KevinRansom
authored

Commits on Feb 11, 2021

Merge pull request #11081 from dotnet/merges/main-to-feature/ext
KevinRansom
authored

Commits on Feb 12, 2021

Merge pull request #11094 from dotnet/merges/main-to-feature/ext
KevinRansom
authored

Commits on Mar 29, 2021

Merge branch 'main' of https://github.com/dotnet/fsharp into feature/ext
Don Syme
committed

Commits on May 24, 2021

merge main
Don Syme
committed

Commits on Jun 8, 2021

merge main
Don Syme
committed

Commits on Jun 9, 2021

Merge branch 'main' of https://github.com/dotnet/fsharp into feature/ext
dsyme
committed

Commits on Jun 10, 2021

Merge branch 'main' of https://github.com/dotnet/fsharp into feature/ext
dsyme
committed

Commits on Jun 24, 2021

Merge branch 'main' of https://github.com/dotnet/fsharp into feature/ext
Don Syme
committed
fix test
Don Syme
committed

Commits on Jun 25, 2021

Merge branch 'main' of https://github.com/dotnet/fsharp into feature/ext
Don Syme
committed

Commits on Jul 14, 2021

Merge branch 'main' of https://github.com/dotnet/fsharp into feature/ext
Don Syme
committed

Commits on Jul 16, 2021

Merge branch 'main' into feature/ext
vzarytovskii
authored

Commits on Jul 20, 2021

Merge branch 'main' into feature/ext
vzarytovskii
authored

Commits on Sep 14, 2021

Commits on Sep 15, 2021

trim diff
dsyme
committed

Commits on Jul 12, 2022

Commits on Oct 26, 2022