search

calvis / cKanren

Constraint programming language embedded in Racket
152 stars 33 forks source link

symbolo and numbero missing? #21

Open egreglee opened 9 years ago

egreglee commented 9 years ago

After cloning from https://github.com/calvis/cKanren.git, running the raco link and setup steps, and requiring

(require cKanren/miniKanren)
(require cKanren/absento)

I can see absento and the basic miniKanren stuff. However symbolo and numbero are not defined although the README.md suggests that they should be.

racket v6.1.1.

Warning: This could well be user error as I'm just starting out with cKanren.

ceenlrnjim commented 9 years ago

I am having the same problem. I found "symbol" in attributes.rkt which is what the symbolo tests are using. Try

(require cKanren/attributes)

and use "symbol" instead of "symbolo". Same thing with "number" instead of "numbero". I'm brand new to this as well, so I may be misunderstanding, but after a quick test in the racket REPL it looks like this is working.