Skip to content

[ fix ] Support types with determinable function calls in givens#325

Merged
buzden merged 6 commits intomasterfrom
match-on-fun-requires-deceq-sometimes
Apr 22, 2026
Merged

[ fix ] Support types with determinable function calls in givens#325
buzden merged 6 commits intomasterfrom
match-on-fun-requires-deceq-sometimes

Conversation

@buzden
Copy link
Copy Markdown
Owner

@buzden buzden commented Apr 22, 2026

Fixes #322

@buzden buzden added code: cleanup Making code cleaner or nicer code: refactoring Changing the code structure without changing functionality part: derivation Related to automated derivation of generators issue: compilation error When compilation error raises because of the library derive: core Something in between single type generator and its constructors code: fix Fixing some issues labels Apr 22, 2026
@buzden buzden force-pushed the match-on-fun-requires-deceq-sometimes branch 2 times, most recently from a50cded to 8fd08a5 Compare April 22, 2026 15:45
@buzden buzden force-pushed the match-on-fun-requires-deceq-sometimes branch from 8fd08a5 to 69e905a Compare April 22, 2026 15:48
@buzden buzden merged commit 1e82899 into master Apr 22, 2026
92 checks passed
@buzden buzden deleted the match-on-fun-requires-deceq-sometimes branch April 22, 2026 16:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

code: cleanup Making code cleaner or nicer code: fix Fixing some issues code: refactoring Changing the code structure without changing functionality derive: core Something in between single type generator and its constructors issue: compilation error When compilation error raises because of the library part: derivation Related to automated derivation of generators

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Generated code attempts to pattern match on function application

1 participant