Open clef-men opened 3 years ago
Par l'axiome (Ass-0) et curryfication, les types "a -> 'a -> b" et "a -> b" devraient être unifiables avec { 'a = unit } ; de même pour "a -> 'a -> 'b" et "a -> b". Ce n'est pas le cas en l'état.
Par l'axiome (Ass-0) et curryfication, les types "a -> 'a -> b" et "a -> b" devraient être unifiables avec { 'a = unit } ; de même pour "a -> 'a -> 'b" et "a -> b". Ce n'est pas le cas en l'état.