faster-minikanren icon indicating copy to clipboard operation
faster-minikanren copied to clipboard

Published 20 hours ago • verified publisher icon michaelballantyne

`vars` may produce duplicates

Open michaelballantyne opened this issue 2 years ago • 0 comments

https://github.com/michaelballantyne/faster-minikanren/blob/dc5390aca787e7c40177c420171715d728fdb65a/mk.scm#L565-L571

When term is a pair such as (,x . ,x), the result would include two instances of the var. Not sure if this would lead to bad reification later or not.

michaelballantyne avatar Dec 16 '22 17:12 michaelballantyne