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

Log of /src/compiler/ctype.lisp

Parent Directory Parent Directory | Revision Log Revision Log


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

Revision 1.38 - (view) (annotate) - [select for diffs]
Thu May 27 23:43:16 2010 UTC (3 years, 10 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-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.37: +2 -2 lines
Diff to previous 1.37
Too many args to NOTE-LOSSAGE message in
FIND-OPTIONAL-DISPATCH-TYPES.

Revision 1.37 - (view) (annotate) - [select for diffs]
Tue Apr 20 17:57:46 2010 UTC (3 years, 11 months ago) by rtoy
Branch: MAIN
CVS Tags: snapshot-2010-05
Changes since 1.36: +38 -38 lines
Diff to previous 1.36
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.36 - (view) (annotate) - [select for diffs]
Fri Mar 19 15:19:00 2010 UTC (4 years, 1 month ago) by rtoy
Branch: MAIN
CVS Tags: post-merge-intl-branch, snapshot-2010-04
Changes since 1.35: +78 -45 lines
Diff to previous 1.35
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.35.52.4 - (view) (annotate) - [select for diffs]
Tue Mar 9 20:08:09 2010 UTC (4 years, 1 month ago) by rtoy
Branch: intl-branch
CVS Tags: intl-branch-2010-03-18-1300
Changes since 1.35.52.3: +61 -37 lines
Diff to previous 1.35.52.3 , to branch point 1.35 , to next main 1.38
Support plurals in note-lossage/note-slime.

o Change NOTE-LOSSAGE to be a macro to wrap the format string in a
  function.  NOTE-LOSSAGE cals %NOTE-LOSSAGE
o Add %NOTE-LOSSAGE that is the same as the original NOTE-LOSSAGE
  except the format string is now a function that returns a string.
  This allows us to delay doing the domain lookup until we want to
  generate the message.
o Do the same for NOTE-SLIME.
o Update strings to use NGETTEXT as needed.

Revision 1.35.54.1 - (view) (annotate) - [select for diffs]
Thu Feb 25 20:34:52 2010 UTC (4 years, 1 month ago) by rtoy
Branch: intl-2-branch
Changes since 1.35: +50 -41 lines
Diff to previous 1.35 , to next main 1.38
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.35.52.3 - (view) (annotate) - [select for diffs]
Fri Feb 12 05:52:24 2010 UTC (4 years, 2 months ago) by rtoy
Branch: intl-branch
CVS Tags: intl-branch-working-2010-02-19-1000
Changes since 1.35.52.2: +2 -2 lines
Diff to previous 1.35.52.2 , to branch point 1.35
code/lispinit.lisp:
o Mark translatable strings.

compiler/ctype.lisp:
o Forgot to mark one translatable string.

i18n/locale/cmucl.pot
i18n/locale/ko/LC_MESSAGES/cmucl.po
o Regenerated.

Revision 1.35.52.2 - (view) (annotate) - [select for diffs]
Fri Feb 12 04:47:34 2010 UTC (4 years, 2 months ago) by rtoy
Branch: intl-branch
Changes since 1.35.52.1: +48 -40 lines
Diff to previous 1.35.52.1 , to branch point 1.35
compiler/ctype.lisp:
o Mark translatable strings.  Be very careful when doing this!  You
  can really, really slow down the compiler!

i18n/locale/cmucl.pot:
i18n/locale/ko/LC_MESSAGES/cmucl.po:
o Regenerated.

Revision 1.35.52.1 - (view) (annotate) - [select for diffs]
Mon Feb 8 17:15:50 2010 UTC (4 years, 2 months ago) by rtoy
Branch: intl-branch
CVS Tags: intl-branch-working-2010-02-11-1000
Changes since 1.35: +2 -1 lines
Diff to previous 1.35
Add (intl:textdomain "cmucl") to the files to set the textdomain.

Revision 1.35 - (view) (annotate) - [select for diffs]
Mon Feb 3 15:24:44 2003 UTC (11 years, 2 months ago) by toy
Branch: MAIN
CVS Tags: RELEASE_19f, RELEASE_20a, amd64-dd-start, amd64-merge-start, cold-pcl-base, 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, dynamic-extent-base, intl-2-branch-base, intl-branch-base, label-2009-03-16, label-2009-03-25, lisp-executable-base, merge-sse2-packed, merge-with-19f, merged-unicode-utf16-extfmt-2009-06-11, mod-arith-base, portable-clx-base, portable-clx-import-2009-06-16, ppc_gencgc_snap_2005-05-14, ppc_gencgc_snap_2005-12-17, ppc_gencgc_snap_2006-01-06, pre-merge-intl-branch, pre-telent-clx, prm-before-macosx-merge-tag, release-18e, release-18e-base, release-18e-pre1, release-18e-pre2, 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, 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, remove_negative_zero_not_zero, 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, 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, snapshot-2009-12, snapshot-2010-01, snapshot-2010-02, snapshot-2010-03, sparc_gencgc, sparc_gencgc_merge, 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, cold-pcl, double-double-array-branch, double-double-branch, double-double-reader-branch, dynamic-extent, intl-2-branch, intl-branch, lisp-executable, mod-arith-branch, portable-clx-branch, ppc_gencgc_branch, release-18e-branch, release-19a-branch, release-19b-branch, release-19c-branch, release-19d-branch, release-19e-branch, sparc_gencgc_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.34: +45 -22 lines
Diff to previous 1.34
Recognize :allow-other-keys as a valid keyword arg for all functions,
and enable (or disable) compile-time checking of keyword args as
appropriate.  Also give a compile-time warning if the value of
:allow-other-keys is not a constant.  Compile-time checking is
disabled in this case.

Based on a patch from Gerd Moellmann for a issue noted by Paul Dietz.

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

Revision 1.34 - (view) (annotate) - [select for diffs]
Sun Mar 4 20:12:14 2001 UTC (13 years, 1 month ago) by pw
Branch: MAIN
CVS Tags: LINKAGE_TABLE, PRE_LINKAGE_TABLE, UNICODE-BASE
Branch point for: UNICODE-BRANCH
Changes since 1.33: +4 -4 lines
Diff to previous 1.33
Change most PROCLAIMs to DECLAIMs.

Revision 1.32.2.1 - (view) (annotate) - [select for diffs]
Fri Jul 7 09:34:20 2000 UTC (13 years, 9 months ago) by dtc
Branch: RELENG_18
CVS Tags: RELEASE_18c
Changes since 1.32: +17 -18 lines
Diff to previous 1.32
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.33 - (view) (annotate) - [select for diffs]
Fri Jul 7 09:33:00 2000 UTC (13 years, 9 months ago) by dtc
Branch: MAIN
Changes since 1.32: +17 -18 lines
Diff to previous 1.32
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.32 - (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.31: +1 -3 lines
Diff to previous 1.31
Fix headed boilerplate.

Revision 1.31 - (view) (annotate) - [select for diffs]
Sat Mar 5 20:25:51 1994 UTC (20 years, 1 month ago) by hallgren
Branch: MAIN
Changes since 1.30: +2 -2 lines
Diff to previous 1.30
Changed return to return-from assert-definition-type.

Revision 1.30 - (view) (annotate) - [select for diffs]
Sat Mar 5 14:35:57 1994 UTC (20 years, 1 month ago) by ram
Branch: MAIN
Changes since 1.29: +3 -2 lines
Diff to previous 1.29
Changed assert-definition-type to quietly ignore non function-types.

Revision 1.29 - (view) (annotate) - [select for diffs]
Sat Mar 5 14:32:51 1994 UTC (20 years, 1 month ago) by ram
Branch: MAIN
Changes since 1.28: +3 -2 lines
Diff to previous 1.28
Added declaration.

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

Revision 1.27 - (view) (annotate) - [select for diffs]
Wed Aug 25 00:14:59 1993 UTC (20 years, 7 months ago) by ram
Branch: MAIN
Changes since 1.26: +2 -2 lines
Diff to previous 1.26
Fix compiler warnings.

Revision 1.26 - (view) (annotate) - [select for diffs]
Thu Jan 14 18:04:00 1993 UTC (21 years, 3 months ago) by ram
Branch: MAIN
Changes since 1.25: +4 -4 lines
Diff to previous 1.25
Fixed a problem with ASSERT-DEFINITION-TYPE when we have a keyword arg with a
non-constant default.

Revision 1.25 - (view) (annotate) - [select for diffs]
Wed Dec 11 23:49:53 1991 UTC (22 years, 4 months ago) by ram
Branch: MAIN
Changes since 1.24: +2 -2 lines
Diff to previous 1.24
Fix type.

Revision 1.24 - (view) (annotate) - [select for diffs]
Wed Dec 11 23:45:40 1991 UTC (22 years, 4 months ago) by ram
Branch: MAIN
Changes since 1.23: +5 -18 lines
Diff to previous 1.23
Changed DEFINITION-TYPE to use the TAIL-SET-TYPE instead of the continuation
type of the result continuation, since the RETURN of functions that only do
tail local calls will be deleted.

Revision 1.23 - (view) (annotate) - [select for diffs]
Tue Nov 5 15:15:05 1991 UTC (22 years, 5 months ago) by ram
Branch: MAIN
Changes since 1.22: +3 -2 lines
Diff to previous 1.22
Suppress argument assignment warning if the function type doesn't give us any
new information.

Revision 1.22 - (view) (annotate) - [select for diffs]
Wed Oct 23 12:47:57 1991 UTC (22 years, 6 months ago) by ram
Branch: MAIN
Changes since 1.21: +9 -9 lines
Diff to previous 1.21
Tweaked assert-definition-type error messages not to always assume that the
definition comes after the type information.  Now "previous" must be in the
WHERE string supplied as an argument.

Revision 1.21 - (view) (annotate) - [select for diffs]
Fri Jun 7 15:04:32 1991 UTC (22 years, 10 months ago) by ram
Branch: MAIN
Changes since 1.20: +4 -4 lines
Diff to previous 1.20
In NOTE-FUNCTION-USE, make allowp be T-or-NIL, instead of a random
continuation.

Revision 1.20 - (view) (annotate) - [select for diffs]
Tue May 21 22:29:29 1991 UTC (22 years, 11 months ago) by ram
Branch: MAIN
Changes since 1.19: +2 -2 lines
Diff to previous 1.19
In check-approximate-fixed-and-rest, say "second" instead of "two".

Revision 1.19 - (view) (annotate) - [select for diffs]
Thu May 16 16:37:27 1991 UTC (22 years, 11 months ago) by ram
Branch: MAIN
Changes since 1.18: +13 -5 lines
Diff to previous 1.18
Added WARNING-FUNCTION option to ASSERT-DEFINITION-TYPE, and use it to flame
when an argument is assigned.

Revision 1.18 - (view) (annotate) - [select for diffs]
Wed May 8 17:52:01 1991 UTC (22 years, 11 months ago) by ram
Branch: MAIN
Changes since 1.17: +7 -1 lines
Diff to previous 1.17
Changed VALID-FUNCTION-USE to say "exactly" when there is an arg count error
with a fixed arg function.

Revision 1.17 - (view) (annotate) - [select for diffs]
Sun Mar 24 18:41:34 1991 UTC (23 years, 1 month ago) by ram
Branch: MAIN
Changes since 1.16: +18 -18 lines
Diff to previous 1.16
Fixed CHECK-KEYWORDS not to print "zeroth".

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

Revision 1.15 - (view) (annotate) - [select for diffs]
Wed Jan 2 19:07:21 1991 UTC (23 years, 3 months ago) by ram
Branch: MAIN
Changes since 1.14: +12 -8 lines
Diff to previous 1.14
Changed :STRICT-RESULT conditionalization to see whether the policy
is unsafe before punting.
Fixed ASSERT-DEFINITION-TYPE to propagate the new type information to
any refs, and also to not set the type when the argument has sets.

Revision 1.14 - (view) (annotate) - [select for diffs]
Tue Nov 20 17:40:47 1990 UTC (23 years, 5 months ago) by ram
Branch: MAIN
Changes since 1.13: +6 -6 lines
Diff to previous 1.13
Cleared up the explanation of keyword default types in
 FIND-OPTIONAL-DISPATCH-TYPES, and removed an unnecessary conditional.

Revision 1.13 - (view) (annotate) - [select for diffs]
Wed Oct 24 16:16:19 1990 UTC (23 years, 6 months ago) by ram
Branch: MAIN
Changes since 1.12: +41 -21 lines
Diff to previous 1.12
Changed slot defaults for APPROXIMATE-KEY-INFO to use REQUIRED-ARGUMENT.
Fixed some comments that I neglected to update with the last round of
changes.
Changed FIND-OPTIONAL-DISPATCH-TYPES to only union in NULL for hairy
default keywords, since this is the initial value type passed in
for these keywords when they are unsupplied.  This allows some of the
type checking to be pushed into the XEP or local caller for these args.
Also, fixed handling of &rest args not to give spurious warnings about
definitions that have both &rest and &key.
And fixed FIND-LAMBDA-TYPES to do type intersections only when there is
no syntax lossage, rather than only doing it when there is a change
in the number of args.

Revision 1.12 - (view) (annotate) - [select for diffs]
Sat Oct 20 05:39:02 1990 UTC (23 years, 6 months ago) by ram
Branch: MAIN
Changes since 1.11: +10 -3 lines
Diff to previous 1.11
Fixed FIND-LAMBDA-TYPES to notice when the arg count changes.

Revision 1.11 - (view) (annotate) - [select for diffs]
Wed Oct 17 03:53:14 1990 UTC (23 years, 6 months ago) by ram
Branch: MAIN
Changes since 1.10: +107 -103 lines
Diff to previous 1.10
Changed VALID-FUNCTION-USE to complain more intelligibly about args
of type NIL, and downgraded the message from lossage to slime.
Spiffed up ASSERT-DEFINITION-TYPE in various ways.  It now takes various
arguments which provide additional control.  In particular, the
REALLY-ASSERT argument allows this function to be used to give
function redefinition notes without applying bogus type assertions.
Also, fixed optional and keyword handling to take into account the
possibility that the default might legally not be of the type in
the function type.  If the default is constant, we union its type in,
otherwise we write off type assertion for that argument.
Fixed the result type intersection stuff not to gag on NIL assertions.
Also, tweaked the formatting a bit to reduce wrapped lines, etc.

Revision 1.10 - (view) (annotate) - [select for diffs]
Mon Oct 15 17:39:31 1990 UTC (23 years, 6 months ago) by wlott
Branch: MAIN
Changes since 1.9: +4 -1 lines
Diff to previous 1.9
[Ram] Fixed FIND-OPTIONAL-DISPATCH-TYPES to not gag if there is a &rest arg in
the definition and not in the type.  (This case only happens if there is an
&key in the type, since otherwise we punt before them.)

Revision 1.9 - (view) (annotate) - [select for diffs]
Thu Oct 11 17:30:51 1990 UTC (23 years, 6 months ago) by ram
Branch: MAIN
Changes since 1.8: +162 -15 lines
Diff to previous 1.8
Implemented ASSERT-DEFINITION-TYPE to apply a FTYPE proclamation
to a DEFUN.

Revision 1.8 - (view) (annotate) - [select for diffs]
Fri Oct 5 15:39:31 1990 UTC (23 years, 6 months ago) by wlott
Branch: MAIN
Changes since 1.7: +4 -2 lines
Diff to previous 1.7
Chagned a few more ``type'' types to ``ctype'' types.

Revision 1.7 - (view) (annotate) - [select for diffs]
Fri Oct 5 15:12:20 1990 UTC (23 years, 6 months ago) by ram
Branch: MAIN
Changes since 1.6: +3 -3 lines
Diff to previous 1.6
Fixed some broken declrations.

Revision 1.6 - (view) (annotate) - [select for diffs]
Mon May 21 16:56:54 1990 UTC (23 years, 11 months ago) by ram
Branch: MAIN
Changes since 1.5: +6 -4 lines
Diff to previous 1.5
Fixed VALID-FUNCTION-USE to return T, T when the call is valid, instead of T,
NIL.  Also, improved the function description to make the return values
clearer.

Revision 1.5 - (view) (annotate) - [select for diffs]
Sat May 12 20:14:34 1990 UTC (23 years, 11 months ago) by ram
Branch: MAIN
Changes since 1.4: +10 -0 lines
Diff to previous 1.4
Added ALWAYS-SUBTYPEP, since it is no longer defined internally for
subtypep's benefit.

Revision 1.4 - (view) (annotate) - [select for diffs]
Wed Mar 28 13:49:33 1990 UTC (24 years ago) by ram
Branch: MAIN
Changes since 1.3: +1 -1 lines
Diff to previous 1.3
CHECK-ARG => CHECK-ARG-TYPE

Revision 1.3 - (view) (annotate) - [select for diffs]
Wed Mar 28 13:37:20 1990 UTC (24 years ago) by ram
Branch: MAIN
Changes since 1.2: +2 -2 lines
Diff to previous 1.2
Fixed paren error in CHECK-ARG-TYPE.

Revision 1.2 - (view) (annotate) - [select for diffs]
Tue Mar 27 11:41:56 1990 UTC (24 years ago) by ram
Branch: MAIN
Changes since 1.1: +84 -36 lines
Diff to previous 1.1
Made VALID-FUNCTION-USE match CONSTANT types when they appear in the arg 
types.  Made VALID-FUNCTION-USE note lossage when there is an argument
whose type is NIL (a manifest type error) instead of considering it
to match anything.  Made people recognize the new FUNCTION-TYPE-WILD-ARGS
flag.
Randomly broke some lines that wrapped.

Revision 1.1 - (view) (annotate) - [select for diffs]
Tue Feb 6 11:28:42 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