Create "certified term" type #49
Labels
subsystem: saw-core
Issues related to the saw-core representation or the saw-core subsystem
type: enhancement
Issues describing an improvement to an existing feature or capability
Milestone
Currently, it's possible to construct
SharedTerm
objects in SAWScript that are not well-typed. They can be checked after the fact, but this can be expensive for large terms. Better would be to have an abstract type for terms that are guaranteed to be well-typed, along with functions to combine them with the minimum additional checking to ensure that the result is well-typed.The text was updated successfully, but these errors were encountered: