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
Edited by Simon Peyton Jones
Due to a large amount of spam we do not allow new users to create repositories, they are "external" users. If you are a new user and want to create a repository, for example for forking GHC, open a new issue on ghc/ghc using the "get-verified" issue template
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