Re: [Ecls-list] BUG: SEGMENTATION-VIOLATION in code with DEFTYPE unicode char

2011-11-22 Thread Eric Marsden
 jgr == Juan Jose Garcia-Ripoll juanjose.garciarip...@googlemail.com 
 writes:

  jgr Here is the problem: char in Linux is signed char, while in OS X it
  jgr seems to default to unsigned char. I have changed ECL so that BASE-CHAR
  jgr objects are unboxed using the explicit C type unsigned char to avoid 
such
  jgr ambiguities. ASA I get to a non-firewalled computer I will upload the 
fix.

  Thanks for the fix. Here is another bug which is possibly related
  (still on Linux/AMD64). 

,
| ECL (Embeddable Common-Lisp) 11.1.1 
(git:78442fa7bcb4ef486b704e16d0e7cefbd4bf7680)
| Top level.
|  (lambda (a) (declare (type (eql b) a)) (eql b a))
| #bytecompiled-closure #bytecompiled-function 03cc6e10
|  (compile nil *)
| ;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=0
| ;;;
| ;;; End of Pass 1.
| #compiled-function 03fc6980
| NIL
| NIL
|  (funcall * b)
| Condition of type: TYPE-ERROR
| b is not of type (EQL b).
`

-- 
Eric Marsden


--
All the data continuously generated in your IT infrastructure 
contains a definitive record of customers, application performance, 
security threats, fraudulent activity, and more. Splunk takes this 
data and makes sense of it. IT sense. And common sense.
http://p.sf.net/sfu/splunk-novd2d
___
Ecls-list mailing list
Ecls-list@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/ecls-list


Re: [Ecls-list] BUG: SEGMENTATION-VIOLATION in code with DEFTYPE unicode char

2011-11-22 Thread Stas Boukarev
Eric Marsden eric.mars...@free.fr writes:

 jgr == Juan Jose Garcia-Ripoll juanjose.garciarip...@googlemail.com 
 writes:

   jgr Here is the problem: char in Linux is signed char, while in OS X it
   jgr seems to default to unsigned char. I have changed ECL so that 
 BASE-CHAR
   jgr objects are unboxed using the explicit C type unsigned char to avoid 
 such
   jgr ambiguities. ASA I get to a non-firewalled computer I will upload the 
 fix.

   Thanks for the fix. Here is another bug which is possibly related
   (still on Linux/AMD64). 

 ,
 | ECL (Embeddable Common-Lisp) 11.1.1 
 (git:78442fa7bcb4ef486b704e16d0e7cefbd4bf7680)
 | Top level.
 |  (lambda (a) (declare (type (eql b) a)) (eql b a))
 | #bytecompiled-closure #bytecompiled-function 03cc6e10
 |  (compile nil *)
 | ;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=0
 | ;;;
 | ;;; End of Pass 1.
 | #compiled-function 03fc6980
 | NIL
 | NIL
 |  (funcall * b)
 | Condition of type: TYPE-ERROR
 | b is not of type (EQL b).
 `
I don't see how that's a bug, b isn't required to be EQL to b. It
can be, especially when coalesced by the compiler, but the reader
usually constructs a new string each time.

-- 
With best regards, Stas.

--
All the data continuously generated in your IT infrastructure 
contains a definitive record of customers, application performance, 
security threats, fraudulent activity, and more. Splunk takes this 
data and makes sense of it. IT sense. And common sense.
http://p.sf.net/sfu/splunk-novd2d
___
Ecls-list mailing list
Ecls-list@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/ecls-list


Re: [Ecls-list] BUG: SEGMENTATION-VIOLATION in code with DEFTYPE unicode char

2011-11-22 Thread Juan Jose Garcia-Ripoll
On Tue, Nov 22, 2011 at 10:47 AM, Stas Boukarev stass...@gmail.com wrote:

 I don't see how that's a bug, b isn't required to be EQL to b. It
 can be, especially when coalesced by the compiler, but the reader
 usually constructs a new string each time.


I agree. Compare that with

 (lambda (a) (declare (type (eql #1=foo) a)) (eql '#1# a))

#bytecompiled-closure #bytecompiled-function 000103cbfa00
 (compile 'foo *)

;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=0
;;;
;;; End of Pass 1.
FOO
NIL
NIL
 (foo 'foo)

T

-- 
Instituto de FĂ­sica Fundamental, CSIC
c/ Serrano, 113b, Madrid 28006 (Spain)
http://juanjose.garciaripoll.googlepages.com
--
All the data continuously generated in your IT infrastructure 
contains a definitive record of customers, application performance, 
security threats, fraudulent activity, and more. Splunk takes this 
data and makes sense of it. IT sense. And common sense.
http://p.sf.net/sfu/splunk-novd2d___
Ecls-list mailing list
Ecls-list@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/ecls-list


Re: [Ecls-list] BUG: SEGMENTATION-VIOLATION in code with DEFTYPE unicode char

2011-11-22 Thread Eric Marsden
 jgr == Juan Jose Garcia-Ripoll juanjose.garciarip...@googlemail.com 
 writes:

  jgr I agree. Compare that with

  Indeed, insufficient thinking on my part, sorry.
  
-- 
Eric Marsden


--
All the data continuously generated in your IT infrastructure 
contains a definitive record of customers, application performance, 
security threats, fraudulent activity, and more. Splunk takes this 
data and makes sense of it. IT sense. And common sense.
http://p.sf.net/sfu/splunk-novd2d
___
Ecls-list mailing list
Ecls-list@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/ecls-list