cl-unification-devel November 2009

cl-unification-devel@common-lisp.net

1 participants
1 discussions

[cl-unification-devel] Patches for improving cl-ppcre integration
by Pixel // pinterface 19 Nov '09

19 Nov '09

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.

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

cl-unification-devel November 2009