Move the last vestiges of `TypeClassSolver` into `InstanceBuiltins`

vehicle-lang / vehicle

A toolkit for enforcing logical specifications on neural networks

https://vehicle-lang.readthedocs.io/

Other

81 stars 7 forks source link

Move the last vestiges of `TypeClassSolver` into `InstanceBuiltins` #668

Closed MatthewDaggitt closed 1 year ago

MatthewDaggitt commented 1 year ago

Now that we're solving everything by instance search, and have split out the polarity and linearity constraints into their own type-system we can finally get rid of TypeClassSolver by moving hasQuantifier into instance search.