Removed old (mostly unused) method of reporting type errors via bogus
authorStephen Adams <edu/mit/csail/zurich/adams>
Tue, 23 Jul 1996 15:41:23 +0000 (15:41 +0000)
committerStephen Adams <edu/mit/csail/zurich/adams>
Tue, 23 Jul 1996 15:41:23 +0000 (15:41 +0000)
commit7425c84d13cdefe43b5497f717f5b361e49165aa
tree6e31648935c1f758e05cb1636b063720c23e2473
parentdfe25e682d88514e2044cdf1ce5755f8a8c00c26
Removed old (mostly unused) method of reporting type errors via bogus
re-writes that issue the warning and leave the program unchanged.

Replaced with type-checks based on the typedb information.  All
operators with typedb information are checked (not just those with
rewrites).  Checking (and thus warnings) are disabled by setting
COMPILER:TYPE-ERROR-WARNINGS? to false.
v8/src/compiler/midend/typerew.scm