Custom types currently cannot apply type parameters to constructor type arguments. Ideally, they could be used like such:
(deftype (:Tree x)
(leaf x)
(node (:Tree x) (:Tree x)))
This is going to require adding a clause to defineConsts to evaluate this syntax, as well as refactoring the type checking for custom types to support it.
Custom types currently cannot apply type parameters to constructor type arguments. Ideally, they could be used like such:
This is going to require adding a clause to
defineConststo evaluate this syntax, as well as refactoring the type checking for custom types to support it.