Home / Browse / Steel Bank Common Lisp / Mail / Archive

Steel Bank Common Lisp

Email Archive: sbcl-help (read-only)

[Sbcl-help] compile-file apparently returning wrong value for error-p

From: Eric Blossom <eb@co...> - 2005-01-07 02:29

Hi,

It appears that compile-file is incorrectly returning a value of T for
error-p even though the output diagnostics indicate that the
compilation produced only a warning.  [I'd also like to know how to
get rid of the warning...]

I'm using SBCL 0.8.17 on Linux 2.6.8 on x86 arch.

Suggestions?

Thanks,
Eric

----------------------------------------------------------------

[eb@... load]$ sbcl
This is SBCL 0.8.17, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>.

SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses.  See the CREDITS and COPYING files in the
distribution for more information.
; loading system definition from
; #P"/usr/local/lib/sbcl/systems/sb-bsd-sockets.asd" into #<PACKAGE "ASDF3844">
; registering #<SYSTEM SB-BSD-SOCKETS {9D61439}> as SB-BSD-SOCKETS
; registering #<SYSTEM SB-BSD-SOCKETS-TESTS {92A7439}> as SB-BSD-SOCKETS-TESTS
; loading system definition from #P"/usr/local/lib/sbcl/systems/sb-posix.asd"
; into #<PACKAGE "ASDF4006">
; registering #<SYSTEM SB-POSIX {9BF5CA1}> as SB-POSIX
; registering #<SYSTEM SB-POSIX-TESTS {90D8CE1}> as SB-POSIX-TESTS
* *features*

(:ASDF :SB-AFTER-XC-CORE
       :SB-FUTEX
       :SB-THREAD
       :ANSI-CL
       :COMMON-LISP
       :SBCL
       :UNIX
       :SB-DOC
       :SB-TEST
       :SB-PACKAGE-LOCKS
       :IEEE-FLOATING-POINT
       :X86
       :LINUX
       :GENCGC
       :STACK-GROWS-DOWNWARD-NOT-UPWARD
       :C-STACK-IS-CONTROL-STACK
       :LINKAGE-TABLE
       :OS-PROVIDES-DLOPEN
       :OS-PROVIDES-DLADDR)
* (require :cl-ppcre)

NIL
* (compile-file "test")
; compiling file "/home/eb/build/autod/load/test.lisp" (written 06 JAN 2005 05:59:28 PM):
; recognizing DEFUN FLATTEN-FORMAT
; compiling top level form (SB-KERNEL:MAKE-VALUE-CELL (CL-PPCRE:CREATE-SCANNER "(.*)(.)\\(([0-9]+)\\)(.*)")): 
; compiling DEFUN FLATTEN-FORMAT: 

; file: /home/eb/build/autod/load/test.lisp
; in: DEFUN FLATTEN-FORMAT
;     (CL-PPCRE:REGISTER-GROUPS-BIND (HEAD CH (#'PARSE-INTEGER REPEAT) TAIL)
;                                  ("(.*)(.)\\(([0-9]+)\\)(.*)" COBOL-FMT)
;                                  (CONCATENATE 'STRING
;                                               HEAD
;                                               (MAKE-STRING REPEAT
;                                                            :INITIAL-ELEMENT
;                                                            (CHAR CH 0))
;                                               TAIL))
; --> LET MULTIPLE-VALUE-BIND MULTIPLE-VALUE-CALL FUNCTION WHEN COND IF PROGN 
; --> LET* LET IF 
; ==>
;   NIL
; 
; caught WARNING:
;   The binding of ARRAY is not a STRING:
;     NIL
;   See also:
;     The SBCL Manual, Node "Handling of Types"

; compiling top level form: 
; compilation unit finished
;   caught 1 WARNING condition

; /home/eb/build/autod/load/test.fasl written
; compilation finished in 0:00:00

#P"/home/eb/build/autod/load/test.fasl"
T
T
* 

------------- test.lisp -------------

(defun flatten-format (cobol-fmt)
  "convert strings with repeat counts to canonical format.
E.g., S9(5)V99 --> S99999V99"
  (let ((ff (cl-ppcre:register-groups-bind
		(head ch (#'parse-integer repeat) tail)
		("(.*)(.)\\(([0-9]+)\\)(.*)" cobol-fmt)
	      (concatenate 'string
			   head
			   (make-string repeat :initial-element (char ch 0))
			   tail))))
    (if ff (flatten-format ff)
	cobol-fmt)))

Thread View

Thread	Author	Date
[Sbcl-help] compile-file apparently returning wrong value for error-p	Eric Blossom <eb@co...>

Re: [Sbcl-help] compile-file apparently returning wrong value for error-p

From: Christophe Rhodes <csr21@ca...> - 2005-01-17 19:58

[ delayed response... ]

Eric Blossom <eb@...> writes:

> It appears that compile-file is incorrectly returning a value of T for
> error-p even though the output diagnostics indicate that the
> compilation produced only a warning.  [I'd also like to know how to
> get rid of the warning...]

The correct value for errorp given a full warning /is/ T, I'm afraid.

> ; file: /home/eb/build/autod/load/test.lisp
> ; in: DEFUN FLATTEN-FORMAT
> ;     (CL-PPCRE:REGISTER-GROUPS-BIND (HEAD CH (#'PARSE-INTEGER REPEAT) TAIL)
> ;                                  ("(.*)(.)\\(([0-9]+)\\)(.*)" COBOL-FMT)
> ;                                  (CONCATENATE 'STRING
> ;                                               HEAD
> ;                                               (MAKE-STRING REPEAT
> ;                                                            :INITIAL-ELEMENT
> ;                                                            (CHAR CH 0))
> ;                                               TAIL))
> ; --> LET MULTIPLE-VALUE-BIND MULTIPLE-VALUE-CALL FUNCTION WHEN COND IF PROGN 
> ; --> LET* LET IF 
> ; ==>
> ;   NIL
> ; 
> ; caught WARNING:
> ;   The binding of ARRAY is not a STRING:
> ;     NIL
> ;   See also:
> ;     The SBCL Manual, Node "Handling of Types"
>
> ; compiling top level form: 
> ; compilation unit finished
> ;   caught 1 WARNING condition
>
> (defun flatten-format (cobol-fmt)
>   "convert strings with repeat counts to canonical format.
> E.g., S9(5)V99 --> S99999V99"
>   (let ((ff (cl-ppcre:register-groups-bind
> 		(head ch (#'parse-integer repeat) tail)
> 		("(.*)(.)\\(([0-9]+)\\)(.*)" cobol-fmt)
> 	      (concatenate 'string
> 			   head
> 			   (make-string repeat :initial-element (char ch 0))
> 			   tail))))
>     (if ff (flatten-format ff)
> 	cobol-fmt)))

I'm not intimately familiar with cl-ppcre, but what I think is
happening is that register-groups-bind is binding CH to something like
(if match (something with match) nil), and SBCL is warning you about
the failure branch, which will cause a type mismatch if it's ever
executed.  To quieten the system, probably a (check-type ch string) in
the body will work.

Cheers,

Christophe

Re: [Sbcl-help] compile-file apparently returning wrong value for error-p

From: Eric Blossom <eb@co...> - 2005-01-17 22:10

On Mon, Jan 17, 2005 at 07:47:35PM +0000, Christophe Rhodes wrote:
> [ delayed response... ]
> 
> Eric Blossom <eb@...> writes:
> 
> > It appears that compile-file is incorrectly returning a value of T for
> > error-p even though the output diagnostics indicate that the
> > compilation produced only a warning.  [I'd also like to know how to
> > get rid of the warning...]
> 
> The correct value for errorp given a full warning /is/ T, I'm afraid.
> 

Thanks.

> I'm not intimately familiar with cl-ppcre, but what I think is
> happening is that register-groups-bind is binding CH to something like
> (if match (something with match) nil), and SBCL is warning you about
> the failure branch, which will cause a type mismatch if it's ever
> executed.  To quieten the system, probably a (check-type ch string) in
> the body will work.
> 
> Cheers,
> 
> Christophe

Thanks for the clarification and suggestions.

Eric