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

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

Optimize type-preserving compilation #470

Open

Assignees

Labels

compileroptimizationpriority: normal

opened

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.

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

intsuc

Labels

compileroptimizationpriority: normal

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests