[cl-unification-devel] Patches for improving cl-ppcre integration

Pixel // pinterface pinterface at gmail.com
Thu Nov 19 03:13:12 UTC 2009


For your consideration:

defsystem.patch changes cl-unification.asd to use asdf-system-connections to
ensure the cl-ppcre bits are loaded when both cl-unification and cl-ppcre
are loaded, eliminating load-order issues which were otherwise causing me
trouble.  This eliminates the need for cl-unification-lib.asd entirely.

cl-ppcre.patch alters regex unification to:
  A) signal 'unification-failure when cl-ppcre:scan returns nil (no match),
     rather than triggering undefined behavior with inaccurate type
     declarations, or type-errors with (= nil <number>).
  B) consider any match, rather than only a match of the entire string, to
     be a successful unification.  Presumably, if one desires a match across
     the entire string, they'll be using the appropriate anchors.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: cl-ppcre.patch
Type: application/octet-stream
Size: 1558 bytes
Desc: not available
URL: <https://mailman.common-lisp.net/pipermail/cl-unification-devel/attachments/20091118/5af5a6c1/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: defsystem.patch
Type: application/octet-stream
Size: 1591 bytes
Desc: not available
URL: <https://mailman.common-lisp.net/pipermail/cl-unification-devel/attachments/20091118/5af5a6c1/attachment-0001.obj>


More information about the cl-unification-devel mailing list