[Git][cmucl/cmucl][master] 2 commits: Fix #172: Declare pathname-match-p to return NIL or a pathname

[Raymond Toy (@rtoy)]

Raymond Toy pushed to branch master at cmucl / cmucl


Commits:
6b3ceb28 by Raymond Toy at 2023-03-16T17:08:32+00:00
Fix #172: Declare pathname-match-p to return NIL or a pathname

- - - - -
0b9e41a4 by Raymond Toy at 2023-03-16T17:08:35+00:00
Merge branch 'issue-172-pathname-match-p-return-type' into 'master'

Fix #172: Declare pathname-match-p to return NIL or a pathname

Closes #172

See merge request cmucl/cmucl!131
- - - - -


2 changed files:

- src/compiler/fndb.lisp
- src/general-info/release-21e.md


Changes:

=====================================
src/compiler/fndb.lisp
=====================================
@@ -1027,7 +1027,10 @@
 							  :type :version))
   boolean
   (flushable))
-(defknown pathname-match-p (pathnamelike pathnamelike) boolean
+(defknown pathname-match-p (pathnamelike pathnamelike)
+  ;; CLHS says the return type is a generalized boolean.  We currently
+  ;; return a pathname on a match.
+  (or null pathname)
   (flushable))
 (defknown translate-pathname (pathnamelike pathnamelike pathnamelike &key)
   pathname


=====================================
src/general-info/release-21e.md
=====================================
@@ -75,6 +75,7 @@ public domain.
     * ~~#167~~ Lowe bound for `decode-float-exponent` type was off by one.
     * ~~#168~~ Don't use negated forms for jmp instructions when possible
     * ~~#169~~ Add pprinter for `define-vop` and `sc-case`
+    * ~~#172~~ Declare `pathname-match-p` as returning a null or pathname
     * ~~#173~~ Add pprinter for `define-assembly-routine`
   * Other changes:
   * Improvements to the PCL implementation of CLOS:



View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/75e0b7e3ff1c8f52fd5aad88e6115e09fd03d4bd...0b9e41a4095e5b19bfec305b0dba04d4d8fa0538

-- 
View it on GitLab: https://gitlab.common-lisp.net/cmucl/cmucl/-/compare/75e0b7e3ff1c8f52fd5aad88e6115e09fd03d4bd...0b9e41a4095e5b19bfec305b0dba04d4d8fa0538
You're receiving this email because of your account on gitlab.common-lisp.net.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.common-lisp.net/pipermail/cmucl-cvs/attachments/20230316/2b01a3fe/attachment-0001.html>