cl-unification-devel October 2006

cl-unification-devel@common-lisp.net

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 11 Oct '06

11 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

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

cl-unification-devel October 2006