Skip to content
Snippets Groups Projects
Forked from cmucl / cmucl
Source project has a limited visibility.
  • ram's avatar
    d24f0501
    Force type check conversion of continuations that may be forced to · d24f0501
    ram authored
    unknown values even though they are really fixed-values (and people
    might be depending on the check, like non-local RETURN-FROM.)
    Don't do an inline type check for the argument of a full call, even when
    we are "sure" that there is an error, since the user might want to
    fix the problem by redefining the callee, and not by changing the 
    caller (or callers.)
    Spiffed up type error warnings to use the variable we are binding to
    as context when doing a local call.  Also, instead of saying we
    "got NIL", we say we got an expression that didn't return.
    Changed type error checking to consistently flame about all losing
    uses of a continuation, instead of maybe only flaming about the
    first one, or even totally missing it if the first use we see is
    non-erroneous but hairy.
    Also, don't do type warnings on continuations with :DELETE TYPE-CHECK,
    since those are the result of hairy type checks.
    d24f0501
    History
    Force type check conversion of continuations that may be forced to
    ram authored
    unknown values even though they are really fixed-values (and people
    might be depending on the check, like non-local RETURN-FROM.)
    Don't do an inline type check for the argument of a full call, even when
    we are "sure" that there is an error, since the user might want to
    fix the problem by redefining the callee, and not by changing the 
    caller (or callers.)
    Spiffed up type error warnings to use the variable we are binding to
    as context when doing a local call.  Also, instead of saying we
    "got NIL", we say we got an expression that didn't return.
    Changed type error checking to consistently flame about all losing
    uses of a continuation, instead of maybe only flaming about the
    first one, or even totally missing it if the first use we see is
    non-erroneous but hairy.
    Also, don't do type warnings on continuations with :DELETE TYPE-CHECK,
    since those are the result of hairy type checks.