[Gcl-commits] gcl debian/changelog lsp/gcl_predlib.lsp

[Camm Maguire]

CVSROOT:        /cvsroot/gcl
Module name:    gcl
Branch:         
Changes by:     Camm Maguire <address@hidden>   05/08/09 00:44:48

Modified files:
        debian         : changelog 
        lsp            : gcl_predlib.lsp 

Log message:
        Major type system overhaul at the base -- all ansi subtypep tests pass 
with second arg set to t.  Autodetection and branch elimination for 
pcl::std-instance-p.  Incremental addition of class information during pcl 
build.  Explicit type orthoganalization and subtypep analysis based on 
assessment of (and t1 (not t2)) being type nil as in the Baker paper.  
Preliminary use in the compiler in type-and.  TODO complete replacement 
type-and and type-or in compiler with these algorithms.  Consider type hash 
consing  in compiler for compiler performance.  Consider a better deftype 
structure, as rate limiting step at present lies in normalizing the type via 
evaluation of interpreted deftype closures. Halv complex workload.

CVSWeb URLs:
http://savannah.gnu.org/cgi-bin/viewcvs/gcl/gcl/debian/changelog.diff?tr1=1.775&tr2=1.776&r1=text&r2=text
http://savannah.gnu.org/cgi-bin/viewcvs/gcl/gcl/lsp/gcl_predlib.lsp.diff?tr1=1.14&tr2=1.15&r1=text&r2=text