~jojo/Carth

ref: c5a394b01aa60cb95605d66f6118cfb231955aa7 Carth/test/tests/bad/type-inst-arity-mismatch.carth -rw-r--r-- 70 bytes
c5a394b0JoJo Fix class constraint inference bug when explicit scheme given 8 months ago
                                                                                
1
2
3
4
;; TypeInstArityMismatch

(data (Foo a) (Foo a))
(data Bar (Bar Foo))