~jojo/Carth

ref: c5a394b01aa60cb95605d66f6118cfb231955aa7 Carth/test/tests/bad/conflicting-pat-var-defs.carth -rw-r--r-- 144 bytes
c5a394b0JoJo Fix class constraint inference bug when explicit scheme given 8 months ago
                                                                                
1
2
3
4
5
6
7
;; ConflictingPatVarDefs

(data IntPair (IntPair Int Int))

(define conflicting-defs-in-pat
  (match (IntPair 1 2)
    (case (IntPair a a) a)))