~jojo/Carth

ref: c5a394b01aa60cb95605d66f6118cfb231955aa7 Carth/test/tests/bad/unbound-tvar.carth -rw-r--r-- 106 bytes
c5a394b0JoJo Fix class constraint inference bug when explicit scheme given 8 months ago
                                                                                
1
2
3
4
5
;; UnboundTVar

(define (seq a b) b)
(define (undef a) (undef a))
(define (foo a) (seq (undef Unit) 123))