Skip to content

Wingman: FIx evidence when using GADT constructors #1889

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
merged 8 commits into from
Jun 5, 2021
Merged

Wingman: FIx evidence when using GADT constructors #1889

Changes from 1 commit
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
3bb8454
Fix unification pertaining to evidence
isovector Jun 4, 2021
494b66a
Cleanup interface; better names
isovector Jun 4, 2021
a2218df
Need to reapply the substituion after each arg
isovector Jun 4, 2021
0345066
Reenable error debugging
isovector Jun 4, 2021
14e747a
Add destruct_all evidence test
isovector Jun 4, 2021
2dd4f5d
Fix tests that were accidentally sorted incorrectly
isovector Jun 4, 2021
7bb6f49
FIx evidence when splitting GADTs
isovector Jun 4, 2021
0ac1e74
Merge branch 'master' into split-evidence
isovector Jun 5, 2021
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
Merge branch 'master' into split-evidence
  • Loading branch information
@isovector
isovector authored Jun 5, 2021
commit 0ac1e7457f18c8b25ba696840ffb19ccc68ec640

This merge commit was added into this branch cleanly.

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