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

cmd/cue: add "hoist" command #7

Open
cueckoo opened this issue Jul 3, 2021 · 1 comment
Open

cmd/cue: add "hoist" command #7

cueckoo opened this issue Jul 3, 2021 · 1 comment
Labels
FeatureRequest New feature or request roadmap/cli Specific tag for roadmap issue #337

Comments

@cueckoo
Copy link
Collaborator

cueckoo commented Jul 3, 2021

Originally opened by @mpvl in cuelang/cue#7

Implement cue hoist to extract templates from concrete data definitions. One could see this as cue trim in the opposite direction.

This can be implemented using the known anti-unification algorithm. It probably makes sense, though, to disregard disjunctions or to limit the number of elements.
@cueckoo cueckoo added FeatureRequest New feature or request roadmap/cli Specific tag for roadmap issue #337 labels Jul 3, 2021
This was referenced Jul 3, 2021
Open
Closed
Closed
@myitcv
Copy link
Member

myitcv commented Apr 21, 2023

Linking to #2231 because apparently GitHub does not create the linkage between issues and discussions.

@myitcv myitcv added the zGarden label Jun 13, 2023
@myitcv myitcv mentioned this issue Jul 4, 2023
Open
@mvdan mvdan removed the zGarden label Feb 8, 2024
@andrewcrook andrewcrook mentioned this issue Feb 3, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
FeatureRequest New feature or request roadmap/cli Specific tag for roadmap issue #337
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@myitcv @mvdan @cueckoo