[cl-unification-devel] Patch to remove warning

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