search

ha-mo-we / Racer

Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).
Other
106 stars 19 forks source link

Does not build with sbcl 1.4.10 - type inference problem #15

Closed quicklisp closed 6 years ago

quicklisp commented 6 years ago

I get this:

; file: /home/quicklisp/quicklisp-controller/dist/build-cache/racer/892f63e2bc25b640d933ba9855e71de3b7fbc3aa/racer-20180726-git/source/label-info-structures.lisp
; in: DEFUN COPY-LABEL-INFO
;     (RACER::COPY-INVERSE-LABEL-INFO RACER::LABEL-INFO)
; 
; note: deleting unreachable code
; 
; caught WARNING:
;   Derived type of LABEL-INFO is (VALUES (NOT BASIC-LABEL-INFO) &OPTIONAL), conflicting with its asserted type RACER::INVERSE-LABEL-INFO.
;   See also:
;     The SBCL Manual, Node "Handling of Types"

Full log: http://report.quicklisp.org/2018-07-27/failure-report/racer.html#racer

ha-mo-we commented 6 years ago

Will check

rm

On 27. Jul 2018, at 15:08, Zach Beane notifications@github.com wrote:

I get this:

; file: /home/quicklisp/quicklisp-controller/dist/build-cache/racer/892f63e2bc25b640d933ba9855e71de3b7fbc3aa/racer-20180726-git/source/label-info-structures.lisp ; in: DEFUN COPY-LABEL-INFO ; (RACER::COPY-INVERSE-LABEL-INFO RACER::LABEL-INFO) ; ; note: deleting unreachable code ; ; caught WARNING: ; Derived type of LABEL-INFO is (VALUES (NOT BASIC-LABEL-INFO) &OPTIONAL), conflicting with its asserted type RACER::INVERSE-LABEL-INFO. ; See also: ; The SBCL Manual, Node "Handling of Types"

Full log: http://report.quicklisp.org/2018-07-27/failure-report/racer.html#racer

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or mute the thread.

ha-mo-we commented 6 years ago

I think I found the problem. Need to run the test suite though.

rm

On 27. Jul 2018, at 15:08, Zach Beane notifications@github.com wrote:

I get this:

; file: /home/quicklisp/quicklisp-controller/dist/build-cache/racer/892f63e2bc25b640d933ba9855e71de3b7fbc3aa/racer-20180726-git/source/label-info-structures.lisp ; in: DEFUN COPY-LABEL-INFO ; (RACER::COPY-INVERSE-LABEL-INFO RACER::LABEL-INFO) ; ; note: deleting unreachable code ; ; caught WARNING: ; Derived type of LABEL-INFO is (VALUES (NOT BASIC-LABEL-INFO) &OPTIONAL), conflicting with its asserted type RACER::INVERSE-LABEL-INFO. ; See also: ; The SBCL Manual, Node "Handling of Types"

Full log: http://report.quicklisp.org/2018-07-27/failure-report/racer.html#racer

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or mute the thread.

ha-mo-we commented 6 years ago

Should work with latest version on Git. Thank you for pointing out the problem.

BR Ralf

On 27. Jul 2018, at 15:08, Zach Beane notifications@github.com wrote:

I get this:

; file: /home/quicklisp/quicklisp-controller/dist/build-cache/racer/892f63e2bc25b640d933ba9855e71de3b7fbc3aa/racer-20180726-git/source/label-info-structures.lisp ; in: DEFUN COPY-LABEL-INFO ; (RACER::COPY-INVERSE-LABEL-INFO RACER::LABEL-INFO) ; ; note: deleting unreachable code ; ; caught WARNING: ; Derived type of LABEL-INFO is (VALUES (NOT BASIC-LABEL-INFO) &OPTIONAL), conflicting with its asserted type RACER::INVERSE-LABEL-INFO. ; See also: ; The SBCL Manual, Node "Handling of Types"

Full log: http://report.quicklisp.org/2018-07-27/failure-report/racer.html#racer

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or mute the thread.