coalton

coalton/benchmarks

STYLE-WARNING: The new FTYPE proclamation for FSET::VECTOR-SET-BINARY-SEARCH-LO(FUNCTION (SIMPLE-VECTOR T) FIXNUM)does not match the derived return type(FUNCTION (SIMPLE-VECTOR T) (VALUES (INTEGER -4611686018427387904 4611686018427387904) &OPTIONAL))
STYLE-WARNING: The new FTYPE proclamation for FSET::WB-BAG-TREE-TOTAL-COUNT(FUNCTION (FSET::WB-BAG-TREE) INTEGER)does not match the derived return type(FUNCTION ((OR LIST FSET::WB-BAG-TREE-NODE)) *)
STYLE-WARNING: Generic function FSET:ITERATOR clobbers an earlier FTYPE proclamation (FUNCTION (T &KEY &ALLOW-OTHER-KEYS) (VALUES FUNCTION &REST T)) for the same name with (FUNCTION (T &KEY &ALLOW-OTHER-KEYS) *).
COMMON-LISP:WARNING: redefining SB-MPFR::MPFR_GET_Q in DEFUN
WARNING: redefining TRIVIAL-BENCHMARK:RUNNING in DEFGENERIC
WARNING: redefining TRIVIAL-BENCHMARK:METRICS in DEFGENERIC
WARNING: redefining TRIVIAL-BENCHMARK:STARTING-VALUE in DEFGENERIC

; file: /home/quicklisp/quicklisp-controller/dist/build-cache/coalton/619c0fe82eb4c0074a440f4eb0bca798bbf0c515/coalton-20250710-git/benchmarks/fibonacci.lisp
; in: DEFUN LISP-FIB
;     (- BENCHMARK-FIBONACCI::N 1)
; 
; note: forced to do GENERIC-- (cost 10)
;       unable to do inline fixnum arithmetic (cost 1) because:
;       The first argument is a (OR (INTEGER * -1) (INTEGER 2)), not a FIXNUM.
;       The result is a (VALUES (OR (INTEGER * -2) (INTEGER 1)) &OPTIONAL), not a (VALUES FIXNUM &OPTIONAL).
;       unable to do inline fixnum arithmetic (cost 2) because:
;       The first argument is a (OR (INTEGER * -1) (INTEGER 2)), not a FIXNUM.
;       The result is a (VALUES (OR (INTEGER * -2) (INTEGER 1)) &OPTIONAL), not a (VALUES FIXNUM &OPTIONAL).
;       etc.

;     (- BENCHMARK-FIBONACCI::N 2)
; 
; note: forced to do GENERIC-- (cost 10)
;       unable to do inline fixnum arithmetic (cost 1) because:
;       The first argument is a (OR (INTEGER * -1) (INTEGER 2)), not a FIXNUM.
;       The result is a (VALUES (OR (INTEGER * -3) UNSIGNED-BYTE) &OPTIONAL), not a (VALUES FIXNUM &OPTIONAL).
;       unable to do inline fixnum arithmetic (cost 2) because:
;       The first argument is a (OR (INTEGER * -1) (INTEGER 2)), not a FIXNUM.
;       The result is a (VALUES (OR (INTEGER * -3) UNSIGNED-BYTE) &OPTIONAL), not a (VALUES FIXNUM &OPTIONAL).
;       etc.

;     (+ (BENCHMARK-FIBONACCI::LISP-FIB (- BENCHMARK-FIBONACCI::N 1))
;        (BENCHMARK-FIBONACCI::LISP-FIB (- BENCHMARK-FIBONACCI::N 2)))
; 
; note: forced to do GENERIC-+ (cost 10)
;       unable to do inline fixnum arithmetic (cost 2) because:
;       The first argument is a INTEGER, not a FIXNUM.
;       The second argument is a INTEGER, not a FIXNUM.
;       The result is a (VALUES INTEGER &OPTIONAL), not a (VALUES FIXNUM &OPTIONAL).
;       unable to do inline (unsigned-byte 64) arithmetic (cost 4) because:
;       The first argument is a INTEGER, not a (UNSIGNED-BYTE 64).
;       The second argument is a INTEGER, not a (UNSIGNED-BYTE 64).
;       The result is a (VALUES INTEGER &OPTIONAL), not a (VALUES (UNSIGNED-BYTE 64) &OPTIONAL).
;       etc.

; in: COALTON-TOPLEVEL (DECLARE FIB (INTEGER -> INTEGER))
;     (COALTON:COALTON-TOPLEVEL
;       (COALTON:DECLARE BENCHMARK-FIBONACCI/NATIVE:FIB
;         (COALTON:INTEGER COALTON:-> COALTON:INTEGER))
;       (COALTON:DEFINE (BENCHMARK-FIBONACCI/NATIVE:FIB
;                        BENCHMARK-FIBONACCI/NATIVE::N)
;         (COALTON:WHEN (COALTON-LIBRARY/CLASSES:== BENCHMARK-FIBONACCI/NATIVE::N 0)
;           (COALTON:RETURN 0))
;         (COALTON:WHEN (COALTON-LIBRARY/CLASSES:== BENCHMARK-FIBONACCI/NATIVE::N 1)
;           (COALTON:RETURN 1))
;         (COALTON-LIBRARY/CLASSES:+
;          (BENCHMARK-FIBONACCI/NATIVE:FIB
;           (COALTON-LIBRARY/CLASSES:- BENCHMARK-FIBONACCI/NATIVE::N 1))
;          (BENCHMARK-FIBONACCI/NATIVE:FIB
;           (COALTON-LIBRARY/CLASSES:- BENCHMARK-FIBONACCI/NATIVE::N 2))))
;       (COALTON:DECLARE BENCHMARK-FIBONACCI/NATIVE::FIB-GENERIC
;         (COALTON-LIBRARY/CLASSES:NUM :A COALTON:=> :A COALTON:-> :A))
;       (COALTON:DEFINE (BENCHMARK-FIBONACCI/NATIVE::FIB-GENERIC
;                        BENCHMARK-FIBONACCI/NATIVE::N)
;         (COALTON:WHEN (COALTON-LIBRARY/CLASSES:== BENCHMARK-FIBONACCI/NATIVE::N 0)
;           (COALTON:RETURN 0))
;         (COALTON:WHEN (COALTON-LIBRARY/CLASSES:== BENCHMARK-FIBONACCI/NATIVE::N 1)
;           (COALTON:RETURN 1))
;         (COALTON-LIBRARY/CLASSES:+
;          (BENCHMARK-FIBONACCI/NATIVE::FIB-GENERIC
;           (COALTON-LIBRARY/CLASSES:- BENCHMARK-FIBONACCI/NATIVE::N 1))
;          (BENCHMARK-FIBONACCI/NATIVE::FIB-GENERIC
;           (COALTON-LIBRARY/CLASSES:- BENCHMARK-FIBONACCI/NATIVE::N 2))))
;       (COALTON:DECLARE BENCHMARK-FIBONACCI/NATIVE:FIB-GENERIC-WRAPPED
;         (COALTON:INTEGER COALTON:-> COALTON:INTEGER))
;       (COALTON:DEFINE (BENCHMARK-FIBONACCI/NATIVE:FIB-GENERIC-WRAPPED
;                        BENCHMARK-FIBONACCI/NATIVE::X)
;         (BENCHMARK-FIBONACCI/NATIVE::FIB-GENERIC BENCHMARK-FIBONACCI/NATIVE::X))
;       (COALTON:MONOMORPHIZE)
;       (COALTON:DECLARE BENCHMARK-FIBONACCI/NATIVE:FIB-MONOMORPHIZED
;         (COALTON:INTEGER COALTON:-> COALTON:INTEGER))
;       (COALTON:DEFINE (BENCHMARK-FIBONACCI/NATIVE:FIB-MONOMORPHIZED
;                        BENCHMARK-FIBONACCI/NATIVE::X)
;         (BENCHMARK-FIBONACCI/NATIVE::FIB-GENERIC BENCHMARK-FIBONACCI/NATIVE::X))
;       (COALTON:DECLARE BENCHMARK-FIBONACCI/NATIVE:FIB-GENERIC-OPTIONAL
;         (COALTON:INTEGER COALTON:-> COALTON:OPTIONAL COALTON:INTEGER))
;       (COALTON:DEFINE (BENCHMARK-FIBONACCI/NATIVE:FIB-GENERIC-OPTIONAL
;                        BENCHMARK-FIBONACCI/NATIVE::X)
;         (BENCHMARK-FIBONACCI/NATIVE::FIB-GENERIC
;          (COALTON:SOME BENCHMARK-FIBONACCI/NATIVE::X)))
;       ...)
; 
; caught COMMON-LISP:ERROR:
;   (during macroexpansion of (COALTON-TOPLEVEL (DECLARE FIB ...) ...))
;   error: Unknown instance
;     --> <macroexpansion>:1:632
;      |
;    1 |  (COALTON-TOPLEVEL (DECLARE FIB (INTEGER -> INTEGER)) (DEFINE (FIB N) (WHEN (== N 0) (RETURN 0)) (WHEN (== N 1) (RETURN 1)) (+ (FIB (- N 1)) (FIB (- N 2)))) (DECLARE FIB-GENERIC (NUM :A => :A -> :A)) (DEFINE (FIB-GENERIC N) (WHEN (== N 0) (RETURN 0)) (WHEN (== N 1) (RETURN 1)) (+ (FIB-GENERIC (- N 1)) (FIB-GENERIC (- N 2)))) (DECLARE FIB-GENERIC-WRAPPED (INTEGER -> INTEGER)) (DEFINE (FIB-GENERIC-WRAPPED X) (FIB-GENERIC X)) (MONOMORPHIZE) (DECLARE FIB-MONOMORPHIZED (INTEGER -> INTEGER)) (DEFINE (FIB-MONOMORPHIZED X) (FIB-GENERIC X)) (DECLARE FIB-GENERIC-OPTIONAL (INTEGER -> OPTIONAL INTEGER)) (DEFINE (FIB-GENERIC-OPTIONAL X) (FIB-GENERIC (SOME X))) (MONOMORPHIZE) (DECLARE FIB-MONOMORPHIZED-OPTIONAL (INTEGER -> OPTIONAL INTEGER)) (DEFINE (FIB-MONOMORPHIZED-OPTIONAL X) (FIB-GENERIC (SOME X))))
;      |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          ^^^^^^^^^^^ Unknown instance NUM (OPTIONAL INTEGER)
;   
Unhandled UIOP/LISP-BUILD:COMPILE-FILE-ERROR in thread #<SB-THREAD:THREAD tid=1664713 "main thread" RUNNING {1200F08003}>: COMPILE-FILE-ERROR while compiling #<CL-SOURCE-FILE "coalton/benchmarks" "fibonacci">

Backtrace for: #<SB-THREAD:THREAD tid=1664713 "main thread" RUNNING {1200F08003}>
0: (SB-DEBUG::DEBUGGER-DISABLED-HOOK #<UIOP/LISP-BUILD:COMPILE-FILE-ERROR {121687D5B3}> #<unused argument> :QUIT T)
1: (SB-DEBUG::RUN-HOOK *INVOKE-DEBUGGER-HOOK* #<UIOP/LISP-BUILD:COMPILE-FILE-ERROR {121687D5B3}>)
2: (INVOKE-DEBUGGER #<UIOP/LISP-BUILD:COMPILE-FILE-ERROR {121687D5B3}>)
3: (ERROR UIOP/LISP-BUILD:COMPILE-FILE-ERROR :CONTEXT-FORMAT "~/asdf-action::format-action/" :CONTEXT-ARGUMENTS ((#<ASDF/LISP-ACTION:COMPILE-OP > . #<ASDF/LISP-ACTION:CL-SOURCE-FILE "coalton/benchmarks" "fibonacci">)))
4: (UIOP/LISP-BUILD:CHECK-LISP-COMPILE-RESULTS NIL T T "~/asdf-action::format-action/" ((#<ASDF/LISP-ACTION:COMPILE-OP > . #<ASDF/LISP-ACTION:CL-SOURCE-FILE "coalton/benchmarks" "fibonacci">)))
5: ((SB-PCL::EMF ASDF/ACTION:PERFORM) #<unused argument> #<unused argument> #<ASDF/LISP-ACTION:COMPILE-OP > #<ASDF/LISP-ACTION:CL-SOURCE-FILE "coalton/benchmarks" "fibonacci">)
6: ((LAMBDA NIL :IN ASDF/ACTION:CALL-WHILE-VISITING-ACTION))
7: ((:METHOD ASDF/ACTION:PERFORM-WITH-RESTARTS :AROUND (T T)) #<ASDF/LISP-ACTION:COMPILE-OP > #<ASDF/LISP-ACTION:CL-SOURCE-FILE "coalton/benchmarks" "fibonacci">) [fast-method]
8: ((:METHOD ASDF/PLAN:PERFORM-PLAN (T)) #<ASDF/PLAN:SEQUENTIAL-PLAN {120D8F2513}>) [fast-method]
9: ((FLET SB-C::WITH-IT :IN SB-C::%WITH-COMPILATION-UNIT))
10: ((:METHOD ASDF/PLAN:PERFORM-PLAN :AROUND (T)) #<ASDF/PLAN:SEQUENTIAL-PLAN {120D8F2513}>) [fast-method]
11: ((:METHOD ASDF/OPERATE:OPERATE (ASDF/OPERATION:OPERATION ASDF/COMPONENT:COMPONENT)) #<ASDF/LISP-ACTION:LOAD-OP > #<ASDF/SYSTEM:SYSTEM "coalton/benchmarks"> :PLAN-CLASS NIL :PLAN-OPTIONS NIL) [fast-method]
12: ((SB-PCL::EMF ASDF/OPERATE:OPERATE) #<unused argument> #<unused argument> #<ASDF/LISP-ACTION:LOAD-OP > #<ASDF/SYSTEM:SYSTEM "coalton/benchmarks">)
13: ((LAMBDA NIL :IN ASDF/OPERATE:OPERATE))
14: ((:METHOD ASDF/OPERATE:OPERATE :AROUND (T T)) #<ASDF/LISP-ACTION:LOAD-OP > #<ASDF/SYSTEM:SYSTEM "coalton/benchmarks">) [fast-method]
15: ((SB-PCL::EMF ASDF/OPERATE:OPERATE) #<unused argument> #<unused argument> ASDF/LISP-ACTION:LOAD-OP "coalton/benchmarks")
16: ((LAMBDA NIL :IN ASDF/OPERATE:OPERATE))
17: ((:METHOD ASDF/OPERATE:OPERATE :AROUND (T T)) ASDF/LISP-ACTION:LOAD-OP "coalton/benchmarks") [fast-method]
18: (ASDF/SESSION:CALL-WITH-ASDF-SESSION #<FUNCTION (LAMBDA NIL :IN ASDF/OPERATE:OPERATE) {120D12473B}> :OVERRIDE T :KEY NIL :OVERRIDE-CACHE T :OVERRIDE-FORCING NIL)
19: ((LAMBDA NIL :IN ASDF/OPERATE:OPERATE))
20: (ASDF/SESSION:CALL-WITH-ASDF-SESSION #<FUNCTION (LAMBDA NIL :IN ASDF/OPERATE:OPERATE) {120D0F400B}> :OVERRIDE NIL :KEY NIL :OVERRIDE-CACHE NIL :OVERRIDE-FORCING NIL)
21: ((:METHOD ASDF/OPERATE:OPERATE :AROUND (T T)) ASDF/LISP-ACTION:LOAD-OP "coalton/benchmarks") [fast-method]
22: (DEPCHECK::COMPUTE-DEPENDENCIES "coalton" "coalton/benchmarks")
23: (DEPCHECK::MAGIC "coalton" "coalton/benchmarks" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-pHmgNtoG/depcheck-win.txt")
24: (DEPCHECK::MAIN ("depcheck" "/home/quicklisp/quicklisp-controller/dist/system-file-index" "coalton" "coalton/benchmarks" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-pHmgNtoG/depcheck-win.txt" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-pHmgNtoG/depcheck-fail.txt"))
25: ((LAMBDA NIL :IN "/home/quicklisp/quicklisp/local-projects/quicklisp-controller/dumper-2SKVI5f7.lisp"))
26: ((FLET SB-UNIX::BODY :IN SB-IMPL::START-LISP))
27: ((FLET "WITHOUT-INTERRUPTS-BODY-3" :IN SB-IMPL::START-LISP))
28: (SB-IMPL::%START-LISP)

unhandled condition in --disable-debugger mode, quitting
; 
; compilation unit aborted
;   caught 1 fatal ERROR condition
;   caught 1 ERROR condition
;   printed 3 notes