From norman at norman-werner.de Sun Jan 13 02:45:58 2008 From: norman at norman-werner.de (Norman Werner) Date: Sun, 13 Jan 2008 03:45:58 +0100 Subject: [cl-unification-devel] Patch to remove warning Message-ID: <200801130345.58553.norman@norman-werner.de> 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 From marcoxa at cs.nyu.edu Mon Jan 14 08:56:07 2008 From: marcoxa at cs.nyu.edu (Marco Antoniotti) Date: Mon, 14 Jan 2008 09:56:07 +0100 Subject: [cl-unification-devel] Patch to remove warning In-Reply-To: <200801130345.58553.norman@norman-werner.de> References: <200801130345.58553.norman@norman-werner.de> Message-ID: 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 at 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.