Hi Masayuki

it looks like the patch is good.

Let me do a few tests and I will check it in.

Apart from that, thanks for using CL-UNIFICATION.

Cheers

Marco

On Apr 16, 2007, at 7:00 PM, Masayuki Onjo wrote:

Hello, Marco.

I'm Masayuki Onjo, CL-UNIFICATION library user. The CL-UNIFICATION is very cool stuff. It's works well on AllegroCL's REPL, but COMPILE-FILE cause following error.

-- fib.lisp --- (defun fib (n) (unify:match-case (n) (0 1) (#T(number n) (+ (fib (- n 1)) (fib (- n 2))))))

CL-USER> (compile-file "fib.lisp")

Object #<EMPTY UNIFY ENVIRONMENT: 1 frame @ #x22b212d2> cannot be written to a compiled file unless an applicable method is defined on make-load-form. [Condition of type PROGRAM-ERROR]

It seems to be a bug of the MATCH macro expansion.

[BUG] (unify ',template ,object ,substitution)) substitution := (make-empty-environment) => (unify temlate object #<EMPTY UNIFY ENVIRONMENT: 1 frame @ #...>)

[CORRECT] (unify ',template ,object ,substitution)) substitution := '(make-empty-environment) => (unify temlate object (make-empty-environment))

I make following patch, it works for me. I'm very happy to hacking with pattern-match-based macro. Thanks for your great work!!

cvs diff: Diffing . Index: match-block.lisp =================================================================== RCS file: /project/cl-unification/cvsroot/cl-unification/match- block.lisp,v retrieving revision 1.6 diff -r1.6 match-block.lisp 13c13

< (substitution (make-empty-environment))

...

                       (substitution '(make-empty-environment))

63c63 < (default-substitution (make-empty- environment)))

---

...

                      (default-substitution '(make-empty- 

environment)))

-- Masayuki Onjo onjo@lispuser.net

-- Marco Antoniotti