Problematic type declaration in sb-gmp::gmp-intexp
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
A type declaration added to sb-gmp in https:/
One way of fixing this is removing the type declaration.
Here is a demonstration with SBCL 2.3.2:
* (require 'sb-gmp) ;=> ("SB-GMP")
* sb-gmp:
* sb-gmp:
* (setf sb-gmp:
* (expt 113/355 -1) ;=> 355/113
* (setf sb-gmp:
* (expt 113/355 -1) ;=>
debugger invoked on a TYPE-ERROR @225715EC in thread
#<THREAD "main thread" RUNNING {1001420003}>:
The value
113/355
is not of type
INTEGER
Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.
restarts (invokable by number or by possibly-
0: [ABORT] Exit debugger, returning to top level.
(SB-GMP::GMP-INTEXP 113/355 -1)
source: (THE INTEGER (GMP-INTEXP BASE (- POWER)))
Changed in sbcl: | |
status: | New → Fix Committed |
Changed in sbcl: | |
status: | Fix Committed → Fix Released |