The value (-100) is not of type REAL

Bug #1823554 reported by Paul F. Dietz on 2019-04-07
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
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)..
[...]

Stas Boukarev (stassats) wrote :

9311db6b3ecbc2f1d1d3634d2352e64f85605af9

Changed in sbcl:
status: New → Fix Committed
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers