TcRnDriver.checkHiBootIface should check exports
The hs-boot check in TcRnDriver
should check that the main module exports everything that the boot module does. Currently this check is missing.
Simon
The hs-boot check in TcRnDriver
should check that the main module exports everything that the boot module does. Currently this check is missing.
Simon