cl-unification-devel

Download

cl-unification-devel@common-lisp.net

October 2006

4 participants
2 discussions

[cl-unification-devel] MATCH macro bugfix
by Vladimir V. Korablin 24 Oct '06

24 Oct '06

Hello cl-unification-devel, The MATCH macro is currently broken with respect to `#T' templates: CL-USER> (unify::match (#T(list ?x &rest ?rest) '(1 2 3 4)) ?x) NIL Attached is a patch that fixes this problem. -- Best regards, Vladimir mailto:vkorablin@lemial.net

3 3

[cl-unification-devel] sbcl: don't know how to dump unify environment
by Joel Boehland 12 Oct '06

12 Oct '06

Hi, I'm giving the cl-unification package a test drive with recent sbcl (0.9.16 & 0.9.17). When trying to compile the factorial example in the docs, I get this: ==> #<EMPTY UNIFY ENVIRONMENT: 1 frame {B66AE51}> don't know how to dump #<EMPTY UNIFY ENVIRONMENT: 1 frame {B66AE51}> (default MAKE-LOAD-FORM method called). Anyone have any ideas about what is causing this? I can help debug. Thanks, Joel Boehland __________________________________________________ Do You Yahoo!? Tired of spam? Yahoo! Mail has the best spam protection around http://mail.yahoo.com

1 0