Parent Directory | Revision Log
|Links to HEAD:||(view) (annotate)|
|Links to eval_debug:||(view) (annotate)|
Deleted cleanup hackery.
*** empty log message ***
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.)
Added NO-FUNCTION-VALUES-TYPES and made people use it so that they aren't confused by complex function types.
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.
Oops... We can't negate a check and weaken it too. Choose whichever is cheaper.
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.
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.
Type warnings only inhibited when brevity = 3.
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.
Added code to make known calls unknown if there is an argument with a type error.
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.
|Powered by ViewVC 1.1.5|