Ticket #924 (closed bug: fixed)
TcRnDriver.checkHiBootIface should check exports
|Reported by:||simonpj||Owned by:||igloo|
|Type of failure:||Difficulty:||Unknown|
|Test Case:||rnfail047||Blocked By:|
Description (last modified by simonpj) (diff)
The hs-boot check in TcRnDriver should check that the main module exports everything that the boot module does. Currently this check is missing.