search

gregr / dbKanren

Kanren with databases
MIT License
43 stars 5 forks source link

R.empty is unbound identifier #2

Closed gh16980973 closed 2 years ago

gh16980973 commented 2 years ago

https://github.com/gregr/dbKanren/blob/4ee3e54f3370590c70d60f8c5832ed496114a3e7/dbk/database.rkt#L335

database.rkt:335:23: R.empty: unbound identifier in: R.empty

(17018 7)

gregr commented 2 years ago

Thanks, I missed including the definition while using git add -p. https://github.com/gregr/dbKanren/commit/ddc32dbecd74fb6e2db7e4b78a366d4e24bb9749