
13 Jan
2008
13 Jan
'08
3:45 a.m.
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