Tried to load the package with abcl, after setting its global safety to 3:
(setq system:*safety* 3)
(ql:quickload :computable-reals)
It failed, complaining of bad function types used in get-approximations.lisp - result:
To load "computable-reals":
Load 1 ASDF system:
computable-reals
; Loading "computable-reals"
[package computable-reals].
Error loading /home/christos/.cache/common-lisp/abcl-1.9.3-dev-fasl43-linux-x64/home/christos/quicklisp/dists/quicklisp/software/computable-reals-20231021-git/get-approximations.abcl at line 14 (offset 655)
#<THREAD "interpreter" native {379FB767}>: Debugger invoked on condition of type SIMPLE-ERROR
FUNCTION types are not a legal argument to TYPEP: (FUNCTION ((INTEGER 0 *)) INTEGER)
Restarts:
...
The way I read the CLHS entry on typep, it explicitly excludes values and function types: "type-specifier---any type specifier except values, or a type specifier list whose first element is either function or values."
Tried to load the package with abcl, after setting its global safety to 3:
It failed, complaining of bad function types used in get-approximations.lisp - result:
The way I read the CLHS entry on
typep, it explicitly excludesvaluesandfunctiontypes: "type-specifier---any type specifier except values, or a type specifier list whose first element is either function or values."