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
