Skip to content

Take into account CNonCanonical constraints in splitTyConApp_upTo#20

Merged
sheaf merged 1 commit intomainfrom
T19
Oct 9, 2025
Merged

Take into account CNonCanonical constraints in splitTyConApp_upTo#20
sheaf merged 1 commit intomainfrom
T19

Conversation

@sheaf
Copy link
Owner

@sheaf sheaf commented Oct 9, 2025

This fixes #19.

@sheaf sheaf merged commit 996e5e3 into main Oct 9, 2025
11 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Unflattening in 0.18 turns FunEqCan into NonCanonical making them unusable by mkTyConSubst

1 participant

Comments