unification-fd

unification-fd copied to clipboard

Trying out this library I noticed that `unify` succeeded where occurs checking should have rejected the equation. Trying out `unifyOccurs` I got the correct behavior. Is this always a bug?...

ajrouvoet

I'm using `applyBindings` pervasively in https://github.com/mlabs-haskell/lambda-buffers/blob/401f8a920a557c71440795174da199a1e128c4f9/lambda-buffers-compiler/src/LambdaBuffers/Compiler/MiniLog/UniFdSolver.hs#L254. It was very difficult to understand what's happening, but without it the whole thing just doesn't work. On multiple occasions I tried to debug...

bladyjoker

phadej