search

salmans / Razor

5 stars 0 forks source link

Repeated variables as function arguments #36

Closed salmans closed 9 years ago

salmans commented 9 years ago

On input: exists x . exists y . f(x, x) = y;

Razor throws the following exception: razor: Chase/PossibleFacts/RelAlg/ITranslate.hs:490:9-77: Non-exhaustive patterns in function fetchUniqueTable