The value (-100) is not of type REAL

Bug #1823554 reported by Paul F. Dietz
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Fix Released
Undecided
Unassigned

Bug Description

(lambda ()
  (let ((v4 (rem (catch 'ct6 0) (max 100 0))))
    (incf v4)))

==>

The value
  (-100)
is not of type
  REAL
   [Condition of type TYPE-ERROR]

Restarts:
 0: [ABORT] Exit debugger, returning to top level.

Backtrace:
  0: (SB-C::WEAKEN-NUMERIC-UNION-TYPE #<SB-KERNEL:UNION-TYPE (OR (RATIONAL (-100) (100)) DOUBLE-FLOAT SINGLE-FLOAT)>)
  1: (SB-C::MAYBE-INFER-ITERATION-VAR-TYPE #<SB-C::LAMBDA-VAR :%SOURCE-NAME V4 :TYPE #<SB-KERNEL:NUMERIC-TYPE NUMBER> {1025DF07A3}> #<SB-KERNEL:UNION-TYPE (OR (RATIONAL (-100) (100)) DOUBLE-FLOAT SINGLE-FL..
  2: (SB-C::PROPAGATE-FROM-SETS #<SB-C::LAMBDA-VAR :%SOURCE-NAME V4 :TYPE #<SB-KERNEL:NUMERIC-TYPE NUMBER> {1025DF07A3}> #<SB-KERNEL:UNION-TYPE (OR (RATIONAL (-100) (100)) DOUBLE-FLOAT SINGLE-FLOAT)>)
  3: (SB-C::MAP-COMBINATION-ARG-VAR #<CLOSURE (LAMBDA (SB-C::ARG SB-C::VAR TYPE) :IN SB-C::PROPAGATE-LET-ARGS) {1025E061CB}> #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::..
  4: (SB-C::PROPAGATE-LET-ARGS #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME # :KIND :LET :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)..
[...]

Revision history for this message
Stas Boukarev (stassats) wrote :

9311db6b3ecbc2f1d1d3634d2352e64f85605af9

Changed in sbcl:
status: New → Fix Committed
Stas Boukarev (stassats)
Changed in sbcl:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.