Skip to content
This repository was archived by the owner on Oct 19, 2023. It is now read-only.

Optimize type-preserving compilation #470

Open
intsuc opened this issue Jul 5, 2023 · 0 comments
Open

Optimize type-preserving compilation #470

intsuc opened this issue Jul 5, 2023 · 0 comments
Assignees
@intsuc
Labels
compiler Compiler internal optimization Optimization priority: normal

Comments

@intsuc
Copy link
Owner

intsuc commented Jul 5, 2023

Currently, every Term and Value has the type of Term and Lazy<Value> respectively. However, if Var and Meta have their types, all the other types can be reconstructed cheaply.
@intsuc intsuc added optimization Optimization priority: normal compiler Compiler internal labels Jul 5, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@intsuc intsuc

Labels
compiler Compiler internal optimization Optimization priority: normal
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@intsuc