Add new flags to the microcode:
authorGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Thu, 8 Jun 1989 00:19:13 +0000 (00:19 +0000)
committerGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Thu, 8 Jun 1989 00:19:13 +0000 (00:19 +0000)
commit1009b912b94e28ed79f3c84a6105488f85511572
treebadda6b7bced847a53f0476c29bc311b8cd0fc8e
parentdbdce067b7c50f23c52d3b9785cbd5873244545c
Add new flags to the microcode:

BAD_TYPES_INNOCUOUS
If a bad type is seen, the system treats it as a non-pointer for most
purposes.

BAD_TYPES_LETHAL
If a bad type is seen, kill Scheme with TERM_INVALID_TYPE_CODE.

The default is BAD_TYPES_LETHAL when there is no compiler support,
BAD_TYPES_INNOCUOUS when there is.
v7/src/microcode/bchdmp.c
v7/src/microcode/bchgcl.c