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

Log of /src/compiler/checkgen.lisp

Parent Directory Parent Directory | Revision Log Revision Log


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

Revision 1.10.1.2 - (view) (annotate) - [select for diffs] (vendor branch)
Wed Jun 27 09:52:42 1990 UTC (23 years, 10 months ago) by ram
Branch: eval_debug
Changes since 1.10.1.1: +0 -4 lines
Diff to previous 1.10.1.1 , to next main 1.36
Deleted cleanup hackery.

Revision 1.10.1.1 - (view) (annotate) - [select for diffs] (vendor branch)
Tue Jun 12 11:54:01 1990 UTC (23 years, 10 months ago) by ram
Branch: eval_debug
Changes since 1.10: +0 -0 lines
Diff to previous 1.10
*** empty log message ***

Revision 1.10 - (view) (annotate) - [select for diffs]
Wed Jun 6 13:49:57 1990 UTC (23 years, 10 months ago) by ram
Branch: MAIN
Branch point for: eval_debug
Changes since 1.9: +3 -2 lines
Diff to previous 1.9
Added use of *unparse-function-type-simplify* to prevent complex function
types from being checked, even when they are buried in other types 
(like OR.)

Revision 1.9 - (view) (annotate) - [select for diffs]
Fri Jun 1 13:43:03 1990 UTC (23 years, 10 months ago) by ram
Branch: MAIN
Changes since 1.8: +20 -3 lines
Diff to previous 1.8
Added NO-FUNCTION-VALUES-TYPES and made people use it so that they aren't
confused by complex function types.

Revision 1.8 - (view) (annotate) - [select for diffs]
Tue May 22 13:14:58 1990 UTC (23 years, 11 months ago) by ram
Branch: MAIN
Changes since 1.7: +2 -1 lines
Diff to previous 1.7
Changed MAYBE-WEAKEN-CHECK to accept a type if there is a predicate for that
exact type, rather than possibly blowing off the check entirely.

Revision 1.7 - (view) (annotate) - [select for diffs]
Tue May 22 13:10:20 1990 UTC (23 years, 11 months ago) by ram
Branch: MAIN
Changes since 1.6: +8 -4 lines
Diff to previous 1.6
Oops...  We can't negate a check and weaken it too.  Choose whichever is
cheaper.

Revision 1.6 - (view) (annotate) - [select for diffs]
Mon May 21 17:03:06 1990 UTC (23 years, 11 months ago) by ram
Branch: MAIN
Changes since 1.5: +5 -4 lines
Diff to previous 1.5
Changed PROBABLE-TYPE-CHECK-P to return T when we are unable to determine when
VALID-FUNCTION-USE is unable to determine the whether the template applies.  If
the VOP operand is unrestrictive, but we know it is of an unknown type, then
the type-operation will fail but the template can still be selected, since
PRIMITIVE-TYPE isn't fooled.

Revision 1.5 - (view) (annotate) - [select for diffs]
Thu May 17 13:41:54 1990 UTC (23 years, 11 months ago) by ram
Branch: MAIN
Changes since 1.4: +3 -2 lines
Diff to previous 1.4
Changed type check weakening not to choose supertypes that are union types
(i.e. COMMON).  Also, we don't preserve the original check just because there
was some supertype predicate.

Revision 1.4 - (view) (annotate) - [select for diffs]
Wed May 16 10:56:25 1990 UTC (23 years, 11 months ago) by ram
Branch: MAIN
Changes since 1.3: +1 -1 lines
Diff to previous 1.3
Type warnings only inhibited when brevity = 3.

Revision 1.3 - (view) (annotate) - [select for diffs]
Sat May 12 20:13:16 1990 UTC (23 years, 11 months ago) by ram
Branch: MAIN
Changes since 1.2: +47 -8 lines
Diff to previous 1.2
Added type check weakening (conditional on policy), and made type checks
be totally flushed only when safety = 0.
Also, when printing a type warning, check to see if the losing value is
a constant, and if so, print it instead of its type.

Revision 1.2 - (view) (annotate) - [select for diffs]
Tue Mar 27 11:39:36 1990 UTC (24 years, 1 month ago) by ram
Branch: MAIN
Changes since 1.1: +10 -0 lines
Diff to previous 1.1
Added code to make known calls unknown if there is an argument with
a type error.

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