cl-unification-devel

Download

cl-unification-devel@lists.common-lisp.net

January 2008

2 participants
1 discussions

[cl-unification-devel] Patch to remove warning
by Norman Werner 14 Jan '08

14 Jan '08

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

2 1