~jojo/Carth

ref: c5a394b01aa60cb95605d66f6118cfb231955aa7 Carth/test/tests/bad/transmute-size-mismatch2.carth -rw-r--r-- 83 bytes
c5a394b0JoJo Fix class constraint inference bug when explicit scheme given 4 months ago
                                                                                
1
2
3
4
5
;; NoClassInstance

(define: (foo a)
    (forall (a b) (Fun a b))
  (transmute a))