Documentation build fails if GHCi is unavailable

Joachim Breitner reported that the documentation fails to build on Debian armhf:

   0% (  0 /  5) in 'WwLib'
   0% (  0 /  2) in 'DmdAnal'
   0% (  0 /  2) in 'WorkWrap'

compiler/typecheck/TcSplice.lhs-boot:29:1:
    TcSplice.tcTopSpliceExpr is exported by the hs-boot file, but not exported by the module

compiler/typecheck/TcSplice.lhs-boot:37:1:
    TcSplice.runMetaE is exported by the hs-boot file, but not exported by the module

compiler/typecheck/TcSplice.lhs-boot:38:1:
    TcSplice.runMetaP is exported by the hs-boot file, but not exported by the module

compiler/typecheck/TcSplice.lhs-boot:39:1:
    TcSplice.runMetaT is exported by the hs-boot file, but not exported by the module

compiler/typecheck/TcSplice.lhs-boot:40:1:
    TcSplice.runMetaD is exported by the hs-boot file, but not exported by the module
  67% (  2 /  3) in 'CmmPipeline'
   0% (  0 /  3) in 'StgCmmHpc'
   0% (  0 / 13) in 'PrelInfo'
   0% (  0 /  4) in 'StgCmmCon'
   0% (  0 /  2) in 'StgCmmExpr'
   0% (  0 /  6) in 'StgCmmBind'
   0% (  0 /  2) in 'CmmParse'
   0% (  0 /  2) in 'StgCmm'
   5% (  9 /175) in 'TcRnMonad'
make[2]: *** [compiler/stage2/doc/html/ghc/ghc.haddock] Error 1

The attached patch fixes this.

Trac metadata

Trac field	Value
Version	7.8.1
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler (Type checker)
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture