#+/#- doesn't supress reading and EVALUATING! #.

ID	Created	Type	mocl Version	Dev OS	Target	Status
#69	by informatimago on 2015-03-01 (2040 days ago)	defect	14.08	Mac OS X	n/a	open

Description

Summary:

Steps to Reproduce:
Compile this program:

#+(or)
(eval-when (:compile-toplevel)
  (print (progn
           #+#.(cl:if (cl:ignore-errors
                       (cl:find-symbol "GET-CHARSET-RANGE" "SYSTEM"))
                      '(:and) '(:or))
           'bad
           #-#.(cl:if (cl:ignore-errors
                       (cl:find-symbol "GET-CHARSET-RANGE" "SYSTEM"))
                      '(:and) '(:or))
           'good)))

Expected Results:

Successful compilation, cl:find-symbol should never be called!
(and nothing should be printed)


Actual Results:

#+(or) doesn't bind *read-suppress* to nil as specifically specified by the Common Lisp standard!
http://www.lispworks.com/documentation/HyperSpec/Body/02_dhq.htm
http://www.lispworks.com/documentation/HyperSpec/Body/v_rd_sup.htm


[pjb@larissa :0.0 mocl]$ n=bug-and-and-feature  ; echo --- ; mkdir -p /tmp/${n}/src ; mocl --verbose --warn --android /tmp/${n} ${n}.lisp
---
mocl 14.08 Copyright (C) 2013-2014 Wukix, Inc. (https://wukix.com)
[Source Analysis]
/Users/pjb/src/mocl/bug-and-and-feature.lisp
Error: The name "SYSTEM" does not designate any package.
[pjb@larissa :0.0 mocl]$ 


Notes:

Other implementations don't have this bug:

[pjb@larissa :0.0 mocl]$  clall '(compile-file "/Users/pjb/src/mocl/bug-and-and-feature.lisp" :output-file "/tmp/bug-and-and-feature.fasl")'



Clozure Common Lisp:
========================================================================
Implementation: Clozure Common Lisp Version 1.10-r16196  (DarwinX8664)
    on Darwin 14.1.0
    on x86_64 MacBookAir6,2 (larissa.local)

Reading of: "(compile-file \"/Users/pjb/src/mocl/bug-and-and-feature.lisp\" :output-file \"/tmp/bug-and-and-feature.fasl\")"
signaled no error

Evaluation of: (COMPILE-FILE "/Users/pjb/src/mocl/bug-and-and-feature.lisp" :OUTPUT-FILE "/tmp/bug-and-and-feature.fasl")
signaled the following error:
  #<SIMPLE-ERROR #x30200056B22D>
  Compile destination "/tmp/bug-and-and-feature.fasl" is not a dx64fsl file!
wrote nothing on *ERROR-OUTPUT*
wrote nothing on *TRACE-OUTPUT*
wrote nothing on *STANDARD-OUTPUT*
returned no value


CLISP:
;; Compiling file /Users/pjb/src/mocl/bug-and-and-feature.lisp ...
;; Wrote file /tmp/bug-and-and-feature.fasl
--> #P"/private/tmp/bug-and-and-feature.fasl", NIL, NIL


ECL:
;;; Loading #P"/opt/local/lib/ecl-15.2.21/cmp.fas"
;;;
;;; Compiling /Users/pjb/src/mocl/bug-and-and-feature.lisp.
;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=0
;;;
;;; End of Pass 1.
;;; Finished compiling /Users/pjb/src/mocl/bug-and-and-feature.lisp.
;;;
--> #P"/private/tmp/bug-and-and-feature.fasl", NIL, NIL


SBCL:; compiling file "/Users/pjb/src/mocl/bug-and-and-feature.lisp" (written 01 MAR 2015 08:51:54 AM):

; /tmp/bug-and-and-feature.fasl written
; compilation finished in 0:00:00.005
--> #P"/private/tmp/bug-and-and-feature.fasl", NIL, NIL

========================================================================

Comments

(eval-when (:compile-toplevel)
  (print #-mocl #P"C:\\cygwin\\home\\pjb\\"
         #+mocl "/home/pjb/"))



It doesn't suppress reading and evaluating of strings as pathname with #P:

n=bug-sharp-supress-pathname ; echo --- ; mkdir -p /tmp/${n}/src ; mocl --verbose --warn --android /tmp/${n} ${n}.lisp
---
mocl 14.08 Copyright (C) 2013-2014 Wukix, Inc. (https://wukix.com)
[Source Analysis]
/Users/pjb/src/mocl/bug-sharp-supress-pathname.lisp
Error: Malformed pathname.
make: [check-bugs] Error 1 (ignored)

Compilation finished at Sun Mar  1 10:48:07



As almost all the other reported bugs, this is a very bad bug because it prevents providing  sources that works nicely in MoCL and in the other implementations!

- informatimago, 2040 days ago