search

Drup / dowsing

᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
ISC License
35 stars 4 forks source link

Unification invalide #7

Closed clef-men closed 3 years ago

clef-men commented 3 years ago

Les types « 'a -> 'a list -> 'a » et « 'x -> 'x -> 'x » ne devraient pas être unifiables (en l'état, le programme prétend y arriver avec { 'a = 'a list ; 'x = 'a list }).

Drup commented 3 years ago

Solved! Thanks to the new occur check. I added the test case.