[cl-unification-devel] Patch to remove warning

[Marco Antoniotti]

Actually this seems like a good idea.  I'll make a change.

Cheers

Marco



On Jan 13, 2008, at 03:45 , Norman Werner wrote:

> Hello,
>
> When trying to unify something with a character eg:
>
> (cl.ext.dacf.unification:unify
>                                '(let ?bindings . ?forms)
> 			       '(LET ((LAST-POINT-POS (POSITION #\. FILENAME :FROM-END T)))
> 				     (SUBSEQ FILENAME (+ LAST-POINT-POS 1))))
>
> currently a warning is signaled:
> -> WARNING: Occurrence test unimplemented for pattern #\. of type
>                         STANDARD-CHAR; returning false.
>
> If you think this could be of general interest you may include the  
> following
> method in unifier.lisp:
>
> (defmethod occurs-in-p ((var symbol) (pat character) env)
> ; This is useless, but it's here for completeness.
>   (declare (ignore env))
>   nil)
>
>
> Regards
>
> Norman
> -- 
> Norman Werner
> Im Sommerwind 1a
> 70563 Stuttgart
> _______________________________________________
> cl-unification-devel site list
> cl-unification-devel at common-lisp.net
> http://common-lisp.net/mailman/listinfo/cl-unification-devel

--
Marco Antoniotti, Associate Professor
DISCo, Università Milano Bicocca U14 2043
Viale Sarca 336
I-20126 Milan (MI) ITALY

Please note that I am not checking my Spam-box anymore.