X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=BUGS;h=eb66e35736be2fc8444506600bde28282a810a78;hb=4f102592a1c122f17231563671930456c7c85f5c;hp=13c5cc4375db7eefa350ec5da3161d7b835cb7d6;hpb=5822b60341dea34bca191bedbbdd94adef6dc534;p=sbcl.git diff --git a/BUGS b/BUGS index 13c5cc4..eb66e35 100644 --- a/BUGS +++ b/BUGS @@ -501,17 +501,7 @@ WORKAROUND: conformance problem, since seems hard to construct useful code where it matters.) - b. - * (defun foo (x) - (declare (type (double-float -0d0) x)) - (declare (optimize speed)) - (+ x (sqrt (log (random 1d0))))) - debugger invoked on condition of type SIMPLE-ERROR: - bad thing to be a type specifier: ((COMPLEX - (DOUBLE-FLOAT 0.0d0 - #.SB-EXT:DOUBLE-FLOAT-POSITIVE-INFINITY)) - #C(0.0d0 #.SB-EXT:DOUBLE-FLOAT-POSITIVE-INFINITY) - #C(0.0d0 #.SB-EXT:DOUBLE-FLOAT-POSITIVE-INFINITY)) + b. (fixed in 0.8.3.43) 146: Floating point errors are reported poorly. E.g. on x86 OpenBSD @@ -1102,8 +1092,7 @@ WORKAROUND: uses generic arithmetic. - b. For the example above, the compiler does not issue a note. - (fixed in 0.8.3.6, but a test case would be good) + b. (fixed in 0.8.3.6) 279: type propagation error -- correctly inferred type goes astray? In sbcl-0.8.3 and sbcl-0.8.1.47, the warning @@ -1204,31 +1193,6 @@ WORKAROUND: least some of them are indicative of potentially thread-unsafe parts of the system. See doc/internals/notes/threading-specials -285: PPC randomness - In SBCL 0.8.3.1x on a powerpc running Linux (dunno if Darwin is - similarly affected): - * (dotimes (i 100) (random 1663553320000000)) - - NIL - * (dotimes (i 100) (random 1663553340000000)) - - NIL - * (dotimes (i 100) (random 1663553350000000)) - - debugger invoked on condition of type TYPE-ERROR: - The value -30653269094906 - is not of type - (OR (SINGLE-FLOAT 0.0) (DOUBLE-FLOAT 0.0d0) (RATIONAL 0)). - - and, weirdly, the frame is: - ("hairy arg processor for top level local call RANDOM" - 1663553347392000 - #S(RANDOM-STATE - :STATE #(0 2567483615 188 1503590015 2333049409 322761517 ...))) - - (the type error doesn't seem to be terribly deterministic in when it - occurs. Bigger numbers seem better able to trigger the error) - 286: "recursive known functions" Self-call recognition conflicts with known function recognition. Currently cross compiler and target COMPILE do not