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

Discard should be turned into an uvar when moved to the heap #30

Closed
gares opened this issue Jul 25, 2019 · 1 comment · May be fixed by #35
Closed

Discard should be turned into an uvar when moved to the heap #30

gares opened this issue Jul 25, 2019 · 1 comment · May be fixed by #35
Milestone
1.7

Comments

@gares
Copy link
Contributor

gares commented Jul 25, 2019

X = [2|_] should result in X = [2|Y]
@gares
Copy link
Contributor Author

gares commented Jul 25, 2019

This should also let you remove from the API.RawData.term view the constructor Discard

@gares gares added this to the 1.7 milestone Jul 31, 2019
gares added a commit that referenced this issue Aug 9, 2019
@gares
runtime: move turns discard into UVar (fix #30)
3e6b48d
@gares gares mentioned this issue Aug 13, 2019
Open
gares added a commit that referenced this issue Aug 19, 2019
@gares
runtime: move turns discard into UVar (fix #30)
3d561f6
gares added a commit that referenced this issue Aug 19, 2019
@gares
runtime: move turns discard into UVar (fix #30)
3016e45
@gares gares closed this as completed in 638fe35 Aug 19, 2019
gares added a commit that referenced this issue Aug 19, 2019
@gares
Merge pull request #37 from LPCIC/heap_discard
2887156 
runtime: move turns discard into UVar (fix #30)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
1.7
Development

Successfully merging a pull request may close this issue.

[WIP] Heap/Stack terms with different syntax LPCIC/elpi
1 participant
@gares