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
Actually this seems like a good idea. I'll make a change.
Cheers
Marco
On Jan 13, 2008, at 03:45 , Norman Werner wrote:
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 _______________________________________________ cl-unification-devel site list cl-unification-devel@common-lisp.net http://common-lisp.net/mailman/listinfo/cl-unification-devel
-- Marco Antoniotti, Associate Professor DISCo, Università Milano Bicocca U14 2043 Viale Sarca 336 I-20126 Milan (MI) ITALY
Please note that I am not checking my Spam-box anymore.
cl-unification-devel@common-lisp.net
-
Marco Antoniotti -
Norman Werner