~jojo/Carth

ref: c5a394b01aa60cb95605d66f6118cfb231955aa7 Carth/test/tests/bad/invalid-user-type-sig.carth -rw-r--r-- 100 bytes
c5a394b0JoJo Fix class constraint inference bug when explicit scheme given 8 months ago
                                                                                
1
2
3
4
5
;; InvalidUserTypeSig

(define: (invalid-user-type-signature x)
    (forall (a b c) (Fun a a))
  x)