Johan B.W. de Vries
67af569448
Cleanup CanBeSubscriptedConstraint
...
It was using an AST argument, and I'd rather not have those
in the typing system (except the generator).
2025-05-12 19:20:50 +02:00
Johan B.W. de Vries
f8d107f4fa
Replaces did_construct with a proper router
...
By annotating types with the constructor application
that was used to create them.
Later on we can use the router to replace compiler's
INSTANCES or for user defined types.
2025-05-10 16:49:10 +02:00
Johan B.W. de Vries
234bfaa8df
Changes AppliedType to TypeConstructor
...
First to be more in line with how the literature
treats these types. But also to make them workable with
type classes.
2025-04-21 11:14:30 +02:00
