Closed
Description
Building with SBCL 2.5.5.114-85e41f89c / ASDF 3.3.5 for quicklisp dist creation.
Trying to build commit id f82344e
coalton/benchmarks fails to build with the following error:
; 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))))
; | ^^
54C2
^^^^^^^^^ 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">
Metadata
Metadata
Assignees
Labels
No labels