[cl-unification-devel] Patch to remove warning

[Norman Werner]

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