compile error on Lispworks 6.0.1 Windows #107
Comments
|
can you show me the complete stack trace? I don't have any windows machine. (LW either) |
|
CL-USER 1 > (ql:quickload :trivia) **++++ Error in TRIVIA.LEVEL2.IMPL::UNARY-FUNCTION-P: Error: COMPILE-FILE-ERROR while compiling Backtrace: Condition: COMPILE-FILE-ERROR while compiling Call to ERROR (offset 67) Call to UIOP/LISP-BUILD:CHECK-LISP-COMPILE-RESULTS (offset 92) Binding frame: Call to CLOS::METHOD-COMBINATION-TEMPLATE (offset 117) Call to CLOS::CACHE-MISS-FUNCTION (offset 311) Binding frame: Call to CLOS::NEXT-METHOD-CALL-2 (offset 95) Restart frame: (ABORT) Catch frame: ((METHOD ASDF/ACTION:PERFORM-WITH-RESTARTS :AROUND (T T)) . 2) Catch frame: ((METHOD ASDF/ACTION:PERFORM-WITH-RESTARTS :AROUND (T T)) . 1) Call to (METHOD ASDF/ACTION:PERFORM-WITH-RESTARTS :AROUND (T T)) (offset 422) Binding frame: Call to CLOS::METHOD-COMBINATION-TEMPLATE (offset 68) Call to CLOS::CACHE-MISS-FUNCTION (offset 311) Call to (METHOD ASDF/PLAN:PERFORM-PLAN (LIST)) (offset 199) Binding frame: Call to CLOS::NEXT-METHOD-CALL-2 (offset 95) Binding frame: Binding frame: Call to COMPILER::DO-COMPILATION-UNIT (offset 80) Binding frame: Call to COMPILER::WITH-COMPILATION-UNIT-INTERNAL (offset 280) Binding frame: Call to (METHOD ASDF/PLAN:PERFORM-PLAN :AROUND (T)) (offset 270) Binding frame: Call to CLOS::METHOD-COMBINATION-TEMPLATE (offset 68) Binding frame: Call to CLOS::NEXT-METHOD-CALL-2 (offset 95) Binding frame: Binding frame: Call to COMPILER::DO-COMPILATION-UNIT (offset 80) Binding frame: Binding frame: Call to COMPILER::WITH-COMPILATION-UNIT-INTERNAL (offset 143) Binding frame: Call to (METHOD ASDF/PLAN:PERFORM-PLAN :AROUND (T)) (offset 270) Binding frame: Call to CLOS::METHOD-COMBINATION-TEMPLATE (offset 68) Call to (METHOD ASDF/OPERATE:OPERATE (ASDF/OPERATION:OPERATION ASDF/COMPONENT:COMPONENT)) (offset 60) Binding frame: Call to CLOS::METHOD-COMBINATION-TEMPLATE (offset 161) Binding frame: Call to CLOS::NEXT-METHOD-CALL-3 (offset 98) Binding frame: Binding frame: Binding frame: Call to (SUBFUNCTION 2 (METHOD ASDF/OPERATE:OPERATE :AROUND (T T))) (offset 227) Call to ASDF/CACHE:CALL-WITH-ASDF-CACHE (offset 550) Binding frame: Call to (METHOD ASDF/OPERATE:OPERATE :AROUND (T T)) (offset 705) Binding frame: Call to CLOS::METHOD-COMBINATION-TEMPLATE (offset 71) Binding frame: Call to CLOS::METHOD-COMBINATION-TEMPLATE (offset 116) Binding frame: Call to CLOS::NEXT-METHOD-CALL-3 (offset 98) Binding frame: Binding frame: Binding frame: Call to (SUBFUNCTION 2 (METHOD ASDF/OPERATE:OPERATE :AROUND (T T))) (offset 227) Binding frame: Restart frame: (ASDF/CACHE:RETRY ASDF/CACHE:CLEAR-CONFIGURATION-AND-RETRY) Catch frame: (ASDF/CACHE:CALL-WITH-ASDF-CACHE . 2) Catch frame: (ASDF/CACHE:CALL-WITH-ASDF-CACHE . 1) Call to ASDF/CACHE:CALL-WITH-ASDF-CACHE (offset 506) Binding frame: Call to (METHOD ASDF/OPERATE:OPERATE :AROUND (T T)) (offset 705) Binding frame: Call to CLOS::METHOD-COMBINATION-TEMPLATE (offset 71) Binding frame: Call to (METHOD ASDF/OPERATE:OPERATE :AROUND (T T)) (offset 994) Binding frame: Call to CLOS::METHOD-COMBINATION-TEMPLATE (offset 71) Call to CLOS::CACHE-MISS-FUNCTION (offset 311) Call to ASDF/OPERATE:LOAD-SYSTEM (offset 88) Binding frame: Call to QUICKLISP-CLIENT::CALL-WITH-MACROEXPAND-PROGRESS (offset 244) Handler frame: ((DSPEC::DESTRUCTURING-ERROR . #<Closure 1 subfunction of (SYSTEM:DEFINE-TOP-LOOP-COMMAND :BUG-FORM) 45FD3FA>)) Catch frame: (QUICKLISP-CLIENT::AUTOLOAD-SYSTEM-AND-DEPENDENCIES . 2) Catch frame: (QUICKLISP-CLIENT::AUTOLOAD-SYSTEM-AND-DEPENDENCIES . 1) Restart frame: (ABORT) Catch frame: (QUICKLISP-CLIENT::AUTOLOAD-SYSTEM-AND-DEPENDENCIES . 1) Call to QUICKLISP-CLIENT::AUTOLOAD-SYSTEM-AND-DEPENDENCIES (offset 779) Handler frame: ((WARNING . #<Function MUFFLE-WARNING 20949572>)) Call to (METHOD QL-IMPL-UTIL::%CALL-WITH-QUIET-COMPILATION (T T)) (offset 298) Call to CLOS::CACHE-MISS-FUNCTION (offset 311) Binding frame: Call to (METHOD QUICKLISP-CLIENT:QUICKLOAD (T)) (offset 642) Binding frame: Call to CLOS::NEXT-METHOD-CALL-2 (offset 95) Binding frame: Call to QL-DIST::CALL-WITH-CONSISTENT-DISTS (offset 86) Binding frame: Call to CLOS::METHOD-COMBINATION-TEMPLATE (offset 68) Call to SYSTEM::%INVOKE (offset 521) Call to SYSTEM::%EVAL (offset 144) SYSTEM::%EVAL <- EVAL <- SYSTEM::DO-EVALUATION <- SYSTEM::%TOP-LEVEL-INTERNAL <- SYSTEM::%TOP-LEVEL Generation 0: Total Size 1214K, Allocated 609K, Free 597K Total Size 73344K, Allocated 69981K, Free 2995K |
|
Testing lw:function-arg on |
|
Well, I don't have LW on Travis CI. Can you test LW by |
|
There is the compiler error which makes asdf stop loading.
It is the function unary-function-p in level2/derivedclass.lisp
When I compile this function in the IDE and select "Edit the code where
the error occurred" this portion is higlighted:
(match (function-lambda-expression fn)
(nil t)
(#+sbcl
(or #.(if (find-symbol "NAMED-LAMBDA" (find-package "SB-INT"))
`(list* ',(read-from-string "sb-int:named-lambda") _
(list _) _)
(warn "failed to find named-lambda in sb-int"))
(list* 'lambda (list _) _))
#-sbcl
(list* 'lambda (list _) _)
t))
Macroexpand this:
…----
(IN-PACKAGE "TRIVIA.LEVEL2.IMPL")
(MATCH2 (FUNCTION-LAMBDA-EXPRESSION FN) (NIL T) ((LIST* 'LAMBDA (LIST _)
_) T) (_ NIL))
Macroexpand again:
----
(IN-PACKAGE "TRIVIA.LEVEL2.IMPL")
(MATCH2+ (FUNCTION-LAMBDA-EXPRESSION FN) T (NIL T) ((LIST* 'LAMBDA (LIST
_) _) T) (_ NIL))
Macroexpand again:
----
(IN-PACKAGE "TRIVIA.LEVEL2.IMPL")
(MATCH2*+ ((FUNCTION-LAMBDA-EXPRESSION FN)) (T) ((NIL) T) (((LIST*
'LAMBDA (LIST _) _)) T) ((_) NIL))
Try macroexpand this form:
Error: The type specifier (FUNCTION (LIST &KEY &ALLOW-OTHER-KEYS) LIST)
cannot be used for discrimination.
Digging further is above my level
Let me know what else I can do
On 13-Oct-19 03:29, Masataro Asai wrote:
Well, I don't have LW on Travis CI. Can you test LW by
|(asdf:test-system :trivia)| on your machine?
—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub
<#107?email_source=notifications&email_token=AGC3GSPQGWCTHMRUVDCDB7LQOJ2YVA5CNFSM4I2EOW4KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEBCMARA#issuecomment-541376580>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AGC3GSMU2FKX2HXMTI6QOJTQOJ2YVANCNFSM4I2EOW4A>.
|
|
I just saw your lispworks branch; the same procedure as explained in my
previous email shows this:
(match (function-lambda-expression fn)
;; When there is no information, trusts that the function
binding is correct
(nil t)
((list* _ lambda-list _)
(lambda-list-unary-p lambda-list)))
…----
(IN-PACKAGE "TRIVIA.LEVEL2.IMPL")
(MATCH2 (FUNCTION-LAMBDA-EXPRESSION FN)
(NIL T)
((LIST* _ LAMBDA-LIST _) (LAMBDA-LIST-UNARY-P LAMBDA-LIST))
(_ NIL))
---- Done ----
----
(IN-PACKAGE "TRIVIA.LEVEL2.IMPL")
(MATCH2+ (FUNCTION-LAMBDA-EXPRESSION FN) T
(NIL T)
((LIST* _ LAMBDA-LIST _) (LAMBDA-LIST-UNARY-P LAMBDA-LIST))
(_ NIL))
----
(IN-PACKAGE "TRIVIA.LEVEL2.IMPL")
(MATCH2*+ ((FUNCTION-LAMBDA-EXPRESSION FN)) (T)
((NIL) T)
(((LIST* _ LAMBDA-LIST _)) (LAMBDA-LIST-UNARY-P LAMBDA-LIST))
((_) NIL))
The type specifier (FUNCTION (LIST &KEY &ALLOW-OTHER-KEYS)
LIST) cannot be used for discrimination.
On 13-Oct-19 22:59, Frank Schorr wrote:
There is the compiler error which makes asdf stop loading.
It is the function unary-function-p in level2/derivedclass.lisp
When I compile this function in the IDE and select "Edit the code
where the error occurred" this portion is higlighted:
(match (function-lambda-expression fn)
(nil t)
(#+sbcl
(or #.(if (find-symbol "NAMED-LAMBDA" (find-package "SB-INT"))
`(list* ',(read-from-string "sb-int:named-lambda") _
(list _) _)
(warn "failed to find named-lambda in sb-int"))
(list* 'lambda (list _) _))
#-sbcl
(list* 'lambda (list _) _)
t))
Macroexpand this:
----
(IN-PACKAGE "TRIVIA.LEVEL2.IMPL")
(MATCH2 (FUNCTION-LAMBDA-EXPRESSION FN) (NIL T) ((LIST* 'LAMBDA (LIST
_) _) T) (_ NIL))
Macroexpand again:
----
(IN-PACKAGE "TRIVIA.LEVEL2.IMPL")
(MATCH2+ (FUNCTION-LAMBDA-EXPRESSION FN) T (NIL T) ((LIST* 'LAMBDA
(LIST _) _) T) (_ NIL))
Macroexpand again:
----
(IN-PACKAGE "TRIVIA.LEVEL2.IMPL")
(MATCH2*+ ((FUNCTION-LAMBDA-EXPRESSION FN)) (T) ((NIL) T) (((LIST*
'LAMBDA (LIST _) _)) T) ((_) NIL))
Try macroexpand this form:
Error: The type specifier (FUNCTION (LIST &KEY &ALLOW-OTHER-KEYS)
LIST) cannot be used for discrimination.
Digging further is above my level
Let me know what else I can do
On 13-Oct-19 03:29, Masataro Asai wrote:
>
> Well, I don't have LW on Travis CI. Can you test LW by
> |(asdf:test-system :trivia)| on your machine?
>
> —
> You are receiving this because you authored the thread.
> Reply to this email directly, view it on GitHub
> <#107?email_source=notifications&email_token=AGC3GSPQGWCTHMRUVDCDB7LQOJ2YVA5CNFSM4I2EOW4KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEBCMARA#issuecomment-541376580>,
> or unsubscribe
> <https://github.com/notifications/unsubscribe-auth/AGC3GSMU2FKX2HXMTI6QOJTQOJ2YVANCNFSM4I2EOW4A>.
>
|
|
What now? (see @265845f ) |
|
derived-class compiles !
the next error is in derived3.lisp
**++++ Error in (HARLEQUIN-COMMON-LISP:SUBFUNCTION (LABELS PARSE-AUX)
PARSE-LAMBDA-LIST):
The type specifier (FUNCTION (LIST &KEY &ALLOW-OTHER-KEYS) LIST)
cannot be used for discrimination.
Compilation aborted.
(ematch argv
((list* '&aux argv)
(multiple-value-bind (argv rest) (take-while argv
#'!lambda-list-keyword-p)
(when argv (push `(:aux ,@(mapcar #'ensure-list
argv)) results))
(ematch rest (nil))))
(nil))
…----
(IN-PACKAGE "TRIVIA.LEVEL2.IMPL")
(MATCH2 ARGV
((LIST* '&AUX ARGV)
(MULTIPLE-VALUE-BIND (ARGV REST)
(TAKE-WHILE ARGV #'!LAMBDA-LIST-KEYWORD-P)
(WHEN ARGV (PUSH `(:AUX ,@(MAPCAR #'ENSURE-LIST ARGV)) RESULTS))
(EMATCH REST (NIL))))
(NIL)
(#:OTHERWISE3008
(ERROR 'MATCH-ERROR
:PATTERN
'(((LIST* '&AUX ARGV)
(MULTIPLE-VALUE-BIND (ARGV REST)
(TAKE-WHILE ARGV #'!LAMBDA-LIST-KEYWORD-P)
(WHEN ARGV (PUSH `(:AUX ,@(MAPCAR #'ENSURE-LIST ARGV))
RESULTS))
(EMATCH REST (NIL))))
(NIL))
:VALUES
(LIST #:OTHERWISE3008))))
---- Press Space to continue ----
----
(IN-PACKAGE "TRIVIA.LEVEL2.IMPL")
(MATCH2+ ARGV T
((LIST* '&AUX ARGV)
(MULTIPLE-VALUE-BIND (ARGV REST)
(TAKE-WHILE ARGV #'!LAMBDA-LIST-KEYWORD-P)
(WHEN ARGV (PUSH `(:AUX ,@(MAPCAR #'ENSURE-LIST ARGV)) RESULTS))
(EMATCH REST (NIL))))
(NIL)
(#:OTHERWISE3008
(ERROR 'MATCH-ERROR
:PATTERN
'(((LIST* '&AUX ARGV)
(MULTIPLE-VALUE-BIND (ARGV REST)
(TAKE-WHILE ARGV #'!LAMBDA-LIST-KEYWORD-P)
(WHEN ARGV (PUSH `(:AUX ,@(MAPCAR #'ENSURE-LIST ARGV))
RESULTS))
(EMATCH REST (NIL))))
(NIL))
:VALUES
(LIST #:OTHERWISE3008))))
----
(IN-PACKAGE "TRIVIA.LEVEL2.IMPL")
(MATCH2*+ (ARGV) (T)
(((LIST* '&AUX ARGV))
(MULTIPLE-VALUE-BIND (ARGV REST)
(TAKE-WHILE ARGV #'!LAMBDA-LIST-KEYWORD-P)
(WHEN ARGV (PUSH `(:AUX ,@(MAPCAR #'ENSURE-LIST ARGV)) RESULTS))
(EMATCH REST (NIL))))
((NIL))
((#:OTHERWISE3008)
(ERROR 'MATCH-ERROR
:PATTERN
'(((LIST* '&AUX ARGV)
(MULTIPLE-VALUE-BIND (ARGV REST)
(TAKE-WHILE ARGV #'!LAMBDA-LIST-KEYWORD-P)
(WHEN ARGV (PUSH `(:AUX ,@(MAPCAR #'ENSURE-LIST ARGV))
RESULTS))
(EMATCH REST (NIL))))
(NIL))
:VALUES
(LIST #:OTHERWISE3008))))
The type specifier (FUNCTION (LIST &KEY &ALLOW-OTHER-KEYS)
LIST) cannot be used for discriminatio
On 14-Oct-19 15:13, Masataro Asai wrote:
What now? (see @265845f )
—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub
<#107?email_source=notifications&email_token=AGC3GSJNXF4HTESDPRSWBSDQORV77A5CNFSM4I2EOW4KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEBETV5Y#issuecomment-541670135>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AGC3GSNBDRZ47WVN3JEZH4LQORV77ANCNFSM4I2EOW4A>.
|
|
It seems the same type of error as Shinmera/plump#17 from you. |
|
It is also odd that you still use the version 6.0.1 from 2010 ... there are more up-to-date versions at least, and I will try to test them. (honestly first time trying LW) Also found this: https://irclog.tymoon.eu/freenode/lisp?around=1550212904#1550212904 |
|
I received the confirmation from Lispworks that it was a bug fixed in
the newer version.
…On 15-Oct-19 00:45, Masataro Asai wrote:
It is also odd that you still use the version 6.0.1 from 2010 ...
there are more up-to-date versions at least, and I will try to test
them. (honestly first time trying LW)
Also found this:
https://irclog.tymoon.eu/freenode/lisp?around=1550212904#1550212904
—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub
<#107?email_source=notifications&email_token=AGC3GSMP437TP3BDXQFMZTLQOTZCJA5CNFSM4I2EOW4KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEBG3ILY#issuecomment-541963311>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AGC3GSLZ24I2G2A4SS6VN63QOTZCJANCNFSM4I2EOW4A>.
|
|
thank you for checking this. I close this issue then |
Trivia does not compile on Lispworks 6.0.1 for Windows
**++++ Error in TRIVIA.LEVEL2.IMPL::UNARY-FUNCTION-P:
The type specifier (FUNCTION (LIST &KEY &ALLOW-OTHER-KEYS) LIST) cannot be used for discrimination.
By the way: Lispworks has a function lw:function-lambda-list
http://www.lispworks.com/documentation/lw60/LW/html/lw-869.htm
The text was updated successfully, but these errors were encountered: