From jolby at yahoo.com  Thu Oct 12 03:15:34 2006
From: jolby at yahoo.com (Joel Boehland)
Date: Wed, 11 Oct 2006 20:15:34 -0700 (PDT)
Subject: [cl-unification-devel] sbcl: don't know how to dump unify
	environment
Message-ID: <20061012031534.96869.qmail@web50101.mail.yahoo.com>

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 


From vkorablin at gmail.com  Thu Oct 19 14:44:33 2006
From: vkorablin at gmail.com (Vladimir V. Korablin)
Date: Thu, 19 Oct 2006 18:44:33 +0400
Subject: [cl-unification-devel] MATCH macro bugfix
Message-ID: <1826648404.20061019184433@gmail.com>

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 at lemial.net
-------------- next part --------------
A non-text attachment was scrubbed...
Name: cl-unification.patch
Type: application/octet-stream
Size: 939 bytes
Desc: not available
URL: <https://mailman.common-lisp.net/pipermail/cl-unification-devel/attachments/20061019/a15c1c65/attachment.obj>

From marcoxa at cs.nyu.edu  Mon Oct 23 23:04:34 2006
From: marcoxa at cs.nyu.edu (Marco Antoniotti)
Date: Tue, 24 Oct 2006 01:04:34 +0200
Subject: [cl-unification-devel] MATCH macro bugfix
In-Reply-To: <1826648404.20061019184433@gmail.com>
References: <1826648404.20061019184433@gmail.com>
Message-ID: <5c1798c79432f2006fcb6bf296f50f5c@cs.nyu.edu>

Thanks

I will apply it asap.

Cheers

Marco






On Oct 19, 2006, at 4:44 PM, Vladimir V. Korablin wrote:

> 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 at lemial.net<cl- 
> unification.patch>_______________________________________________
> cl-unification-devel site list
> cl-unification-devel at common-lisp.net
> http://common-lisp.net/mailman/listinfo/cl-unification-devel
Marco Antoniotti



From jewel at subvert-the-dominant-paradigm.net  Tue Oct 24 06:02:27 2006
From: jewel at subvert-the-dominant-paradigm.net (John Leuner)
Date: Tue, 24 Oct 2006 11:32:27 +0530
Subject: [cl-unification-devel] MATCH macro bugfix
In-Reply-To: <5c1798c79432f2006fcb6bf296f50f5c@cs.nyu.edu>
References: <1826648404.20061019184433@gmail.com>
	<5c1798c79432f2006fcb6bf296f50f5c@cs.nyu.edu>
Message-ID: <1161669747.18472.2.camel@localhost.localdomain>

The following test case still fails (with this patch),

(defclass test1 () ((a :initarg :a :accessor a)
                    (b :initarg :b :accessor b)))

(defun test ()
  (let ((env (unify:unify #T(test1 a #T(list 1 ?x 3 &rest) b "woot")
                          (make-instance 'test1 :a '(1 2 3) :b
"woot"))))
    (unify:find-variable-value '?x env)))

Any ideas on how to fix it?

John


> On Oct 19, 2006, at 4:44 PM, Vladimir V. Korablin wrote:
> 
> > 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 at lemial.net<cl- 
> > unification.patch>_______________________________________________
> > cl-unification-devel site list
> > cl-unification-devel at common-lisp.net
> > http://common-lisp.net/mailman/listinfo/cl-unification-devel
> Marco Antoniotti
> 
> _______________________________________________
> cl-unification-devel site list
> cl-unification-devel at common-lisp.net
> http://common-lisp.net/mailman/listinfo/cl-unification-devel



From marcoxa at cs.nyu.edu  Tue Oct 24 12:09:23 2006
From: marcoxa at cs.nyu.edu (Marco Antoniotti)
Date: Tue, 24 Oct 2006 14:09:23 +0200
Subject: [cl-unification-devel] MATCH macro bugfix
In-Reply-To: <1161669747.18472.2.camel@localhost.localdomain>
References: <1826648404.20061019184433@gmail.com>
	<5c1798c79432f2006fcb6bf296f50f5c@cs.nyu.edu>
	<1161669747.18472.2.camel@localhost.localdomain>
Message-ID: <8043bf12b4b5ca6cf5a58a4786ee02a5@cs.nyu.edu>

This is because of the wrong patch that was put in in order to 
circumvent SBCL (convincingly right) fascist attitude toward in-line 
objects.
TRTTD is to define a proper MAKE-LOAD form for #T macros.  I have it 
working in my codebase, but I have not put it in the repository yet.  
It will be done ASAP (promise!)

Cheers

Marco




On Oct 24, 2006, at 8:02 AM, John Leuner wrote:

> The following test case still fails (with this patch),
>
> (defclass test1 () ((a :initarg :a :accessor a)
>                     (b :initarg :b :accessor b)))
>
> (defun test ()
>   (let ((env (unify:unify #T(test1 a #T(list 1 ?x 3 &rest) b "woot")
>                           (make-instance 'test1 :a '(1 2 3) :b
> "woot"))))
>     (unify:find-variable-value '?x env)))
>
> Any ideas on how to fix it?
>
> John
>
>
>> On Oct 19, 2006, at 4:44 PM, Vladimir V. Korablin wrote:
>>
>>> 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 at lemial.net<cl-
>>> unification.patch>_______________________________________________
>>> cl-unification-devel site list
>>> cl-unification-devel at common-lisp.net
>>> http://common-lisp.net/mailman/listinfo/cl-unification-devel
>> Marco Antoniotti
>>
>> _______________________________________________
>> cl-unification-devel site list
>> cl-unification-devel at common-lisp.net
>> http://common-lisp.net/mailman/listinfo/cl-unification-devel
>
> _______________________________________________
> cl-unification-devel site list
> cl-unification-devel at common-lisp.net
> http://common-lisp.net/mailman/listinfo/cl-unification-devel
>
Marco Antoniotti