Skip to content

Witnesses made visible in FCS #9510

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

Merged
cartermp merged 14 commits into from
Nov 3, 2020
Merged

Witnesses made visible in FCS #9510

Changes from 1 commit
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
de9923d
witnesses made visible in FCS
dsyme Jun 19, 2020
46ba75a
Merge branch 'main' of https://github.com/dotnet/fsharp into feature/…
dsyme Sep 6, 2020
0e81647
Merge branch 'main' of https://github.com/dotnet/fsharp into feature/…
dsyme Sep 22, 2020
9ff1bfb
update baselines
dsyme Sep 22, 2020
8640a8d
merge main
Oct 23, 2020
fd6a290
fix build
Oct 23, 2020
fa405cc
add testing
Oct 24, 2020
1a8bb47
add testing
Oct 24, 2020
fc8479f
fix tests
Oct 25, 2020
f619ca0
fix tests
Oct 25, 2020
886205d
Merge branch 'main' of https://github.com/dotnet/fsharp into feature/…
Oct 28, 2020
c4b28a1
Fix Regression with quotations of List.sum on non-primitive type
Oct 30, 2020
c8d5dfd
further testing for FCS on List.sum on non-primitive type
Oct 30, 2020
812e67e
run Expr tests in independent checkers to get consistent names
Oct 30, 2020
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 'main' of https://github.com/dotnet/fsharp into feature/… 
…fcsw
  • Loading branch information
Don Syme committed Oct 28, 2020
commit 886205d54e27a2e6c0e796bb380b6846b427fe19

This merge commit was added into this branch cleanly.

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