Skip to content
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

Jump to bottom

[ derive ] Search for hinted externals before deriving #69

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

[ derive ] Search for hinted externals before deriving #69

wants to merge 2 commits into from

Conversation

buzden
Copy link
Owner

@buzden buzden commented May 29, 2023

This allows to split the derivation of complex data structures without blowing signatures.

The current state seems to be blocked by upstream, since search returns too normalised expression, which may contain non-visible constructors in the expression of found %hint, which should not happen.

@buzden buzden added code: enhancement New feature or improvement part: derivation Related to automated derivation of generators status: blocked Blocked by some other issue or ongoing work status: upstream Upstream issue derive: entry Issue on the derivation function facing to the end-user labels May 29, 2023
@buzden buzden force-pushed the search-very-externals-first branch from 2abfe8c to cb2b2c8 Compare May 29, 2023 10:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
code: enhancement New feature or improvement derive: entry Issue on the derivation function facing to the end-user part: derivation Related to automated derivation of generators status: blocked Blocked by some other issue or ongoing work status: upstream Upstream issue
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@buzden