Greetings! Robert Boyer <[EMAIL PROTECTED]> writes:
> I don't think that the ANSI tests, compiled, are supposed to end, as below > with segmentation fault. > Indeed! Again, cannot reproduce thus far -- will dig up your old big static configuration from a previous email and try from there. What I've been working on -- compiler mods to detect i as fixnum in the following (for example): (let ((x 2)) (declare seqind x) (do ((i 0 (1+ i))) ((> i x)))) This also picks up a number of type detections in the presence of setq and/or loops. The nested let algorithm is eliminated in favor of an optional catch/throw loop around tagbody, if and setq. Types are inferred on the branches of the if. More later. Take care, > This was run with > > % /v/filer2/boyer/gcl/gcl-2.7.0/ansi-tests > Sun Mar 5 16:54:01 CST 2006 > GCL (GNU Common Lisp) 2.7.0 ANSI Mar 5 2006 15:51:53 > Source License: LGPL(gcl,gmp,pargcl), GPL(unexec,bfd) > Binary License: GPL due to GPL'ed components: (BFD UNEXEC) > > Bob > > ------------------------------------------------------------------------------- > > ADJOIN.ERROR.10 NTH.1 NTH.2 NTH.ORDER.1 NTH.ORDER.2 > Test NTH.ERROR.1 failed > Form: (SIGNALS-ERROR (NTH) PROGRAM-ERROR) > Expected value: T > Actual value: #<CONDITIONS::INTERNAL-TYPE-ERROR.215>. > Test NTH.ERROR.2 failed > Form: (SIGNALS-ERROR (NTH 0) PROGRAM-ERROR) > Expected value: T > Actual values: NIL > NIL. > Test NTH.ERROR.3 failed > Form: (SIGNALS-ERROR (NTH 1 '(A B C) NIL) PROGRAM-ERROR) > Expected value: T > Actual values: NIL > B. > Test NTH.ERROR.4 failed > Form: (SIGNALS-ERROR (NTH 0 '(A B C) NIL) PROGRAM-ERROR) > Expected value: T > Actual values: NIL > A. > ; (DEFUN COMPILER::CMP-ANON ...) is being compiled. > ;;; The constant NIL is being assigned a value. > ;;; The constant NIL is being assigned a value. > ;;; The constant NIL is being assigned a value. > ;;; The constant NIL is being assigned a value. > No FASL generated. > Test ENDP-NIL failed > Form: (NOTNOT-MV (ENDP NIL)) > Expected value: T > Actual value: #<CONDITIONS::INTERNAL-SIMPLE-FILE-ERROR.216>. > ; (DEFUN COMPILER::CMP-ANON ...) is being compiled. > ;;; The function (SETF CONS) is illegal. > ;;; The function (SETF CONS) is illegal. > ;;; The function (SETF CONS) is illegal. > ;;; The function (SETF CONS) is illegal. > ;;; The function (SETF CONS) is illegal. > ;;; The function (SETF CONS) is illegal. > ;;; The function (SETF CONS) is illegal. > No FASL generated. > Test ENDP-CONS failed > Form: (ENDP (CONS 'A 'A)) > Expected value: NIL > Actual value: #<CONDITIONS::INTERNAL-SIMPLE-FILE-ERROR.217>. > ; (DEFUN COMPILER::CMP-ANON ...) is being compiled. > ;;; The function (SETF LOAD-TIME-VALUE) is illegal. > ;;; The function (SETF LOAD-TIME-VALUE) is illegal. > ;;; The function (SETF LOAD-TIME-VALUE) is illegal. > ;;; The function (SETF LOAD-TIME-VALUE) is illegal. > ;;; The function (SETF LOAD-TIME-VALUE) is illegal. > ;;; The function (SETF LOAD-TIME-VALUE) is illegal. > ;;; The function (SETF LOAD-TIME-VALUE) is illegal. > No FASL generated. > Test ENDP-SINGLETON-LIST failed > Form: (ENDP '(A)) > Expected value: NIL > Actual value: #<CONDITIONS::INTERNAL-SIMPLE-FILE-ERROR.218>. > ; (DEFUN COMPILER::CMP-ANON ...) is being compiled. > ;;; The function (SETF PROGN) is illegal. > ;;; The function (SETF PROGN) is illegal. > ;;; The function (SETF PROGN) is illegal. > ;;; The function (SETF PROGN) is illegal. > ;;; The function (SETF PROGN) is illegal. > ;;; The function (SETF PROGN) is illegal. > ;;; The function (SETF PROGN) is illegal. > ;;; The function (SETF PROGN) is illegal. > ;;; The function (SETF PROGN) is illegal. > ;;; The function (SETF PROGN) is illegal. > ;;; The function (SETF PROGN) is illegal. > No FASL generated. > Test ENDP.ORDER.1 failed > Form: (LET ((I 0)) (VALUES (ENDP (PROGN (INCF I) '(A B C))) I)) > Expected values: NIL > 1 > Actual value: #<CONDITIONS::INTERNAL-SIMPLE-FILE-ERROR.219>. > ENDP.ERROR.1 > ; (DEFUN COMPILER::CMP-ANON ...) is being compiled. > ;;; The constant NIL is being assigned a value. > ;;; The constant NIL is being assigned a value. > ;;; The constant NIL is being assigned a value. > ;;; The constant NIL is being assigned a value. > No FASL generated. > Test ENDP.ERROR.4 failed > Form: (SIGNALS-ERROR (ENDP) PROGRAM-ERROR) > Expected value: T > Actual value: #<CONDITIONS::INTERNAL-SIMPLE-FILE-ERROR.220>. > ; (DEFUN COMPILER::CMP-ANON ...) is being compiled. > ;;; The constant NIL is being assigned a value. > ;;; The constant NIL is being assigned a value. > ;;; The constant NIL is being assigned a value. > ;;; The constant NIL is being assigned a value. > No FASL generated. > Test ENDP.ERROR.5 failed > Form: (SIGNALS-ERROR (ENDP NIL NIL) PROGRAM-ERROR) > Expected value: T > Actual value: #<CONDITIONS::INTERNAL-SIMPLE-FILE-ERROR.221>. > Segmentation fault > > > -- Camm Maguire [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/gcl-devel
