/[cmucl]/src/compiler/proclaim.lisp
ViewVC logotype

Log of /src/compiler/proclaim.lisp

Parent Directory Parent Directory | Revision Log Revision Log


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

Revision 1.48 - (view) (annotate) - [select for diffs]
Tue Apr 20 17:57:46 2010 UTC (3 years, 11 months 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.47: +19 -19 lines
Diff to previous 1.47
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.47 - (view) (annotate) - [select for diffs]
Mon Apr 19 15:08:20 2010 UTC (4 years ago) by rtoy
Branch: MAIN
Changes since 1.46: +2 -2 lines
Diff to previous 1.46
Remove _N"" reader macro from docstrings when possible.

Revision 1.46 - (view) (annotate) - [select for diffs]
Fri Mar 19 15:19:01 2010 UTC (4 years, 1 month ago) by rtoy
Branch: MAIN
CVS Tags: post-merge-intl-branch, snapshot-2010-04
Changes since 1.45: +37 -36 lines
Diff to previous 1.45
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.44.24.7 - (view) (annotate) - [select for diffs]
Fri Mar 19 02:22:50 2010 UTC (4 years, 1 month ago) by rtoy
Branch: intl-branch
Changes since 1.44.24.6: +2 -2 lines
Diff to previous 1.44.24.6 , to branch point 1.44 , to next main 1.48
Mark translatable string introduced from merge with HEAD.

Revision 1.44.24.6 - (view) (annotate) - [select for diffs]
Thu Mar 18 22:17:16 2010 UTC (4 years, 1 month ago) by rtoy
Branch: intl-branch
Changes since 1.44.24.5: +18 -11 lines
Diff to previous 1.44.24.5 , to branch point 1.44
Merge changes from HEAD, update po files.

Revision 1.45 - (view) (annotate) - [select for diffs]
Thu Mar 18 16:43:12 2010 UTC (4 years, 1 month ago) by rtoy
Branch: MAIN
CVS Tags: pre-merge-intl-branch
Changes since 1.44: +18 -11 lines
Diff to previous 1.44
Make CMUCL signal a cerror if we try to redefine a slot accessor.  If
continued, the accessor is redefined.  Previously, a warning was
printed and the structure was (mostly) undefined.

compiler/proclaim.lisp:
o Add new function NOTE-IF-ACCESSOR to check if we're redefining a
  slot accessor.  If so, signal a cerror, and redefine if continued.
o Adjust DEFINE-FUNCTION-NAME to call NOTE-IF-ACCESSOR.

compiler/main.lisp:
o Make COMPILE-FIX-FUNCTION-NAME call NOTE-IF-ACCESSOR to catch
  attempts to redefine a slot-accessor.

code/macros.lisp:
o Move call to C::DEFINE-FUNCTION-NAME to the top of C::%%DEFUN before
  we set the fdefinition.   This allows us to give up before modifying
  anything if we choose not to redefine the slot accessor.

Revision 1.44.24.5 - (view) (annotate) - [select for diffs]
Fri Feb 26 03:38:17 2010 UTC (4 years, 1 month ago) by rtoy
Branch: intl-branch
CVS Tags: intl-branch-2010-03-18-1300
Changes since 1.44.24.4: +12 -12 lines
Diff to previous 1.44.24.4 , to branch point 1.44
Do translation of compiler-error messages in compiler-error.  Update
all calls to use _N instead of _.

Revision 1.44.26.1 - (view) (annotate) - [select for diffs]
Thu Feb 25 20:34:53 2010 UTC (4 years, 1 month ago) by rtoy
Branch: intl-2-branch
Changes since 1.44: +36 -35 lines
Diff to previous 1.44 , to next main 1.48
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.44.24.4 - (view) (annotate) - [select for diffs]
Thu Feb 25 04:35:40 2010 UTC (4 years, 1 month ago) by rtoy
Branch: intl-branch
Changes since 1.44.24.3: +6 -6 lines
Diff to previous 1.44.24.3 , to branch point 1.44
o Make COMPILER-WARNING do the string lookup instead of at each call
  site.
o Change all calls to COMPILER-WARNING to use _N" instead of _".

Revision 1.44.24.3 - (view) (annotate) - [select for diffs]
Thu Feb 25 03:59:43 2010 UTC (4 years, 1 month ago) by rtoy
Branch: intl-branch
Changes since 1.44.24.2: +2 -2 lines
Diff to previous 1.44.24.2 , to branch point 1.44
o Make COMPILER-NOTE do the string lookup instead of at each call
  site.
o Change all calls to COMPILER-NOTE to use _N" instead of _".

Revision 1.44.24.2 - (view) (annotate) - [select for diffs]
Thu Feb 11 02:19:58 2010 UTC (4 years, 2 months ago) by rtoy
Branch: intl-branch
CVS Tags: intl-branch-working-2010-02-11-1000, intl-branch-working-2010-02-19-1000
Changes since 1.44.24.1: +35 -35 lines
Diff to previous 1.44.24.1 , to branch point 1.44
Mark translatable strings; regenerate cmucl.pot and ko/cmucl.po
accordingly.

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

Revision 1.44 - (view) (annotate) - [select for diffs]
Wed Nov 14 10:04:35 2007 UTC (6 years, 5 months ago) by cshapiro
Branch: MAIN
CVS Tags: RELEASE_19f, RELEASE_20a, amd64-dd-start, intl-2-branch-base, intl-branch-base, 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, release-19e, release-19e-base, release-19e-pre1, release-19e-pre2, release-19f-base, release-19f-pre1, release-20a-base, release-20a-pre1, 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, snapshot-2009-12, snapshot-2010-01, snapshot-2010-02, snapshot-2010-03, 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, intl-2-branch, intl-branch, portable-clx-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.43: +4 -16 lines
Diff to previous 1.43
* Change the way the x87 precision control is managed.  While in Lisp,
  the precision control will always be set to double precision.  For
  the duration of calls into C, the precision control will be set to
  the ABI default.  On Linux and Darwin this is double extended
  precision.  On all other platforms the precision control is left as
  double precision.  The specious FLOAT-ACCURACY declaration has been
  eliminated.

* Shorten the precision control field to 24-bits by disposing of the
  unexamined high order eight bits of the status word.  This compacts
  the code generated around floating point mode changes and reduces
  consing.

* Eliminate unnecessary uses of FLDENV and FSTENV.  We can substitute a
  use of FSTENV with FSTSW in FLOATING-POINT-MODES.  This reduces the
  number of cycles to access the relevant mode bits by a factor of
  thirty.  We cannot eliminate FLDENV in SET-FLOATING-POINT-MODES, but
  the common case does not require an update to the status word.  A
  fast path has been added to the VOP that improves the execution time
  by at least a factor of fifteen.

* Remove the precision control option to SET-FLOATING-POINT-MODES.  It
  is the responsibility of the compiler to generating code that yields
  correctly rounded results in double and single precision.

Revision 1.42.2.1 - (view) (annotate) - [select for diffs]
Mon Dec 19 01:10:00 2005 UTC (8 years, 4 months ago) by rtoy
Branch: ppc_gencgc_branch
CVS Tags: ppc_gencgc_snap_2005-12-17, ppc_gencgc_snap_2006-01-06
Changes since 1.42: +3 -1 lines
Diff to previous 1.42 , to next main 1.48
Merge code from main branch of 2005-12-17 to ppc gencgc branch.  Still
doesn't work of course.

Revision 1.43 - (view) (annotate) - [select for diffs]
Fri Oct 21 17:56:07 2005 UTC (8 years, 5 months ago) by rtoy
Branch: MAIN
CVS Tags: double-double-array-base, double-double-array-checkpoint, double-double-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-irrat-end, double-double-irrat-start, double-double-reader-base, double-double-reader-checkpoint-1, double-double-sparc-checkpoint-1, pre-telent-clx, release-19d, release-19d-base, release-19d-pre1, release-19d-pre2, snapshot-2005-11, snapshot-2005-12, snapshot-2006-01, snapshot-2006-02, snapshot-2006-03, snapshot-2006-04, snapshot-2006-05, snapshot-2006-06, 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
Branch point for: double-double-array-branch, double-double-branch, double-double-reader-branch, release-19d-branch
Changes since 1.42: +3 -1 lines
Diff to previous 1.42
A name that is a declaration cannot be the name of a deftype,
condition, or defstruct, and vice versa, so signal an error if we try
to do that.

Revision 1.42 - (view) (annotate) - [select for diffs]
Sat Sep 11 19:18:02 2004 UTC (9 years, 7 months ago) by rtoy
Branch: MAIN
CVS Tags: ppc_gencgc_snap_2005-05-14, release-19b-base, release-19b-pre1, release-19b-pre2, release-19c, release-19c-base, release-19c-pre1, 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
Branch point for: ppc_gencgc_branch, release-19b-branch, release-19c-branch
Changes since 1.41: +16 -4 lines
Diff to previous 1.41
Port of SBCL's float-accuracy compilation policy.  Intended to make
double-float-epsilon actually be epsilon on x86.  No effect on other
ports.

The default precision is now 53-bit (double-float) instead of 64-bit
(80-bit floats).  However, to preserve C expectations, all calls to C
have the precision set to 64-bit.  This slows down calls to C, but we
try to make syscalls and such fast by not changing precision for the
call.

By default ext:float-accuracy is 3.

Use boot7.lisp to bootstrap.

Revision 1.41 - (view) (annotate) - [select for diffs]
Tue Apr 27 15:01:04 2004 UTC (9 years, 11 months ago) by emarsden
Branch: MAIN
CVS Tags: amd64-merge-start, prm-before-macosx-merge-tag, release-19a, release-19a-base, release-19a-pre1, release-19a-pre2, release-19a-pre3, snapshot-2004-05, snapshot-2004-06, snapshot-2004-07, snapshot-2004-08, snapshot-2004-09
Branch point for: release-19a-branch
Changes since 1.40: +14 -9 lines
Diff to previous 1.40
  - fix lambda-list processing: symbols with names like &foo should be
    handled like normal arguments, if they are not present in
    LAMBDA-LIST-KEYWORDS. Issue a STYLE-WARNING instead of signaling an
    error.

Revision 1.40 - (view) (annotate) - [select for diffs]
Sat Mar 22 16:15:19 2003 UTC (11 years ago) by gerd
Branch: MAIN
CVS Tags: dynamic-extent-base, lisp-executable-base, mod-arith-base, remove_negative_zero_not_zero, snapshot-2003-10, snapshot-2003-11, snapshot-2003-12, snapshot-2004-04, sparc_gencgc, sparc_gencgc_merge
Branch point for: dynamic-extent, lisp-executable, mod-arith-branch, sparc_gencgc_branch
Changes since 1.39: +6 -6 lines
Diff to previous 1.39
* 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.39.2.1 - (view) (annotate) - [select for diffs]
Wed Mar 19 16:45:30 2003 UTC (11 years, 1 month ago) by gerd
Branch: cold-pcl
Changes since 1.39: +6 -6 lines
Diff to previous 1.39 , to next main 1.48
* 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.39 - (view) (annotate) - [select for diffs]
Wed Feb 5 12:33:12 2003 UTC (11 years, 2 months ago) by gerd
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.38: +7 -1 lines
Diff to previous 1.38
	Add a hook for use by PCL.

	* compiler/proclaim.lisp (*proclaimation-hooks*): New variable.
	(proclaim): Call hooks.

Revision 1.38 - (view) (annotate) - [select for diffs]
Wed Feb 5 11:08:42 2003 UTC (11 years, 2 months ago) by gerd
Branch: MAIN
Changes since 1.37: +2 -4 lines
Diff to previous 1.37
	Generalized function names.

	* code/fdefinition.lisp (*valid-function-names*): New variable.
	(%define-function-name-syntax, valid-function-name-p): New
	functions.
	(define-function-name-syntax): New macro.
	(toplevel): Define the syntax of setf function names.
	(fdefinition-object): Use valid-function-name-p.

	* compiler/proclaim.lisp (check-function-name): Use
	valid-function-name-p.

	* compiler/ir1tran.lisp (function): Use valid-function-name-p.

	* code/profile.lisp (%report-times): Use valid-function-name-p.

	* code/macros.lisp (defun): Use valid-function-name-p.

	* code/eval.lisp (eval): Use valid-function-name-p.

	* code/describe.lisp (describe-aux, describe-function-name):
	Use valid-function-name-p.

	* code/exports.lisp ("EXTENSIONS"): Add
	define-function-name-syntax and valid-function-name-p.

Revision 1.37 - (view) (annotate) - [select for diffs]
Mon Jul 22 17:02:43 2002 UTC (11 years, 8 months ago) by toy
Branch: MAIN
CVS Tags: LINKAGE_TABLE, PRE_LINKAGE_TABLE, UNICODE-BASE
Branch point for: UNICODE-BRANCH
Changes since 1.36: +4 -1 lines
Diff to previous 1.36
According to the CLHS, the lambda keyword &rest must be followed by a
variable.  Check for this.

Revision 1.30.2.3 - (view) (annotate) - [select for diffs]
Sat Mar 23 18:50:26 2002 UTC (12 years ago) by pw
Branch: RELENG_18
CVS Tags: RELEASE_18d
Changes since 1.30.2.2: +45 -16 lines
Diff to previous 1.30.2.2 , to branch point 1.30 , to next main 1.48
Mega commit to bring RELENG_18 branch in sync with HEAD in preparation
for release tagging 18d.

Revision 1.36 - (view) (annotate) - [select for diffs]
Fri Dec 7 03:10:33 2001 UTC (12 years, 4 months ago) by pmai
Branch: MAIN
Changes since 1.35: +22 -2 lines
Diff to previous 1.35
Fixes for a bug reported by Matthew Danish that allowed special
declarations for constants and other cases that are not allowed.  The
fix is a bit more involved since proclaim must work during cold-load,
at a time where the package system isn't yet set up, and therefore the
info database will incorrectly report all symbols as constants.

Revision 1.35 - (view) (annotate) - [select for diffs]
Sun Mar 4 20:12:25 2001 UTC (13 years, 1 month ago) by pw
Branch: MAIN
Changes since 1.34: +3 -3 lines
Diff to previous 1.34
Change most PROCLAIMs to DECLAIMs.

Revision 1.34 - (view) (annotate) - [select for diffs]
Sat Mar 3 16:50:09 2001 UTC (13 years, 1 month ago) by pw
Branch: MAIN
Changes since 1.33: +21 -15 lines
Diff to previous 1.33
Fixes to make proclaim and declaim work as in ANSI spec.

Revision 1.33 - (view) (annotate) - [select for diffs]
Thu Jan 18 03:12:42 2001 UTC (13 years, 3 months ago) by dtc
Branch: MAIN
Changes since 1.32: +4 -1 lines
Diff to previous 1.32
o Allow the use of abbreviated type specifiers with proclaim, as is
  already allowed with declare.

Revision 1.30.2.2 - (view) (annotate) - [select for diffs]
Fri Jul 7 11:04:32 2000 UTC (13 years, 9 months ago) by dtc
Branch: RELENG_18
CVS Tags: RELEASE_18c
Changes since 1.30.2.1: +2 -2 lines
Diff to previous 1.30.2.1 , to branch point 1.30
Fix declaration typo from previous patch.

Revision 1.32 - (view) (annotate) - [select for diffs]
Fri Jul 7 11:04:06 2000 UTC (13 years, 9 months ago) by dtc
Branch: MAIN
Changes since 1.31: +2 -2 lines
Diff to previous 1.31
Fix declaration type from previous patch.

Revision 1.30.2.1 - (view) (annotate) - [select for diffs]
Fri Jul 7 09:34:25 2000 UTC (13 years, 9 months ago) by dtc
Branch: RELENG_18
Changes since 1.30: +4 -6 lines
Diff to previous 1.30
Flush unnecessary function proclaim's some of which had incorrect
return values, and replace them with function argument declarations
which the compiler move carefully checks.

Revision 1.31 - (view) (annotate) - [select for diffs]
Fri Jul 7 09:33:04 2000 UTC (13 years, 9 months ago) by dtc
Branch: MAIN
Changes since 1.30: +4 -6 lines
Diff to previous 1.30
Flush unnecessary function proclaim's some of which had incorrect
return values, and replace them with function argument declarations
which the compiler move carefully checks.

Revision 1.30 - (view) (annotate) - [select for diffs]
Mon Oct 31 04:27:28 1994 UTC (19 years, 5 months ago) by ram
Branch: MAIN
CVS Tags: RELEASE_18a, RELEASE_18b
Branch point for: RELENG_18
Changes since 1.29: +1 -3 lines
Diff to previous 1.29
Fix headed boilerplate.

Revision 1.29 - (view) (annotate) - [select for diffs]
Fri Sep 10 19:09:22 1993 UTC (20 years, 7 months ago) by wlott
Branch: MAIN
Changes since 1.28: +26 -8 lines
Diff to previous 1.28
Added support for &more args

Revision 1.28 - (view) (annotate) - [select for diffs]
Tue Mar 16 01:52:26 1993 UTC (21 years, 1 month ago) by ram
Branch: MAIN
Changes since 1.27: +9 -4 lines
Diff to previous 1.27
Fixed FREEZE-TYPE to seal all subclasses.

Revision 1.27 - (view) (annotate) - [select for diffs]
Fri Feb 26 08:39:13 1993 UTC (21 years, 1 month ago) by ram
Branch: MAIN
Changes since 1.26: +8 -188 lines
Diff to previous 1.26
new structure branch & tuning, see new_struct

Revision 1.26.1.4 - (view) (annotate) - [select for diffs] (vendor branch)
Tue Feb 23 11:58:03 1993 UTC (21 years, 1 month ago) by ram
Branch: new_struct
Changes since 1.26.1.3: +3 -3 lines
Diff to previous 1.26.1.3 , to next main 1.48
Fix slot accessor redefinition warning.

Revision 1.26.1.3 - (view) (annotate) - [select for diffs] (vendor branch)
Wed Jan 27 12:57:09 1993 UTC (21 years, 2 months ago) by ram
Branch: new_struct
Changes since 1.26.1.2: +27 -4 lines
Diff to previous 1.26.1.2
misc fiexs.

Revision 1.26.1.2 - (view) (annotate) - [select for diffs] (vendor branch)
Sat Jan 23 14:39:22 1993 UTC (21 years, 2 months ago) by ram
Branch: new_struct
Changes since 1.26.1.1: +3 -23 lines
Diff to previous 1.26.1.1
New structure hax.

Revision 1.26.1.1 - (view) (annotate) - [select for diffs] (vendor branch)
Fri Jan 15 15:31:55 1993 UTC (21 years, 3 months ago) by ram
Branch: new_struct
Changes since 1.26: +1 -184 lines
Diff to previous 1.26
New structure hacks
,

Revision 1.26 - (view) (annotate) - [select for diffs]
Tue Sep 15 16:10:16 1992 UTC (21 years, 7 months ago) by ram
Branch: MAIN
Branch point for: new_struct
Changes since 1.25: +6 -4 lines
Diff to previous 1.25
Fixed START-BLOCK, END-BLOCK and recognized declarations to be ignored in
%PROCLAIM (they only make it that far when called by the interpreter.  Changed
the unrecognized proclamation error to be a warning.

Revision 1.25 - (view) (annotate) - [select for diffs]
Mon Mar 9 14:56:16 1992 UTC (22 years, 1 month ago) by ram
Branch: MAIN
Changes since 1.24: +3 -2 lines
Diff to previous 1.24
If dsd-accessor is NIL, don't define any accessor.

Revision 1.24 - (view) (annotate) - [select for diffs]
Tue Feb 18 02:01:57 1992 UTC (22 years, 2 months ago) by wlott
Branch: MAIN
Changes since 1.23: +18 -4 lines
Diff to previous 1.23
Added PROCLAIM-INIT, which sets up *DEFAULT-COOKIE* and *DEFAULT-INTERFACE-
COOKIE*, so that %INITIAL-FUNCTION can call it after finishing the initial
top level forms.

Revision 1.23 - (view) (annotate) - [select for diffs]
Sat Feb 15 11:54:30 1992 UTC (22 years, 2 months ago) by wlott
Branch: MAIN
Changes since 1.22: +1 -2 lines
Diff to previous 1.22
Don't try to flush alien-operators in undefine-function-name, because there
are no more alien operators.

Revision 1.22 - (view) (annotate) - [select for diffs]
Fri Feb 14 23:47:30 1992 UTC (22 years, 2 months ago) by wlott
Branch: MAIN
Changes since 1.21: +2 -26 lines
Diff to previous 1.21
Merged new-alien changes onto trunk.

Revision 1.21 - (view) (annotate) - [select for diffs]
Wed Feb 5 18:34:02 1992 UTC (22 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.20: +2 -2 lines
Diff to previous 1.20
Properly qualify kernel::*values-specifier-type-cache-vector* in BOUNDP check
in %NOTE-TYPE-DEFINED.  We were never clearing the cache.

Revision 1.20.1.2 - (view) (annotate) - [select for diffs] (vendor branch)
Sun Feb 2 20:34:34 1992 UTC (22 years, 2 months ago) by wlott
Changes since 1.20.1.1: +2 -7 lines
Diff to previous 1.20.1.1 , to next main 1.48
When defining function names, don't bother to check to see if we are
redefining an alien operator, because alien operators don't exist anymore.

Revision 1.20.1.1 - (view) (annotate) - [select for diffs] (vendor branch)
Wed Jan 29 06:16:59 1992 UTC (22 years, 2 months ago) by wlott
Changes since 1.20: +1 -20 lines
Diff to previous 1.20
Removed ALIEN=>LISP-TRANSFORM.

Revision 1.20 - (view) (annotate) - [select for diffs]
Wed Dec 11 16:43:20 1991 UTC (22 years, 4 months ago) by ram
Branch: MAIN
Changes since 1.19: +2 -1 lines
Diff to previous 1.19
If we undefine a structure type, unfreeze it also.

Revision 1.19 - (view) (annotate) - [select for diffs]
Fri Nov 8 15:23:50 1991 UTC (22 years, 5 months ago) by ram
Branch: MAIN
Changes since 1.18: +9 -5 lines
Diff to previous 1.18
Changed FTYPE proclaim to ignore slot accessors, instead of undefining
the structure.

Revision 1.18 - (view) (annotate) - [select for diffs]
Tue May 28 17:54:59 1991 UTC (22 years, 10 months ago) by ram
Branch: MAIN
Changes since 1.17: +2 -2 lines
Diff to previous 1.17
Changed PROCESS-OPTIMIZE-DECLARATION to recognize the correct DEBUG quality, as
well as the existing DEBUG-INFO quality.

Revision 1.17 - (view) (annotate) - [select for diffs]
Thu May 23 17:53:37 1991 UTC (22 years, 11 months ago) by ram
Branch: MAIN
Changes since 1.16: +27 -10 lines
Diff to previous 1.16
Added support for the CONSTANT-FUNCTION declaration.

Add support for the new FUNCTION declaration, but still recognize ones in the
old style.

Give structure predicate functions an inline expansion which convert to TYPEP.

Revision 1.16 - (view) (annotate) - [select for diffs]
Sat Apr 20 14:15:18 1991 UTC (23 years ago) by ram
Branch: MAIN
Changes since 1.15: +10 -6 lines
Diff to previous 1.15
Added support for the OPTIMIZE-INTERFACE declaration.

Revision 1.15 - (view) (annotate) - [select for diffs]
Wed Feb 20 14:59:27 1991 UTC (23 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.14: +8 -4 lines
Diff to previous 1.14
New file header with RCS stuff.

Revision 1.14 - (view) (annotate) - [select for diffs]
Mon Feb 11 16:20:00 1991 UTC (23 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.13: +28 -3 lines
Diff to previous 1.13
Moved NOTE-NAME-DEFINED here and changed it to see if *UNDEFINED-WARNINGS*
is bound.  Changed various people to call it so that we don't get
spurious undefined function warnings.

Revision 1.13 - (view) (annotate) - [select for diffs]
Thu Jan 3 13:12:56 1991 UTC (23 years, 3 months ago) by ram
Branch: MAIN
Changes since 1.12: +39 -4 lines
Diff to previous 1.12
Added support for the FREEZE-TYPE declaration.

Revision 1.12 - (view) (annotate) - [select for diffs]
Wed Oct 17 04:15:38 1990 UTC (23 years, 6 months ago) by ram
Branch: MAIN
Changes since 1.11: +71 -38 lines
Diff to previous 1.11
Yet more structure redefinition hacks.  Mostly rewrote UNDEFINE-STRUCTURE
to be less obscure.  Made it clear the SPECIFIER-TYPE cache so that
subsequent references will be noticed as unknown.  In 
DEFINE-DEFSTRUCT-NAME, quietly blow away any existing ACCESSOR-FOR.
This is necessary now that we don't always undefine a structure
before redefining it, but it may also help with some of the 
spurious undefining that was happening.  Broke off redefinition
hackery into CHECK-FOR-STRUCTURE-REDEFINITION.  This function checks
for incompatible redefinition, and only undefines the structure if
the redefinition is incompatible.

Revision 1.11 - (view) (annotate) - [select for diffs]
Mon Oct 15 01:39:02 1990 UTC (23 years, 6 months ago) by ram
Branch: MAIN
Changes since 1.10: +23 -11 lines
Diff to previous 1.10
Changed defstruct redefinition a bit.  We are now more explicit about
maintaining separate compiler structure info.  When we change the
included-by info, we copy the DD and included-by list so that the
definition in the compiler lisp is not affected.  At load or eval time,
%DEFSTRUCT is now responsible for updating the included-by list
for the defined-structure-info.

Revision 1.10 - (view) (annotate) - [select for diffs]
Fri Oct 12 01:26:49 1990 UTC (23 years, 6 months ago) by ram
Branch: MAIN
Changes since 1.9: +139 -40 lines
Diff to previous 1.9
Many changes for more robust redefinition of DEFfoos to DEFbars.
We give a note if we see a function related thing for a SETF name
that has a SETF macro as well.  This NOTE-IF-SETF-FUNCTION-AND-MACRO
also is used in ir1tran.
Changed DEFINE-FUNCTION-NAME to call the above, and also to check for
redefining a slot accessor or alien operator.
Added UNDEFINE-FUNCTION-NAME.  Added UNDEFINE-STRUCTURE, which uses 
the previous.  Structures are undefined whenever we change a structure
or its supertypes, or whenever we redefine an accessor as some other
kind of function.  This causes a warning.
Changed DEFSTRUCT to make the accessors WHERE-FROM :DECLARED rather than
:DEFINED, since the stronger claim seems reasonable.
Made %%COMPILER-DEFSTRUCT flame if we try to define a primitive type
and warn if we redefine a DEFTYPE.

Revision 1.9 - (view) (annotate) - [select for diffs]
Sat Oct 6 18:28:11 1990 UTC (23 years, 6 months ago) by ram
Branch: MAIN
Changes since 1.8: +24 -9 lines
Diff to previous 1.8
Added DECLAIM macro.  Changed OPTIMIZE declaration to allow any real
instead of just rationals, anticipating a possible change to float
qualities.  Changed OPTIMIZE to recognize EXT:INHIBIT-WARNINGS as
the same as BREVITY.  Changed DEBUG-INFO default to 2.

Revision 1.8 - (view) (annotate) - [select for diffs]
Tue Jul 31 17:20:59 1990 UTC (23 years, 8 months ago) by wlott
Branch: MAIN
Changes since 1.7: +72 -0 lines
Diff to previous 1.7
Moved parse-lambda-list from macros.lisp to proclaim.lisp.

Revision 1.7.1.2 - (view) (annotate) - [select for diffs] (vendor branch)
Wed Jun 6 14:05:33 1990 UTC (23 years, 10 months ago) by ram
Branch: eval_debug
Changes since 1.7.1.1: +1 -0 lines
Diff to previous 1.7.1.1 , to next main 1.48
*** empty log message ***

Revision 1.7.1.1 - (view) (annotate) - [select for diffs] (vendor branch)
Mon Jun 4 15:18:19 1990 UTC (23 years, 10 months ago) by ram
Branch: eval_debug
Changes since 1.7: +0 -0 lines
Diff to previous 1.7
*** empty log message ***

Revision 1.7 - (view) (annotate) - [select for diffs]
Fri Jun 1 13:48:24 1990 UTC (23 years, 10 months ago) by ram
Branch: MAIN
Branch point for: eval_debug
Changes since 1.6: +8 -3 lines
Diff to previous 1.6
Changed FBOUNDP conditionals to test *TYPE-SYSTEM-INITIALIZED* instead,
sicne SPECIFIER-TYPE is FBOUND before the type system is fully initialized.

Revision 1.6 - (view) (annotate) - [select for diffs]
Tue May 29 16:27:35 1990 UTC (23 years, 10 months ago) by ram
Branch: MAIN
Changes since 1.5: +30 -27 lines
Diff to previous 1.5
Changed %PROCLAIM to use a FBOUNDP conditional rather than #-new-compiler
to avoid touching the type system before it is loaded.  This way type
proclamations will work in the new-compiler core, at least after the
compiler is loaded.
Fixed %COMPILER-DEFSTRUCT to make the copier and predicate :DEFINED so
that we don't give spurious undefined warnings.
SPECIFIER-TYPE-CACHE -> VALUES-SPECIFIER-TYPE-CACHE

Revision 1.5 - (view) (annotate) - [select for diffs]
Sat May 12 20:39:59 1990 UTC (23 years, 11 months ago) by ram
Branch: MAIN
Changes since 1.4: +16 -1 lines
Diff to previous 1.4
Added %NOTE-TYPE-DEFINED and made %COMPILER-DEFSTRUCT call it.

Revision 1.4 - (view) (annotate) - [select for diffs]
Sat Apr 21 11:04:45 1990 UTC (24 years ago) by ram
Branch: MAIN
Changes since 1.3: +5 -5 lines
Diff to previous 1.3
In %COMPILER-DEFSTRUCT, added an explicit check for an included type being
undefined.  Removed a duplicate version of the code that added onto the
DD-INCLUDED-BY.

Revision 1.3 - (view) (annotate) - [select for diffs]
Mon Mar 19 12:09:06 1990 UTC (24 years, 1 month ago) by ram
Branch: MAIN
Changes since 1.2: +10 -0 lines
Diff to previous 1.2
In %COMPILER-DEFSTRUCT, made the structure copier and predicate at least
be recognized as defined functions, even if we can't easily give them
the correct type (becase the type system isn't in the cold load yet.)

Revision 1.2 - (view) (annotate) - [select for diffs]
Thu Feb 8 12:51:13 1990 UTC (24 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.1: +3 -1 lines
Diff to previous 1.1
Fixed %COMPILER-DEFSTRUCT to clear any old DEFTYPE expander.

Revision 1.1 - (view) (annotate) - [select for diffs]
Tue Feb 6 11:29:32 1990 UTC (24 years, 2 months ago) by wlott
Branch: MAIN
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