2013/6/27 Gabriel Dos Reis <g...@integrable-solutions.net>:
> I looked at this mysterious error for a long time. I've concluded
> that it must be a bug in ECL-11.1.1 (the one you're using to
> build OpenAxiom). That is a pretty old version of ECL.
> Notice that similar function type declaration for objectAssoc
> does not provoke an error. One fix for that version of ECL
> would be comment out the type declaration for symbolAssoc
> in the file src/boot/utility.boot.
>
> Can you try that and tell me how it goes?
If I understand correctly:
....
objectAssoc: (%Thing, %List %Thing) -> %Maybe %Pair(%Thing,%Thing)
-- symbolAssoc: (%Symbol,%List %Thing) -> %Maybe %Pair(%Symbol,%Thing)
setDifference: (%List %Thing,%List %Thing) -> %List %Thing
....
Result:
../../src/driver/open-axiom --execpath=strap/bootsys --translate
--import=skip --output=stage1/utility.clisp
../../../src/boot/utility.boot
../../src/driver/open-axiom --execpath=../lisp/lisp
--output=stage1/utility.o --compile --load-directory=stage1
stage1/utility.clisp
;;;
;;; Compiling stage1/utility.clisp.
;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=0
;;;
;;; Compiling (DEFUN |atomic?| ...).
;;; Note:
;;; in file utility.clisp, position 3844
;;; at (DEFUN atomic? ...)
;;; In function atomic?, checking types of arguments x.
;;; Compiling (DEFUN |every?| ...).
;;; Note:
;;; in file utility.clisp, position 3914
;;; at (DEFUN every? ...)
;;; In function every?, checking types of arguments l f.
;;; Compiling (DEFUN |any?| ...).
;;; Note:
;;; in file utility.clisp, position 4247
;;; at (DEFUN any? ...)
;;; In function any?, checking types of arguments l f.
;;; Compiling (DEFUN |take| ...).
;;; Note:
;;; in file utility.clisp, position 4580
;;; at (DEFUN take ...)
;;; In function take, checking types of arguments l n.
;;; Compiling (DEFUN |takeWhile| ...).
;;; Note:
;;; in file utility.clisp, position 5227
;;; at (DEFUN takeWhile ...)
;;; In function takeWhile, checking types of arguments l f.
;;; Compiling (DEFUN |drop| ...).
;;; Note:
;;; in file utility.clisp, position 5697
;;; at (DEFUN drop ...)
;;; In function drop, checking types of arguments l n.
;;; Note:
;;; in file utility.clisp, position 5697
;;; at (DEFUN drop ...)
;;; Unknown type ((|%List| |%Thing|))
;;; Compiling (DEFUN |copyTree| ...).
;;; Note:
;;; in file utility.clisp, position 6062
;;; at (DEFUN copyTree ...)
;;; In function copyTree, checking types of arguments t.
;;; Error:
;;; in file utility.clisp, position 6062
;;; at (DEFUN copyTree ...)
;;; * The macro form (COND |COPYTREE CAR T)) (COPYTREE CAR T))
(COPYTREE (CDR T))))
;;; (T T)))
;;;
;;; (DEFUN OBJECTMEMBER? (X L)
;;; (LOOP
;;; (COND ((NULL L) (RETURN NIL))
;;; ((CONSP L)
;;; (COND ((EQ X (CAR L)) (RETURN T)) (T (SETQ L (CDR L)))))
;;; (T (RETURN (EQ X L))))))
;;;
;;; (DEFUN SYMBOLMEMBER? (S L)
;;; (LOOP
;;; (COND ((NULL L) (RETURN NIL))
;;; ((CONSP L)
;;; (COND ((EQ S (CAR L)) (RETURN T)) (T (SETQ L (CDR L)))))
;;; (T (RETURN (EQ S L))))))
;;;
;;; (DEFUN STRINGMEMBER? (S L)
;;; (LOOP
;;; (COND ((NULL L) (RETURN NIL))
;;; ((CONSP L)
;;; (COND ((STRING= S (CAR L)) (RETURN T)) (T (SETQ L (CDR L)))))
;;; (T (RETURN (STRING= S L))))))
;;;
;;; (DEFUN CHARMEMBER? (C L)
;;; (LOOP
;;; ((CONSP L)
;;; (COND ((CHAR= C (CAR L)) (RETURN T)) (T (SETQ L (CDR L)))))
;;; (T (RETURN (CHAR= C L))))))
;;;
;;; (DEFUN SCALARMEMBER? (S L)
;;; NIL))
;;; ((CONSP L) l|) was not expanded successfully.
;;; Error detected:
;;; In function CAR, the value of the only argument is
;;; |COPYTREE CAR T)) (COPYTREE CAR T)) (COPYTREE (CDR T))))
;;; (T T)))
;;;
;;; (DEFUN OBJECTMEMBER? (X L)
;;; (LOOP
;;; (COND ((NULL L) (RETURN NIL))
;;; ((CONSP L)
;;; (COND ((EQ X (CAR L)) (RETURN T)) (T (SETQ L (CDR L)))))
;;; (T (RETURN (EQ X L))))))
;;;
;;; (DEFUN SYMBOLMEMBER? (S L)
;;; (LOOP
;;; (COND ((NULL L) (RETURN NIL))
;;; ((CONSP L)
;;; (COND ((EQ S (CAR L)) (RETURN T)) (T (SETQ L (CDR L)))))
;;; (T (RETURN (EQ S L))))))
;;;
;;; (DEFUN STRINGMEMBER? (S L)
;;; (LOOP
;;; (COND ((NULL L) (RETURN NIL))
;;; ((CONSP L)
;;; (COND ((STRING= S (CAR L)) (RETURN T)) (T (SETQ L (CDR L)))))
;;; (T (RETURN (STRING= S L))))))
;;;
;;; (DEFUN CHARMEMBER? (C L)
;;; (LOOP
;;; (COND ((NULL L) (RETURN NIL))
;;; ((CONSP L)
;;; (COND ((CHAR= C (CAR L)) (RETURN T)) (T (SETQ L (CDR L)))))
;;; (T (RETURN (CHAR= C L))))))
;;;
;;; (DEFUN SCALARMEMBER? (S L)
;;; NIL))
;;; ((CONSP L) l|
;;; which is not of the expected type LISTerror: compilation of Lisp code failed
../../src/driver/open-axiom --execpath=strap/bootsys --translate
--import=skip --output=stage1/tokens.clisp
../../../src/boot/tokens.boot
../../src/driver/open-axiom --execpath=../lisp/lisp
--output=stage1/tokens.o --compile --load-directory=stage1
stage1/tokens.clisp
;;;
;;; Compiling stage1/tokens.clisp.
;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=0
;;;
fatal error: module "utility" not found in search path ("stage1")
------------------------------------------------------------------------------
This SF.net email is sponsored by Windows:
Build for Windows Store.
http://p.sf.net/sfu/windows-dev2dev
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
