/[cmucl]/src/code/pred.lisp
ViewVC logotype

Log of /src/code/pred.lisp

Parent Directory Parent Directory | Revision Log Revision Log


Links to HEAD: (view) (annotate)
Sticky Tag:

Revision 1.65 - (view) (annotate) - [select for diffs]
Tue Apr 20 17:57:45 2010 UTC (4 years ago) by rtoy
Branch: MAIN
CVS Tags: GIT-CONVERSION, HEAD, RELEASE_20b, cross-sol-x86-2010-12-20, cross-sol-x86-base, cross-sol-x86-merged, cross-sparc-branch-base, release-20b-pre1, release-20b-pre2, snapshot-2010-05, snapshot-2010-06, snapshot-2010-07, snapshot-2010-08, snapshot-2010-11, snapshot-2010-12, snapshot-2011-01, snapshot-2011-02, snapshot-2011-03, snapshot-2011-04, snapshot-2011-06, snapshot-2011-07, snapshot-2011-09, sparc-tramp-assem-2010-07-19, sparc-tramp-assem-base
Branch point for: RELEASE-20B-BRANCH, cross-sol-x86-branch, cross-sparc-branch, sparc-tramp-assem-branch
Changes since 1.64: +9 -9 lines
Diff to previous 1.64 , to selected 1.33
Change uses of _"foo" to (intl:gettext "foo").  This is because slime
may get confused with source locations if the reader macros are
installed.

Revision 1.64 - (view) (annotate) - [select for diffs]
Mon Apr 19 02:18:04 2010 UTC (4 years ago) by rtoy
Branch: MAIN
Changes since 1.63: +8 -8 lines
Diff to previous 1.63 , to selected 1.33
Remove _N"" reader macro from docstrings when possible.

Revision 1.63 - (view) (annotate) - [select for diffs]
Fri Mar 19 15:18:59 2010 UTC (4 years, 1 month ago) by rtoy
Branch: MAIN
CVS Tags: post-merge-intl-branch, snapshot-2010-04
Changes since 1.62: +18 -16 lines
Diff to previous 1.62 , to selected 1.33
Merge intl-branch 2010-03-18 to HEAD.  To build, you need to use
boot-2010-02-1 as the bootstrap file.  You should probably also use
the new -P option for build.sh to generate and update the po files
while building.

Revision 1.62.4.1 - (view) (annotate) - [select for diffs]
Thu Feb 25 20:34:51 2010 UTC (4 years, 1 month ago) by rtoy
Branch: intl-2-branch
Changes since 1.62: +18 -16 lines
Diff to previous 1.62 , to next main 1.65 , to selected 1.33
Restart internalization work.  This new branch starts with code from
the intl-branch on date 2010-02-12 18:00:00+0500.  This version works
and

LANG=en@piglatin bin/lisp

works (once the piglatin translation is added).

Revision 1.62.2.2 - (view) (annotate) - [select for diffs]
Wed Feb 10 01:53:31 2010 UTC (4 years, 2 months ago) by rtoy
Branch: intl-branch
CVS Tags: intl-branch-2010-03-18-1300, intl-branch-working-2010-02-11-1000, intl-branch-working-2010-02-19-1000
Changes since 1.62.2.1: +16 -16 lines
Diff to previous 1.62.2.1 , to branch point 1.62 , to next main 1.65 , to selected 1.33
Mark translatable strings; update cmucl.pot and ko/cmucl.po
accordingly.

Revision 1.62.2.1 - (view) (annotate) - [select for diffs]
Mon Feb 8 17:15:48 2010 UTC (4 years, 2 months ago) by rtoy
Branch: intl-branch
Changes since 1.62: +3 -1 lines
Diff to previous 1.62 , to selected 1.33
Add (intl:textdomain "cmucl") to the files to set the textdomain.

Revision 1.62 - (view) (annotate) - [select for diffs]
Mon Nov 2 15:05:06 2009 UTC (4 years, 5 months ago) by rtoy
Branch: MAIN
CVS Tags: intl-2-branch-base, intl-branch-base, pre-merge-intl-branch, snapshot-2009-12, snapshot-2010-01, snapshot-2010-02, snapshot-2010-03
Branch point for: intl-2-branch, intl-branch
Changes since 1.61: +0 -33 lines
Diff to previous 1.61 , to selected 1.33
Revert previous changes.  They were supposed to go on
amd64-dd-branch.

Revision 1.60.24.1 - (view) (annotate) - [select for diffs]
Mon Nov 2 14:29:46 2009 UTC (4 years, 5 months ago) by rtoy
Branch: amd64-dd-branch
Changes since 1.60: +34 -1 lines
Diff to previous 1.60 , to next main 1.65 , to selected 1.33
(Oops.  Previous checkin went to wrong branch.  Here is the commit
log, again.)

This large checkin brings the amd64 port up-to-date with the current
sources.  No real attempt has been made to make it work, but the
cross-compile does create a kernel.core, and the C code compiles (on
openSuSE 10.3).  The resulting kernel.core does not yet work.

Use cross-x86-amd64.lisp as the cross-compile script.  This is
intended to be cross-compiled using the 20a release for Linux, and
only supports x87.  The sse2 support has not be ported yet.

tools/cross-scripts/cross-x86-amd64.lisp:
o Update cross-compile with some missing constants, and frob new
  symbols.

tools/clean-target.sh:
o Remove amd64f files too.

code/pred.lisp:
o Define predicates for double-doubles for bootstrapping to work
  around recursive known function problems with these predicates.

code/sap.lisp:
o Define int-sap with (unsigned-byte 64) type declaration.  (May not
  be needed?)

code/unix-glibc2.lisp:
o Build fails defining map_failed to (int-sap -1).  Just hard-wire to
  0 for now so we can build.

compiler/float-tran.lisp:
o Add missing conditional for %complex-double-double-float.

compiler/amd64/float.lisp:
o Merge double-double support for amd64.  Not really tested yet.

compiler/amd64/parms.lisp:
o Update to match x86 build.  In particular, get the space address
  correct and update the static symbols.

compiler/amd64/type-vops.lisp:
o DYLAN-FUNCTION-HEADER-TYPE no longer exists.

compiler/amd64/vm.lisp:
o Add double-double storage classes and register definitions.

lisp/Config.amd64:
o Bring in line with Config.x86 and friends.

lisp/Linux-os.c:
o Bring amd64 code up-to-date with x86/linux code.

lisp/Linux-os.h
o Need to include sys/ucontext.h to get ucontext defined.  (Why?)
o Also define __USE_GNU so we get the register offsets in the ucontext
  defined.  (Why?)

lisp/amd64-arch.c:
o Change struct sigcontext to os_context_t.
o Use SC_PC instead of context->sc_pc.
o Merge some changes in from x86 version, like SC_EFLAGS.  May need
  more work.

lisp/amd64-assem.s:
o Use rbx instead of ebx for jmp.

lisp/amd64-lispregs.h:
o Define SC_REG, SC_PC, SC_SP using the new x86 style.

lisp/backtrace.c:
o Remove inline assembly for now until I figure out what the amd64
  version should be.

lisp/gencgc.c:
o Conditionalize out weak hash table support for now.

lisp/gencgc.h:
o Set PAGE_SIZE for amd64.  (Is 4096 right?)

lisp/globals.h:
o Export current_dynamic_space_free_pointer and
  current_auto_gc_trigger like for x86.

Revision 1.61 - (view) (annotate) - [select for diffs]
Mon Nov 2 02:51:57 2009 UTC (4 years, 5 months ago) by rtoy
Branch: MAIN
Changes since 1.60: +34 -1 lines
Diff to previous 1.60 , to selected 1.33
This large checkin brings the amd64 port up-to-date with the current
sources.  No real attempt has been made to make it work, but the
cross-compile does create a kernel.core, and the C code compiles (on
openSuSE 10.3).  The resulting kernel.core does not yet work.

Use cross-x86-amd64.lisp as the cross-compile script.  This is
intended to be cross-compiled using the 20a release for Linux, and
only supports x87.  The sse2 support has not be ported yet.

tools/cross-scripts/cross-x86-amd64.lisp:
o Update cross-compile with some missing constants, and frob new
  symbols.

tools/clean-target.sh:
o Remove amd64f files too.

code/pred.lisp:
o Define predicates for double-doubles for bootstrapping to work
  around recursive known function problems with these predicates.

code/sap.lisp:
o Define int-sap with (unsigned-byte 64) type declaration.  (May not
  be needed?)

code/unix-glibc2.lisp:
o Build fails defining map_failed to (int-sap -1).  Just hard-wire to
  0 for now so we can build.

compiler/float-tran.lisp:
o Add missing conditional for %complex-double-double-float.

compiler/amd64/float.lisp:
o Merge double-double support for amd64.  Not really tested yet.

compiler/amd64/parms.lisp:
o Update to match x86 build.  In particular, get the space address
  correct and update the static symbols.

compiler/amd64/type-vops.lisp:
o DYLAN-FUNCTION-HEADER-TYPE no longer exists.

compiler/amd64/vm.lisp:
o Add double-double storage classes and register definitions.

lisp/Config.amd64:
o Bring in line with Config.x86 and friends.

lisp/Linux-os.c:
o Bring amd64 code up-to-date with x86/linux code.

lisp/Linux-os.h
o Need to include sys/ucontext.h to get ucontext defined.  (Why?)
o Also define __USE_GNU so we get the register offsets in the ucontext
  defined.  (Why?)

lisp/amd64-arch.c:
o Change struct sigcontext to os_context_t.
o Use SC_PC instead of context->sc_pc.
o Merge some changes in from x86 version, like SC_EFLAGS.  May need
  more work.

lisp/amd64-assem.s:
o Use rbx instead of ebx for jmp.

lisp/amd64-lispregs.h:
o Define SC_REG, SC_PC, SC_SP using the new x86 style.

lisp/backtrace.c:
o Remove inline assembly for now until I figure out what the amd64
  version should be.

lisp/gencgc.c:
o Conditionalize out weak hash table support for now.

lisp/gencgc.h:
o Set PAGE_SIZE for amd64.  (Is 4096 right?)

lisp/globals.h:
o Export current_dynamic_space_free_pointer and
  current_auto_gc_trigger like for x86.

Revision 1.60 - (view) (annotate) - [select for diffs]
Fri Jun 30 18:41:22 2006 UTC (7 years, 9 months ago) by rtoy
Branch: MAIN
CVS Tags: RELEASE_19f, RELEASE_20a, amd64-dd-start, label-2009-03-16, label-2009-03-25, merge-sse2-packed, merge-with-19f, merged-unicode-utf16-extfmt-2009-06-11, portable-clx-base, portable-clx-import-2009-06-16, pre-telent-clx, release-19d, release-19d-base, release-19d-pre1, release-19d-pre2, release-19e, release-19e-base, release-19e-pre1, release-19e-pre2, release-19f-base, release-19f-pre1, release-20a-base, release-20a-pre1, snapshot-2006-07, snapshot-2006-08, snapshot-2006-09, snapshot-2006-10, snapshot-2006-11, snapshot-2006-12, snapshot-2007-01, snapshot-2007-02, snapshot-2007-03, snapshot-2007-04, snapshot-2007-05, snapshot-2007-06, snapshot-2007-07, snapshot-2007-08, snapshot-2007-09, snapshot-2007-10, snapshot-2007-11, snapshot-2007-12, snapshot-2008-01, snapshot-2008-02, snapshot-2008-03, snapshot-2008-04, snapshot-2008-05, snapshot-2008-06, snapshot-2008-07, snapshot-2008-08, snapshot-2008-09, snapshot-2008-10, snapshot-2008-11, snapshot-2008-12, snapshot-2009-01, snapshot-2009-02, snapshot-2009-04, snapshot-2009-05, snapshot-2009-07, snapshot-2009-08, snapshot-2009-11, sse2-base, sse2-checkpoint-2008-10-01, sse2-merge-with-2008-10, sse2-merge-with-2008-11, sse2-packed-2008-11-12, sse2-packed-base, unicode-snapshot-2009-05, unicode-snapshot-2009-06, unicode-string-buffer-base, unicode-string-buffer-impl-base, unicode-utf16-base, unicode-utf16-char-support-2009-03-25, unicode-utf16-char-support-2009-03-26, unicode-utf16-extfmt-2009-03-27, unicode-utf16-extfmt-2009-06-11, unicode-utf16-extfmts-pre-sync-2008-11, unicode-utf16-extfmts-sync-2008-12, unicode-utf16-string-support, unicode-utf16-sync-2008-07, unicode-utf16-sync-2008-09, unicode-utf16-sync-2008-11, unicode-utf16-sync-2008-12, unicode-utf16-sync-label-2009-03-16
Branch point for: RELEASE-19F-BRANCH, RELEASE-20A-BRANCH, amd64-dd-branch, portable-clx-branch, release-19d-branch, release-19e-branch, sse2-branch, sse2-packed-branch, unicode-string-buffer-branch, unicode-string-buffer-impl-branch, unicode-utf16-branch, unicode-utf16-extfmt-branch
Changes since 1.59: +10 -2 lines
Diff to previous 1.59 , to selected 1.33
This large checkin merges the double-double float support to HEAD.
The merge is from the tag "double-double-irrat-end".  The
double-double branch is now obsolete.

The code should build without double-double support (tested on sparc)
as well as build with double-double support (tested also on sparc).

Revision 1.59.18.1.4.3 - (view) (annotate) - [select for diffs]
Wed Jun 21 18:38:44 2006 UTC (7 years, 10 months ago) by rtoy
Branch: double-double-array-branch
CVS Tags: double-double-array-checkpoint, double-double-irrat-end, double-double-irrat-start, double-double-sparc-checkpoint-1
Changes since 1.59.18.1.4.2: +2 -1 lines
Diff to previous 1.59.18.1.4.2 , to branch point 1.59.18.1 , to selected 1.33
Add support for (simple-array (complex double-double-float) (*)).

bootfiles/19c/boot-2006-06-2-cross-dd-sparc.lisp:
o Update for new array type.
o Fix a problem with ash-left-mod32 and lognot-mod32 not being
  defined.

code/array.lisp:
o Add new array type for %vector-type-code.
o Tell data-vector-ref, data-vector-set, and array-element-type about
  the new array.

code/class.lisp:
o Add new array type to the set of built-in classes.

code/exports.lisp:
o Export necessary symbols for the new array type.

code/pred.lisp:
o Generate type predicate for new array type.

compiler/array-tran.lisp:
o Add new array type to array-info.

compiler/generic/objdef.lisp:
o Add new array type code.

compiler/generic/primtype.lisp:
o Add new primitive type for this new array type.
o Update *simple-array-primitive-types* with new array type.

compiler/generic/vm-fndb.lisp:
o Defknown for new array type.

compiler/generic/vm-type.lisp:
o Update specialized-array-element-types with new type so we can
  create specialized arrays.

compiler/generic/vm-typetran.lisp:
o Tell compiler about predicate for the new array type.

compiler/sparc/array.lisp:
o Add new vops to read and write elements to our new array type.

compiler/sparc/type-vops.lisp:
o Add type vop for new array type.
o Adjust type hierarchy with new array type.

lisp/gencgc.c:
o Tell GC about the new array type.

lisp/purify.c
o Tell purify about the new array type.

Revision 1.59.18.1.4.2 - (view) (annotate) - [select for diffs]
Sat Jun 17 02:59:42 2006 UTC (7 years, 10 months ago) by rtoy
Branch: double-double-array-branch
Changes since 1.59.18.1.4.1: +2 -1 lines
Diff to previous 1.59.18.1.4.1 , to branch point 1.59.18.1 , to selected 1.33
Initial support for (complex double-double-float).

Use boot-2006-06-2-cross-dd* to cross compile this change (along with
the simple-array double-double-float change).

Revision 1.59.18.1.4.1 - (view) (annotate) - [select for diffs]
Fri Jun 16 03:46:58 2006 UTC (7 years, 10 months ago) by rtoy
Branch: double-double-array-branch
Changes since 1.59.18.1: +2 -1 lines
Diff to previous 1.59.18.1 , to selected 1.33
Add support for new unboxed primitive type (simple-array
double-double-float (*)).

bootfiles/19c/boot-2006-06-2-cross-dd-ppc.lisp:
o Cross-compile script for PPC for new array type.

code/array.lisp:
o Add simple-array double-double-float to the vector types.
o Add support for double-double-float arrays to data-vector-ref and
  data-vector-set.

code/class.lisp:
o Tell compiler about the new array type.

code/exports.lisp:
o Export necessary symbols for the new array.

code/kernel.lisp:
o The args to MAKE-DOUBLE-DOUBLE-FLOAT are double-floats.

code/pred.lisp:
o Tell type system about new primitive type.

compiler/array-tran.lisp:
o Tell compiler about the new array type.

compiler/generic/objedef.lisp:
o Add new type code

compiler/generic/primtype.lisp:
o Tell compiler about new primitive array type.

compiler/generic/vm-fndb.lisp:
o Tell compiler about known function for type test function.

compiler/generic/vm-type.lisp:
o Tell compiler about new specialized array type.

compiler/generic/vm-typetran.lisp:
o Define type predicate.

compiler/ppc/array.lisp:
o Add vops to read and write an element of a double-double-float
  simple array.

compiler/ppc/type-vops.lisp:
compiler/sparc/type-vops.lisp:
o Add type vop for new array type.
o Tell compiler about the where the new array type fits in the type
  hierarchy.

lisp/gencgc.c:
o Add GC support for new array type.

lisp/purify.c:
o Add purify support for new array type.

Revision 1.59.18.1 - (view) (annotate) - [select for diffs]
Fri Jun 9 16:04:57 2006 UTC (7 years, 10 months ago) by rtoy
Branch: double-double-branch
CVS Tags: double-double-array-base, double-double-init-%make-sparc, double-double-init-checkpoint-1, double-double-init-ppc, double-double-init-sparc, double-double-init-sparc-2, double-double-init-x86, double-double-reader-base, double-double-reader-checkpoint-1
Branch point for: double-double-array-branch, double-double-reader-branch
Changes since 1.59: +7 -2 lines
Diff to previous 1.59 , to next main 1.65 , to selected 1.33
Add basic support for kernel:double-double-float type.  The primitive
type is there, and basic arithmetic operations work as well as PRINT.
But many things do not work: No reader, formatted output, many mixed
type arithmetic operations, special functions are just double-float
values, coerced to double-double-float.

compiler/generic/interr.lisp:
o Add new error

compiler/generic/new-genesis.lisp:
o Dump double-double-float objects (barely tested)

compiler/generic/primtype.lisp:
o Tell compiler about the new primitive type double-double-float.

compiler/generic/vm-fndb.lisp:
o Make double-double-float-p a known function.

compiler/generic/vm-type.lisp:
o Update FLOAT-FORMAT-NAME to include double-double-float

compiler/generic/vm-typetran.lisp:
o Tell compiler about double-double-float type predicate.

compiler/sparc/float.lisp:
o Add necessary vops to move double-double-float args, store and load
  double-double-floats to/from the double-double-stack,
  double-double-reg moves, box and unbox double-double-floats, move
  double-double-floats to and from args
o Add necessary vops to create a double-double-float and to extract
  the high and low parts out of a double-double-float.

compiler/sparc/parms.lisp:
o Define double-double-float-digits

compiler/sparc/type-vops.lisp:
o Define double-double-float type vop
o Adjust number hierarchy to include double-double-float

compiler/sparc/vm.lisp:
o Define the necessary storage class and storage base for the
  double-double-reg and double-double-stack.

lisp/gencgc.c:
o Tell GC about double-double-float objects.

lisp/purify.c:
o Tell purify about double-double-float objects.

code/class.lisp:
o Add the new double-double-float class.

code/exports.lisp:
o Add the necessary symbols to the various packages.  (This is
  important to get right otherwise there's confusion on what symbol
  really represents double-double-float stuff.)

code/float.lisp:
o Implement some of the necessary functions to support
  double-double-float.

code/hash-new.lisp:
o Hash double-double-floats by xor'ing the hashes of each double-float
  part.  (Is that good enough?)

code/irrat.lisp:
o Implement the special functions by calling the double-float versions
  and coercing the result to a double-double-float.  This is needed to
  get type-derivation working, but the precise value isn't that
  important right now.  We'll have to implement them later.

code/kernel.lisp:
o Make make-double-double-float, double-double-hi, and
  double-double-lo known functions.

code/lispinit.lisp:
o Register the :double-double float feature.

code/load.lisp:
o Add FOP for reading double-double-float values from fasls.  (Barely
  tested, if at all.)

code/numbers.lisp:
o Implement basic arithmetic operations for double-double-floats.
  This needs quite a bit of work to clean up, but most things work.

code/pred.lisp:
o Tell the type system about double-double-float type.

code/print.lisp:
o Add very rudimentary printing for double-double-float.  Basically
  copied from code written by Richard Fateman, with permission.

code/seq.lisp:
o Tell coerce how to coerce things to a double-double-float.

code/type.lisp:
o Tell type system about the new float format double-double-float and
  how numeric contagion works with double-double-float.

code/dump.lisp:
o Tell dumper how to dump double-double-float values to a fasl.

compiler/float-tran.lisp:
o Add appropriate deftransforms to handle conversion of things to
  double-double-float and from from double-double-float to other float
  types.
o The basic implmentation of double-double-float arithmetic is also
  here.
o Add deftransforms to tell the compiler how to do basic arithmetic
  and comparisions on double-double-float numbers.

compiler/srctran.lisp:
o Fix a bug in interval-range-info when :low is 0dd0 and :high is 0.
  We weren't returning the right value, which confuses interval-div,
  which caused an infinite loop because we couldn't split the
  numerator into positive and negative parts.
o Tell other parts about double-double-float.

Revision 1.59 - (view) (annotate) - [select for diffs]
Fri Jun 6 12:22:33 2003 UTC (10 years, 10 months ago) by gerd
Branch: MAIN
CVS Tags: amd64-merge-start, double-double-base, dynamic-extent-base, lisp-executable-base, mod-arith-base, ppc_gencgc_snap_2005-05-14, ppc_gencgc_snap_2005-12-17, ppc_gencgc_snap_2006-01-06, prm-before-macosx-merge-tag, release-19a, release-19a-base, release-19a-pre1, release-19a-pre2, release-19a-pre3, release-19b-base, release-19b-pre1, release-19b-pre2, release-19c, release-19c-base, release-19c-pre1, snapshot-2003-10, snapshot-2003-11, snapshot-2003-12, snapshot-2004-04, snapshot-2004-05, snapshot-2004-06, snapshot-2004-07, snapshot-2004-08, snapshot-2004-09, snapshot-2004-10, snapshot-2004-11, snapshot-2004-12, snapshot-2005-01, snapshot-2005-02, snapshot-2005-03, snapshot-2005-04, snapshot-2005-05, snapshot-2005-06, snapshot-2005-07, snapshot-2005-08, snapshot-2005-09, snapshot-2005-10, snapshot-2005-11, snapshot-2005-12, snapshot-2006-01, snapshot-2006-02, snapshot-2006-03, snapshot-2006-04, snapshot-2006-05, snapshot-2006-06, sparc_gencgc, sparc_gencgc_merge
Branch point for: double-double-branch, dynamic-extent, lisp-executable, mod-arith-branch, ppc_gencgc_branch, release-19a-branch, release-19b-branch, release-19c-branch, sparc_gencgc_branch
Changes since 1.58: +24 -14 lines
Diff to previous 1.58 , to selected 1.33
	Various problems with TYPE-OF found by Paul Dietz.

	* src/pcl/methods.lisp (setf class-name) <before>: New method
	setting the kernel class' name.

	* src/code/pred.lisp (type-of): Don't return list function types.
	Return boolean for t, (integer n n) for integers, keyword for
	keywords, standard-char for standard characters.  Return
	the CLOS class for classes not having a proper name.

Revision 1.58 - (view) (annotate) - [select for diffs]
Sun Apr 27 14:52:27 2003 UTC (10 years, 11 months ago) by toy
Branch: MAIN
Changes since 1.57: +1 -33 lines
Diff to previous 1.57 , to selected 1.33
Remove all stuff relating to :negative-zero-is-not-zero which enabled
the non-ANSI feature of making -0 and +0 different in
type-specifiers.  Internal code still assumes this in various places,
however.  Since our type system is much smarter now than when this was
written (and handles type unions and member types much better),
perhaps we should clean this up?

Revision 1.57 - (view) (annotate) - [select for diffs]
Sun Apr 13 11:57:17 2003 UTC (11 years ago) by gerd
Branch: MAIN
CVS Tags: remove_negative_zero_not_zero
Changes since 1.56: +24 -12 lines
Diff to previous 1.56 , to selected 1.33
  	The SEQUENCE-COUNT type was previously used in c:fndb, but since
	C::SEQUENCE-COUNT /= KERNEL::SEQUENCE-COUNT, it was an unknown
	type.  Please read boot4.lisp.

	* src/code/exports.lisp ("KERNEL"): Export sequence-count.

	* src-types/bootfiles/18e/boot4.lisp: New file.


	Make compute-effective-slot-definition AMOP compliant.
	Patch from Kevin Rosenberg.

	* src/pcl/std-class.lisp (compute-slots): Pass slot name
	to compute-effective-slot-definition.
	(compute-slots): Likewise.
	(compute-effective-slot-definition): Add parameter slot-name.

	* src/pcl/generic-functions.lisp (compute-effective-slot-definition):
	Add second parameter slot-name.


	Allow non-keyword keyword names in lambda lists.  This fixes test
	cases STRUCTURE-BOA-TEST-15/[1-8], and FLET.30.

	* src/compiler/node.lisp (arg-info): Accept non-keyword
	keyword names.

	* src/code/type.lisp (key-info): Likewise.


	Fix type system bugs detected by Paul Dietz' test suite
	This is to a large extent a port from SBCL.

	* src/code/type.lisp: Mostly rewritten with code ported from
	SBCL.

	* src/compiler/typetran.lisp (ir1-transform-type-predicate):
	Return nil if type is *empty-type*.
	(source-transform-negation-typep)
	(source-transform-intersection-typep): New functions.
	(source-transform-array-typep): Handle unknown array element types.
	(typep): Add handling of negation and intersection types.

	* src/compiler/srctran.lisp (make-canonical-union-type):
	Simplify, now that #'type-union is smarter.
	(ir1-transform-<-helper): Give up on non-numeric, non-member
	types.

	* src/compiler/checkgen.lisp (type-test-cost): Add a case
	for intersection-type.
	(values-types-asserted): Don't use coerce-to-values, see
	the comment there.

	* src/compiler/array-tran.lisp (array-dimension): Accept
	:maybe as array-type-complexp.

	* src/code/pred.lisp (%%typep): Add handling of
	negation-types and intersection-types.  Change cases of
	hairy-types, union-types, and arrays with unknown element type.

	* src/code/exports.lisp ("KERNEL"): Export negation-type,
	negation-type-type, intersection-type, intersection-type-types.

	* src/code/class.lisp (sealed-class-intersection):
	Return one value.
	(class :simple-intersection): Return one value, return nil in
	the default case.
	(class :complex-subtypep-arg2): New type method.

Revision 1.56 - (view) (annotate) - [select for diffs]
Sat Mar 22 16:15:20 2003 UTC (11 years, 1 month ago) by gerd
Branch: MAIN
Changes since 1.55: +5 -5 lines
Diff to previous 1.55 , to selected 1.33
* bootfiles/18e/boot[12].lisp: Bootstrap files for the lisp:class
= pcl:class part.  To get it booted from 18e, cross-compile using
boot1.lisp as bootstrap.lisp in pmai's build scripts, then do a
normal compile with boot2.lisp as bootstrap.lisp with the
resulting Lisp.

* code/byte-interp.lisp, code/defstruct.lisp, code/describe.lisp:
* code/error.lisp, code/exports.lisp, code/hash-new.lisp:
* code/hash.lisp, code/macros.lisp, code/misc.lisp:
* code/package.lisp, code/pred.lisp, code/sharpm.lisp, code/type.lisp:
* compiler/dump.lisp, compiler/fndb.lisp, compiler/globaldb.lisp:
* compiler/proclaim.lisp, compiler/typetran.lisp, compiler/xref.lisp:
* compiler/generic/primtype.lisp, compiler/generic/vm-type.lisp:
Changes for to use kernel::class etc.

* code/class.lisp (toplevel): Shadow class, built-in-class etc.
(class): Give it conc-name %class-.
(toplevel) [#+bootstrap-lisp-class=pcl-class]: Define old accessors.
(everywhere): Use new class accessors.

* compiler/generic/vm-fndb.lisp (%make-instance): Change from
unsafe to flushable and movable.

* code/ntrace.lisp (expand-trace, untrace): Changes for method
tracing.

* code/profile.lisp (profile, profile-all, unprofile): Method
profiling.

* pcl/*.text, pcl/bench.lisp, pcl/extensions.lisp:
* pcl/fast-init.lisp, pcl/precom1.lisp, pcl/precom4.lisp:
* pcl/structure-class.lisp, pcl/user-instances.lisp:
Removed.

* tools/pclcom.lisp: Changes for my PCL and lisp:class =
pcl::class.

Revision 1.55.2.1 - (view) (annotate) - [select for diffs]
Wed Mar 19 16:45:31 2003 UTC (11 years, 1 month ago) by gerd
Branch: cold-pcl
Changes since 1.55: +5 -5 lines
Diff to previous 1.55 , to next main 1.65 , to selected 1.33
* code/defstruct.lisp, code/describe.lisp, code/error.lisp:
* code/exports.lisp, code/hash-new.lisp, code/hash.lisp
* code/macros.lisp, code/misc.lisp, code/package.lisp
* code/pred.lisp, code/sharpm.lisp, code/type.lisp:
Changes for lisp:class = pcl:class.

* compiler/dump.lisp, compiler/fndb.lisp, compiler/globaldb.lisp:
* compiler/ir1tran.lisp, compiler/ir1util.lisp:
* compiler/node.lisp, compiler/proclaim.lisp, compiler/typetran.lisp:
* compiler/xref.lisp, compiler/generic/primtype.lisp:
* compiler/generic/vm-type.lisp:
Likewise.

* code/class.lisp (toplevel): Shadow class, built-in-class etc.
(class): Give it conc-name %class-.
(toplevel) [#-lisp-class-is-pcl-class]: Define old accessors.
(everywhere): Use new class accessors.

* code/byte-interp.lisp (load-type-predicate):
Use kernel::structure-class instead of structure-class.

Revision 1.55 - (view) (annotate) - [select for diffs]
Wed Jan 29 02:16:30 2003 UTC (11 years, 2 months ago) by toy
Branch: MAIN
CVS Tags: cold-pcl-base, release-18e, release-18e-base, release-18e-pre1, release-18e-pre2
Branch point for: cold-pcl, release-18e-branch
Changes since 1.54: +8 -4 lines
Diff to previous 1.54 , to selected 1.33
From Gerd Moellmann:


o Entomotomy bug optional-environment-arg-mistakes:

  Recognize the optional environment argument for typep, subtypep,
  upgraded-array-element-type, upgraded-complex-part-type, and various
  other functions that take an optional environment arg.  Currently,
  all we do with the environment is ignore it.

o Entomotomy bug defknowns-for-bit-array-setters-wrong

  Defknowns for %bitset and %sbitset was only allowing vectors, not
  multidimensional arrays.

Revision 1.54 - (view) (annotate) - [select for diffs]
Thu Jan 23 15:26:51 2003 UTC (11 years, 3 months ago) by pmai
Branch: MAIN
Changes since 1.53: +4 -3 lines
Diff to previous 1.53 , to selected 1.33
Entomotomy Bug: typep-on-some-array-types-returns-two-values

Corrects the problems uncovered by Paul F. Dietz's ANSI test cases
vector.type.13 and vector.type.15, where typep would return two values
for certain array types, e.g.

  (typep "ABC" '(vector t)) => NIL, T instead of only NIL

Revision 1.53.2.1 - (view) (annotate) - [select for diffs]
Fri Oct 4 23:13:33 2002 UTC (11 years, 6 months ago) by pmai
Branch: UNICODE-BRANCH
Changes since 1.53: +8 -2 lines
Diff to previous 1.53 , to next main 1.65 , to selected 1.33
Checked in Brian Spilsbury's experimental Unicode, locales, and dialect
support patchset.  This lives on its own branch, so that people can
play with it and tweak it, without disturbing 18e release engineering
on the main branch.  Bootstrapping has only been tried on LINKAGE_TABLE
x86/Linux builds.  A working cross-compile script is checked in under
bootfiles/19a/boot1-cross-unicode.lisp.  The script still leaves you
with some interactive errors, on the cross compile, which you should
answer with 2.  See the mailing list for more information.

Revision 1.39.2.2 - (view) (annotate) - [select for diffs]
Tue May 23 16:36:44 2000 UTC (13 years, 11 months ago) by pw
Branch: RELENG_18
CVS Tags: RELEASE_18c, RELEASE_18d
Changes since 1.39.2.1: +34 -16 lines
Diff to previous 1.39.2.1 , to branch point 1.39 , to next main 1.65 , to selected 1.33
This set of revisions brings the RELENG_18 branch up to HEAD in preparation
for an 18c release.

Revision 1.53 - (view) (annotate) - [select for diffs]
Sun May 14 03:58:01 2000 UTC (13 years, 11 months ago) by dtc
Branch: MAIN
CVS Tags: LINKAGE_TABLE, PRE_LINKAGE_TABLE, UNICODE-BASE
Branch point for: UNICODE-BRANCH
Changes since 1.52: +16 -1 lines
Diff to previous 1.52 , to selected 1.33
Special case the handling of hash tables within equalp. This brings
equalp in line with the CL spec. and is necessary because the new hash
implementation maintains a reference back to the hash table within the
hash vector (for the garbage collector) which could cause infinite
recursion by equalp. Based on some good spotting and a patch from
Raymond Toy.

Revision 1.52 - (view) (annotate) - [select for diffs]
Tue May 2 04:44:05 2000 UTC (13 years, 11 months ago) by dtc
Branch: MAIN
Changes since 1.51: +5 -1 lines
Diff to previous 1.51 , to selected 1.33
Implement a specializing CONS class as per issue CONS-TYPE-SPECIFIER:ADD.
The new cons-type which maintains the specialised CAR and CDR types:

o Typep recurses, checking the respective car and cdr specialisations;
  two cons-types are type= if both their car and cdr types are type=.

o Subtypep recurses, applying subtypep to the respective car and
  cdr types. If both sub-tests return true then the cons test returns
  true with a win only when both sub-tests win. If either sub-test
  returns false then the cons tests returns false with a win if either
  of sub-tests win.

o Type-intersection is applied to the respective car and cdr types,
  and wins if both win.

o The type-union of two cons-types handles cases for which either the
  respective car or cdr types are type=, in which case type-union is
  applied to the other type. This avoid returning an overly general result.

o Ctype-of a cons object simply returns (cons * *); and does not attempt
  to recurse.

o The compiler recursively checks the specialised type of the cons-type,
  which allows it to also use this type information to derive the result
  type car and cdr. Inline code is currently only generated when
  natively compiling.

Revision 1.51 - (view) (annotate) - [select for diffs]
Mon Jan 10 15:25:09 2000 UTC (14 years, 3 months ago) by dtc
Branch: MAIN
Changes since 1.50: +2 -2 lines
Diff to previous 1.50 , to selected 1.33
Fix for equalp when passed a character and a non-character; needed
to check the type of the second argument before calling char-equal.
Spotted by William H. Newman, fix from Peter Van Eynde.

Revision 1.50 - (view) (annotate) - [select for diffs]
Thu Feb 25 13:02:58 1999 UTC (15 years, 2 months ago) by pw
Branch: MAIN
Changes since 1.49: +1 -2 lines
Diff to previous 1.49 , to selected 1.33
This set of changes removes nearly all references to the dylan language.
It is a benign revision as no structures are redefined. At some later
point the definitions in compiler/objdef could be removed, perhaps
in sync with some other type change.

Revision 1.49 - (view) (annotate) - [select for diffs]
Fri Jul 24 17:17:54 1998 UTC (15 years, 9 months ago) by dtc
Branch: MAIN
Changes since 1.48: +14 -14 lines
Diff to previous 1.48 , to selected 1.33
The complex-float the signed-array features are now standard, so
remove unnecessary conditionals.

Revision 1.39.2.1 - (view) (annotate) - [select for diffs]
Tue Jun 23 11:22:20 1998 UTC (15 years, 10 months ago) by pw
Branch: RELENG_18
CVS Tags: RELEASE_18b
Changes since 1.39: +46 -6 lines
Diff to previous 1.39 , to selected 1.33
This (huge) revision brings the RELENG_18 branch up to the current HEAD.
Note code/unix-glib2.lisp not yet included -- not sure it is ready to go.

Revision 1.48 - (view) (annotate) - [select for diffs]
Fri May 1 01:02:56 1998 UTC (15 years, 11 months ago) by dtc
Branch: MAIN
Changes since 1.47: +2 -2 lines
Diff to previous 1.47 , to selected 1.33
Remove the remnants of the 'common type specifier.

Revision 1.47 - (view) (annotate) - [select for diffs]
Mon Apr 6 02:44:33 1998 UTC (16 years ago) by dtc
Branch: MAIN
Changes since 1.46: +2 -3 lines
Diff to previous 1.46 , to selected 1.33
The third object argument to class-cell-typep need no longer be an
optional argument - was just optional for bootstrapping.

Revision 1.46 - (view) (annotate) - [select for diffs]
Sat Mar 21 08:12:02 1998 UTC (16 years, 1 month ago) by dtc
Branch: MAIN
Changes since 1.45: +6 -3 lines
Diff to previous 1.45 , to selected 1.33
Long-float support.

Revision 1.45 - (view) (annotate) - [select for diffs]
Tue Feb 3 19:22:18 1998 UTC (16 years, 2 months ago) by dtc
Branch: MAIN
Changes since 1.44: +2 -2 lines
Diff to previous 1.44 , to selected 1.33
Remove the remnants of the string-char type.

Revision 1.44 - (view) (annotate) - [select for diffs]
Mon Jan 5 22:34:54 1998 UTC (16 years, 3 months ago) by dtc
Branch: MAIN
Changes since 1.43: +33 -1 lines
Diff to previous 1.43 , to selected 1.33
Change to the handling of floating point zeros within numeric type
specifiers by Raymond Toy. With these changes -0.0 and 0.0 and
considered separate on the float type intervals which is more natural
for many arithmetic function derive type optimizers.  These changes
are dependent upon the :negative-zero-is-not-zero feature.

Revision 1.43 - (view) (annotate) - [select for diffs]
Sat Nov 29 20:13:11 1997 UTC (16 years, 4 months ago) by dtc
Branch: MAIN
Changes since 1.42: +2 -2 lines
Diff to previous 1.42 , to selected 1.33
Fix the type-of function with complex-float support.

Revision 1.42 - (view) (annotate) - [select for diffs]
Sat Nov 15 04:38:50 1997 UTC (16 years, 5 months ago) by dtc
Branch: MAIN
Changes since 1.41: +2 -1 lines
Diff to previous 1.41 , to selected 1.33
Add a complex-rational-p predicate. This test for a unique object type
so can be implemented efficiently, and is handy for type dispatch.
Cleanup the realpart and imagpart source transforms, exploiting the
complex rational test.

Revision 1.41 - (view) (annotate) - [select for diffs]
Fri Nov 7 17:11:19 1997 UTC (16 years, 5 months ago) by dtc
Branch: MAIN
Changes since 1.40: +2 -1 lines
Diff to previous 1.40 , to selected 1.33
Add a complex-float-p predicate to the backend which can be handled
efficiently inline with the complex-float support.

Revision 1.40 - (view) (annotate) - [select for diffs]
Sat Nov 1 22:58:19 1997 UTC (16 years, 5 months ago) by dtc
Branch: MAIN
Changes since 1.39: +5 -1 lines
Diff to previous 1.39 , to selected 1.33
Improved support for (complex single-float) and (complex double-float)
types. Adds storage classes to the backend for these so they can be
stored in registers or on the stack without consing; new primitive
types etc. Also adds (simple-array (complex {single,double}-float))
array types to avoid consing and speed vectors operations.  All
these changes are conditional on the :complex-float feature. More work
is needed to exploit these changes: improving the type dispatch in the
various function; maybe compiler transforms or more VOPs to handle
common functions inline.

Revision 1.39 - (view) (annotate) - [select for diffs]
Tue Apr 1 19:23:52 1997 UTC (17 years ago) by dtc
Branch: MAIN
CVS Tags: RELEASE_18a
Branch point for: RELENG_18
Changes since 1.38: +5 -1 lines
Diff to previous 1.38 , to selected 1.33
Support for some specialised signed array types: (signed-byte 8),
(signed-byte 16), (signed-byte 30), (signed-byte 32).  These patches
include the general support and the x86 backend support; more to
follow. The important changes are conditional on the :signed-array
feature so shouldn't affect the source without this feature. This work
has been driven by Raymond Toy.

Revision 1.38 - (view) (annotate) - [select for diffs]
Fri Feb 7 20:27:30 1997 UTC (17 years, 2 months ago) by pw
Branch: MAIN
Changes since 1.37: +2 -2 lines
Diff to previous 1.37 , to selected 1.33
Previous  fix to class-typep failed to consider case where 'type' was some random class

Revision 1.37 - (view) (annotate) - [select for diffs]
Thu Feb 6 00:34:10 1997 UTC (17 years, 2 months ago) by pw
Branch: MAIN
Changes since 1.36: +9 -6 lines
Diff to previous 1.36 , to selected 1.33
Fix failure of typep on instance with changed PCL defclass

Revision 1.36 - (view) (annotate) - [select for diffs]
Wed Feb 5 16:15:58 1997 UTC (17 years, 2 months ago) by pw
Branch: MAIN
Changes since 1.35: +2 -2 lines
Diff to previous 1.35 , to selected 1.33
initial post 1.3.7 merge

Revision 1.35 - (view) (annotate) - [select for diffs]
Sat Jan 18 14:30:34 1997 UTC (17 years, 3 months ago) by ram
Branch: MAIN
Changes since 1.34: +5 -5 lines
Diff to previous 1.34 , to selected 1.33
Werkowskis source kit 1.03.7

Revision 1.34 - (view) (annotate) - [select for diffs]
Mon Oct 31 04:11:27 1994 UTC (19 years, 5 months ago) by ram
Branch: MAIN
Changes since 1.33: +1 -3 lines
Diff to previous 1.33
Fix headed boilerplate.

Revision 1.33 - (view) (annotate) - [selected]
Sat Jul 17 00:50:04 1993 UTC (20 years, 9 months ago) by ram
Branch: MAIN
Changes since 1.32: +37 -27 lines
Diff to previous 1.32
Made CLASS-TYPEP no longer an interface.  Added FIND-CLASS-CELL which
supports forward references and redefinition.  Block compiled TYPEP.

Revision 1.32 - (view) (annotate) - [select for diffs]
Sun Mar 14 17:19:01 1993 UTC (21 years, 1 month ago) by ram
Branch: MAIN
Changes since 1.31: +1 -2 lines
Diff to previous 1.31 , to selected 1.33
Delete obsolete #-reload conditional.

Revision 1.31 - (view) (annotate) - [select for diffs]
Sat Mar 13 16:53:00 1993 UTC (21 years, 1 month ago) by ram
Branch: MAIN
Changes since 1.30: +1 -2 lines
Diff to previous 1.30 , to selected 1.33
Deleted bogus declaration.

Revision 1.30 - (view) (annotate) - [select for diffs]
Mon Mar 1 20:08:45 1993 UTC (21 years, 1 month ago) by ram
Branch: MAIN
Changes since 1.29: +2 -15 lines
Diff to previous 1.29 , to selected 1.33
rip out ns-boot conditionals.

Revision 1.29 - (view) (annotate) - [select for diffs]
Fri Feb 26 08:25:56 1993 UTC (21 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.28: +66 -123 lines
Diff to previous 1.28 , to selected 1.33
new structure branch & tuning, see new_struct

Revision 1.28.1.5 - (view) (annotate) - [select for diffs] (vendor branch)
Wed Feb 10 23:40:13 1993 UTC (21 years, 2 months ago) by ram
Branch: new_struct
Changes since 1.28.1.4: +3 -3 lines
Diff to previous 1.28.1.4 , to next main 1.65 , to selected 1.33
export class-typep, fix typo in equalp.

Revision 1.28.1.4 - (view) (annotate) - [select for diffs] (vendor branch)
Mon Feb 8 22:24:32 1993 UTC (21 years, 2 months ago) by ram
Branch: new_struct
Changes since 1.28.1.3: +2 -2 lines
Diff to previous 1.28.1.3 , to selected 1.33
Recognize T as a named-type in TYPEP..

Revision 1.28.1.3 - (view) (annotate) - [select for diffs] (vendor branch)
Thu Feb 4 22:36:28 1993 UTC (21 years, 2 months ago) by ram
Branch: new_struct
Changes since 1.28.1.2: +34 -54 lines
Diff to previous 1.28.1.2 , to selected 1.33
*** empty log message ***

Revision 1.28.1.2 - (view) (annotate) - [select for diffs] (vendor branch)
Sat Jan 23 14:16:16 1993 UTC (21 years, 3 months ago) by ram
Branch: new_struct
Changes since 1.28.1.1: +7 -8 lines
Diff to previous 1.28.1.1 , to selected 1.33
New structure hax.

Revision 1.28.1.1 - (view) (annotate) - [select for diffs] (vendor branch)
Fri Jan 15 15:29:10 1993 UTC (21 years, 3 months ago) by ram
Branch: new_struct
Changes since 1.28: +39 -75 lines
Diff to previous 1.28 , to selected 1.33
new structure hakcs

Revision 1.28 - (view) (annotate) - [select for diffs]
Sat Dec 5 22:10:02 1992 UTC (21 years, 4 months ago) by wlott
Branch: MAIN
Branch point for: new_struct
Changes since 1.27: +31 -3 lines
Diff to previous 1.27 , to selected 1.33
Added support for dylan funciton subtypes.

Revision 1.27 - (view) (annotate) - [select for diffs]
Wed Apr 15 17:05:50 1992 UTC (22 years ago) by wlott
Branch: MAIN
Changes since 1.26: +2 -2 lines
Diff to previous 1.26 , to selected 1.33
Fixed ecase in %%typep for numeric types: forgot to put parens around the
nil to keep it from looking like a list.

Revision 1.26 - (view) (annotate) - [select for diffs]
Tue Apr 7 19:26:42 1992 UTC (22 years ago) by wlott
Branch: MAIN
Changes since 1.25: +6 -8 lines
Diff to previous 1.25 , to selected 1.33
Export REALP from LISP now that it's a real function.  Minor tweek to
bounds testing in %%typep of complex numbers.

Revision 1.24.1.1 - (view) (annotate) - [select for diffs] (vendor branch)
Sat Mar 21 19:24:27 1992 UTC (22 years, 1 month ago) by wlott
Branch: pre_fdefn
Changes since 1.24: +2 -2 lines
Diff to previous 1.24 , to next main 1.65 , to selected 1.33
Changed the ecase named-type-name to a case.

Revision 1.25 - (view) (annotate) - [select for diffs]
Sun Mar 8 18:31:58 1992 UTC (22 years, 1 month ago) by wlott
Branch: MAIN
Changes since 1.24: +4 -1 lines
Diff to previous 1.24 , to selected 1.33
Added support for the FDEFN type.

Revision 1.24 - (view) (annotate) - [select for diffs]
Wed Mar 4 17:42:43 1992 UTC (22 years, 1 month ago) by ram
Branch: MAIN
Branch point for: pre_fdefn
Changes since 1.23: +9 -2 lines
Diff to previous 1.23 , to selected 1.33
Added support in TYPE-OF for alien-value structures.

Revision 1.18.2.1 - (view) (annotate) - [select for diffs]
Mon Feb 24 15:01:29 1992 UTC (22 years, 2 months ago) by ram
Branch: patch_15
Changes since 1.18: +3 -3 lines
Diff to previous 1.18 , to next main 1.65 , to selected 1.33
Fixed (typep x '(and ...)) to not always return NIL.

Revision 1.23 - (view) (annotate) - [select for diffs]
Fri Feb 14 23:45:20 1992 UTC (22 years, 2 months ago) by wlott
Branch: MAIN
Changes since 1.22: +3 -1 lines
Diff to previous 1.22 , to selected 1.33
Merged new-alien changes onto trunk.

Revision 1.22.1.1 - (view) (annotate) - [select for diffs] (vendor branch)
Thu Feb 13 00:43:08 1992 UTC (22 years, 2 months ago) by wlott
Changes since 1.22: +3 -1 lines
Diff to previous 1.22 , to next main 1.65 , to selected 1.33
new alien changes.

Revision 1.22 - (view) (annotate) - [select for diffs]
Fri Feb 7 12:36:55 1992 UTC (22 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.21: +11 -3 lines
Diff to previous 1.21 , to selected 1.33
Added UPGRADED-ARRAY-ELEMENT-TYPE.

Revision 1.21 - (view) (annotate) - [select for diffs]
Thu Feb 6 19:22:37 1992 UTC (22 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.20: +2 -2 lines
Diff to previous 1.20 , to selected 1.33
Fixed (typep x '(and ...)) to not always return NIL.

Revision 1.20 - (view) (annotate) - [select for diffs]
Fri Dec 20 02:29:00 1991 UTC (22 years, 4 months ago) by ram
Branch: MAIN
Changes since 1.19: +19 -38 lines
Diff to previous 1.19 , to selected 1.33
Changed EQUAL and EQUALP to compare pathnames with PATHNAME=.  Deleted some
unnecessary C:: qualifiers.

Revision 1.19 - (view) (annotate) - [select for diffs]
Sat Nov 9 02:47:23 1991 UTC (22 years, 5 months ago) by wlott
Branch: MAIN
Changes since 1.18: +5 -5 lines
Diff to previous 1.18 , to selected 1.33
Changed BASE-CHARACTER to BASE-CHAR

Revision 1.18.1.1 - (view) (annotate) - [select for diffs] (vendor branch)
Thu Jul 25 16:08:08 1991 UTC (22 years, 9 months ago) by ram
Branch: new_hash
Changes since 1.18: +5 -127 lines
Diff to previous 1.18 , to next main 1.65 , to selected 1.33
Some stuff for equalp and similar-as-constant hashtables.

Revision 1.18 - (view) (annotate) - [select for diffs]
Thu Jul 25 15:44:24 1991 UTC (22 years, 9 months ago) by wlott
Branch: MAIN
Branch point for: new_hash, patch_15
Changes since 1.17: +11 -2 lines
Diff to previous 1.17 , to selected 1.33
Added support for LRA's, Code-Component's, and Scavenger-Hook's.

Revision 1.17 - (view) (annotate) - [select for diffs]
Tue Mar 19 18:51:08 1991 UTC (23 years, 1 month ago) by wlott
Branch: MAIN
Changes since 1.16: +11 -3 lines
Diff to previous 1.16 , to selected 1.33
Fixed %%typep of (satisfies (lambda (obj) ..)) to explicitly coerce the
thing into a function instead of trying to funcall it.

Revision 1.16 - (view) (annotate) - [select for diffs]
Fri Feb 8 13:34:47 1991 UTC (23 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.15: +9 -5 lines
Diff to previous 1.15 , to selected 1.33
New file header with RCS header FILE-COMMENT.

Revision 1.15 - (view) (annotate) - [select for diffs]
Sat Oct 27 15:27:46 1990 UTC (23 years, 6 months ago) by wlott
Branch: MAIN
Changes since 1.14: +2 -2 lines
Diff to previous 1.14 , to selected 1.33
Typo.

Revision 1.14 - (view) (annotate) - [select for diffs]
Thu Oct 25 23:44:55 1990 UTC (23 years, 6 months ago) by wlott
Branch: MAIN
Changes since 1.13: +3 -3 lines
Diff to previous 1.13 , to selected 1.33
Fixed %%typep to call specifier-type before calling itself while processing
hairy types, 'cause it can only take ctype structures, not random type
specifiers.

Revision 1.13 - (view) (annotate) - [select for diffs]
Tue Oct 16 19:54:05 1990 UTC (23 years, 6 months ago) by wlott
Branch: MAIN
Changes since 1.12: +119 -114 lines
Diff to previous 1.12 , to selected 1.33
Fixed %typep so that it recognizes structure types that are defined in
the core, but not in the compiler.

Revision 1.12 - (view) (annotate) - [select for diffs]
Wed Oct 10 16:31:39 1990 UTC (23 years, 6 months ago) by wlott
Branch: MAIN
Changes since 1.11: +21 -9 lines
Diff to previous 1.11 , to selected 1.33
Hacked on equal and equalp to make them work now that structures are not
simple-vectors.

Revision 1.11 - (view) (annotate) - [select for diffs]
Tue Oct 9 23:05:12 1990 UTC (23 years, 6 months ago) by wlott
Branch: MAIN
Changes since 1.10: +3 -3 lines
Diff to previous 1.10 , to selected 1.33
Replaced %primitive structure-ref with the magic function structure-ref.

Revision 1.10 - (view) (annotate) - [select for diffs]
Wed Oct 3 09:58:48 1990 UTC (23 years, 6 months ago) by wlott
Branch: MAIN
Changes since 1.9: +3 -1 lines
Diff to previous 1.9 , to selected 1.33
Added interpreter stubs for long-float-p and short-float-p.

Revision 1.9 - (view) (annotate) - [select for diffs]
Tue Sep 18 15:23:32 1990 UTC (23 years, 7 months ago) by wlott
Branch: MAIN
Changes since 1.8: +2 -1 lines
Diff to previous 1.8 , to selected 1.33
Added structurep to the list of stubs.

Revision 1.8 - (view) (annotate) - [select for diffs]
Sat Sep 8 14:59:24 1990 UTC (23 years, 7 months ago) by wlott
Branch: MAIN
Changes since 1.7: +18 -11 lines
Diff to previous 1.7 , to selected 1.33
Added system-area-pointer and weak-pointer to type-of.

Revision 1.7 - (view) (annotate) - [select for diffs]
Fri Aug 24 18:12:12 1990 UTC (23 years, 8 months ago) by wlott
Branch: MAIN
Changes since 1.6: +285 -488 lines
Diff to previous 1.6 , to selected 1.33
Moved MIPS branch onto trunk; no merge necessary.

Revision 1.4.1.9 - (view) (annotate) - [select for diffs] (vendor branch)
Thu Jul 19 18:41:09 1990 UTC (23 years, 9 months ago) by wlott
Changes since 1.4.1.8: +10 -1 lines
Diff to previous 1.4.1.8 , to next main 1.65 , to selected 1.33
Added lots of additional typep primitives that the compiler knows about
so they can be constant folded.

Revision 1.4.1.8 - (view) (annotate) - [select for diffs] (vendor branch)
Mon Jul 9 16:24:36 1990 UTC (23 years, 9 months ago) by ram
Changes since 1.4.1.7: +6 -4 lines
Diff to previous 1.4.1.7 , to selected 1.33
Fixed up type-of a bit.  Instead of trying to do something hairy (and wrong)
for COMPLEX, just return COMPLEX.  Also, changed some of the other cases to
return stuff more like what people are probably expecting.

Revision 1.4.1.7 - (view) (annotate) - [select for diffs] (vendor branch)
Tue Jul 3 17:31:03 1990 UTC (23 years, 9 months ago) by ram
Changes since 1.4.1.6: +1 -22 lines
Diff to previous 1.4.1.6 , to selected 1.33
Moved EQL from here to numbers.lisp.

Revision 1.4.1.6 - (view) (annotate) - [select for diffs] (vendor branch)
Tue Jun 19 12:54:07 1990 UTC (23 years, 10 months ago) by ram
Changes since 1.4.1.5: +27 -17 lines
Diff to previous 1.4.1.5 , to selected 1.33
Fixed %TYPEP to check the bounds on COMPLEX types and to compare to the
ARRAY-TYPE-SPECIALIZED-ELEMENT-TYPE when testing array element types.

Revision 1.6 - (view) (annotate) - [select for diffs]
Fri Jun 15 22:57:21 1990 UTC (23 years, 10 months ago) by ram
Branch: MAIN
Changes since 1.5: +4 -2 lines
Diff to previous 1.5 , to selected 1.33
Changed type-of to use header-ref on structures rather than SVREF.

Revision 1.4.1.5 - (view) (annotate) - [select for diffs] (vendor branch)
Sun Jun 3 18:59:49 1990 UTC (23 years, 10 months ago) by ch
Changes since 1.4.1.4: +4 -2 lines
Diff to previous 1.4.1.4 , to selected 1.33
Added weak pointer cruft.

Revision 1.4.1.4 - (view) (annotate) - [select for diffs] (vendor branch)
Sat Jun 2 01:23:22 1990 UTC (23 years, 10 months ago) by wlott
Changes since 1.4.1.3: +3 -2 lines
Diff to previous 1.4.1.3 , to selected 1.33
Fixed type-of structures.

Revision 1.5 - (view) (annotate) - [select for diffs]
Tue May 29 16:54:28 1990 UTC (23 years, 11 months ago) by ram
Branch: MAIN
Changes since 1.4: +2 -1 lines
Diff to previous 1.4 , to selected 1.33
Added STRUCTURE-VECTOR to TYPE-PRED-ALIST, and changed it to be a
a defparameter rather than a constant.

Revision 1.4.1.3 - (view) (annotate) - [select for diffs] (vendor branch)
Fri May 25 20:37:11 1990 UTC (23 years, 11 months ago) by wlott
Changes since 1.4.1.2: +49 -28 lines
Diff to previous 1.4.1.2 , to selected 1.33
Added complexp.  Fixed %typep re Rob's changes to the type system.
Wrote structure-typep.  Updated eql re bignums.

Revision 1.4.1.2 - (view) (annotate) - [select for diffs] (vendor branch)
Wed Apr 11 18:35:01 1990 UTC (24 years ago) by wlott
Changes since 1.4.1.1: +2 -2 lines
Diff to previous 1.4.1.1 , to selected 1.33
Fixed bug in eql.

Revision 1.4.1.1 - (view) (annotate) - [select for diffs] (vendor branch)
Wed Apr 11 17:14:32 1990 UTC (24 years ago) by wlott
Changes since 1.4: +265 -489 lines
Diff to previous 1.4 , to selected 1.33
Initial MIPS version.

Revision 1.4 - (view) (annotate) - [select for diffs]
Mon Feb 12 15:09:29 1990 UTC (24 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.3: +4 -3 lines
Diff to previous 1.3 , to selected 1.33
Fixed STRUCTURE-TYPEP a bit.

Revision 1.3 - (view) (annotate) - [select for diffs]
Mon Feb 12 12:00:17 1990 UTC (24 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.2: +7 -9 lines
Diff to previous 1.2 , to selected 1.33
Changed STRUCTURE-TYPEP to use INFO TYPE DEFINED-STRUCTURE-INFO.

Revision 1.2 - (view) (annotate) - [select for diffs]
Thu Feb 8 12:33:34 1990 UTC (24 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.1: +0 -16 lines
Diff to previous 1.1 , to selected 1.33
Moved TYPE-EXPAND to eval from here.

Revision 1.1 - (view) (annotate) - [select for diffs]
Tue Feb 6 17:25:18 1990 UTC (24 years, 2 months ago) by ram
Branch: MAIN
Diff to selected 1.33
Initial revision

This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, select a symbolic revision name using the selection box, or choose 'Use Text Field' and enter a numeric revision.

  Diffs between and
  Type of Diff should be a

Sort log by:

  ViewVC Help
Powered by ViewVC 1.1.5