Skip to content

Refuse to create jump islands to _info symbols when TNTC is enabled

Currently the RTS linker handles overflowing relocations by creating a jump island. However, this is fundamentally incompatible with tables-next-to-code and is consequently unsafe for most Haskell programs. As a mitigation, I suggest that the linker should refuse to create jump islands for symbols ending in _info and instead fail with an error.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information