unification-fd
unification-fd copied to clipboard
Generic functions for single-sorted first-order structural unification
Results
13
unification-fd issues
Sort by
recently updated
recently updated
newest added
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?...
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...