search

rvs314 / faster-clpset-minikanren

A fast implementation of miniKanren with CLP(Set) constraints, disequality and absento, compatible with Racket and Chez.
MIT License
0 stars 0 forks source link

Currently need to load `test-sets.scm` before loading `set-interp.scm` #2

Open webyrd opened 1 month ago

webyrd commented 1 month ago

The way the utilities are currently factored, it is necessary to load test-sets.scm before loading set-interp.scm:

Process scheme finished
Chez Scheme Version 10.0.0
Copyright 1984-2024 Cisco Systems, Inc.

>   (load "./test-check.scm")
  (load "./sets.scm")
  (load "./mk-vicare.scm")
  (load "./mk.scm")

> > > > (load "set-interp.scm")
Testing "ext-envo-1"
Exception: variable q is not bound
Type (debug) to enter the debugger.
> (load "test-sets.scm")
set-tests
Testing "set equality"
...
Testing "Will's big test"
Tests Passed!
> (load "set-interp.scm")
Testing "ext-envo-1"
...
rvs314 commented 1 month ago

Does 98516f7 fix the issue?

webyrd commented 1 month ago

Isn't that a documentation fix? Did the loading of utilities change?

rvs314 commented 1 month ago

Sorry - I initially listed the wrong commit. The correct one is https://github.com/rvs314/faster-clpset-minikanren/commit/98516f7d03699579c98cdf9b635045c49f89f6f4

webyrd commented 1 month ago

Interesting. I get a different error now:

Chez Scheme Version 10.0.0
Copyright 1984-2024 Cisco Systems, Inc.

> (load "./test-check.scm")
  (load "./sets.scm")
  (load "./mk-vicare.scm")
  (load "./mk.scm")
> > > > (load "set-interp.scm")
Testing "ext-envo-1"
Exception: attempt to apply non-procedure ∅
Type (debug) to enter the debugger.
>