GitLab

at 2023-03-16T17:08:32+00:00

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

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
 							  :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

     * ~~#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:

Raymond Toy pushed to branch master at cmucl / cmucl

Commits:

2 changed files:

Changes: