Witnesses made visible in FCS#9510

Merged

cartermp merged 14 commits intomainfrom

Nov 3, 2020

Commits on Jun 19, 2020

witnesses made visible in FCS
dsyme
committed

Commits on Sep 6, 2020

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

Commits on Sep 22, 2020

Commits on Oct 23, 2020

merge main
Don Syme
committed
fix build
Don Syme
committed

Commits on Oct 24, 2020

add testing
Don Syme
committed
add testing
Don Syme
committed

Commits on Oct 25, 2020

fix tests
Don Syme
committed
fix tests
Don Syme
committed

Commits on Oct 28, 2020

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

Commits on Oct 30, 2020

Fix Regression with quotations of List.sum on non-primitive type
Don Syme
committed
further testing for FCS on List.sum on non-primitive type
Don Syme
committed
run Expr tests in independent checkers to get consistent names
Don Syme
committed