Make transformations (mutations) as permissive as possible

hephaestus-compiler-project / hephaestus

A framework for testing compilers' type checkers

https://hephaestus-compiler-project.github.io/

GNU General Public License v3.0

49 stars 10 forks source link

Closed StefanosChaliasos closed 3 years ago

StefanosChaliasos commented 3 years ago

[ ] Parameterized (_create_parameterized_type)
[ ] Add subtype/supertype option in update_type (type_utils). For example, var_type and inferred_type of VariableDecleration can be supertypes of new_type.
[ ] substitution--smart cast