[GHC] #14217: Interface-file decls for large tuples

11 Sep 2017

      #14217: Interface-file decls for large tuples
-------------------------------------+-------------------------------------
           Reporter:  crockeea       |             Owner:  (none)
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:
          Component:  Compiler       |           Version:  8.2.1
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  Compile-time
  Unknown/Multiple                   |  crash or panic
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 I'm in the process of updating a large code base for GHC 8.2, and I have
 the following error (with -ddump-if-trace):

 {{{
 ...
 Starting fork { Declaration for $fCT2
 Loading decl for $fCT2
 updating EPS_
 Considering whether to load GHC.Prim {- SYSTEM -}
 Considering whether to load GHC.Prim {- SYSTEM -}
 } ending fork Declaration for $fCT2
 Need decl for
 (%,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,%)
 Considering whether to load GHC.Classes {- SYSTEM -}
 Considering whether to load GHC.Types {- SYSTEM -}
 checkWiredInTyCon Double
 Crypto.Lol.Applications.Tests.SHETests
 Considering whether to load GHC.Types {- SYSTEM -}
 Starting fork { Class op ip a ty
 } ending fork Class op ip a ty
 ...

 Can't find interface-file declaration for type constructor or class ghc-
 prim-0.5.1.0:GHC.Classes.(%,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,%)
       Probable cause: bug in .hi-boot file, or inconsistent .hi file
       Use -ddump-if-trace to get an idea of which file caused the error
 }}}

 The code in question involves a poly-kinded, promoted 8-tuple, though I
 have no idea where GHC is coming up with a 64-tuple.

 Since I'm updating a large library, I've been unable to produce a small
 example so far. I can make the code compile by simplifying it in various
 ways, so aside from this problem, the code works with 8.2.1. This issue is
 currently preventing me from updating my code base to 8.2.1.

-- 
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14217
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler