#12993: GHC 8.0.2-rc2 template Haskell interface file issue -------------------------------------+------------------------------------- Reporter: glguy | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2-rc1 Resolution: | Keywords: Operating System: MacOS X | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by glguy): The issue seemed to be that the the AlexTools module is using the `runA` record selector from Template Haskell but that that record selector is not exported to preserve an abstraction boundary https://github.com/GaloisInc/alex-tools/blob/master/src/AlexTools.hs#L268 If I export runA, or define runA as a top-level definition (even without exporting it) the bug does away. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12993#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#12993: GHC 8.0.2-rc2 template Haskell interface file issue -------------------------------------+------------------------------------- Reporter: glguy | Owner: Type: bug | Status: new Priority: highest | Milestone: Component: Compiler | Version: 8.0.2-rc1 Resolution: | Keywords: Operating System: MacOS X | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by rwbarton): The name `runA` is being "exported" through a quote. Minimal reproducer: {{{ -- TA.hs {-# LANGUAGE TemplateHaskell #-} module TA (q) where data X = X { x :: Int } q = [|x|] -- TB.hs {-# LANGUAGE TemplateHaskell #-} module TB where import TA f = $(q) }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12993#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#12993: GHC 8.0.2-rc2 template Haskell interface file issue -------------------------------------+------------------------------------- Reporter: glguy | Owner: Type: bug | Status: new Priority: highest | Milestone: 8.0.2 Component: Template Haskell | Version: 8.0.2-rc2 Resolution: | Keywords: Operating System: MacOS X | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by bgamari): It appears that the following declaration is present in the interface file produced by 8.0.1 and that produced by 8.0.2-rc2 with an explicit export of `x`, but missing from 8.0.2-rc2 otherwise, {{{ fb6798a720ab50725d554237e3ba2ff7 x :: X -> Int RecSel Left X }}} `master` is also afflicted with this issue. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12993#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#12993: GHC 8.0.2-rc2 template Haskell interface file issue -------------------------------------+------------------------------------- Reporter: glguy | Owner: Type: bug | Status: new Priority: highest | Milestone: 8.0.2 Component: Template Haskell | Version: 8.0.2-rc2 Resolution: | Keywords: Operating System: MacOS X | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * cc: osa1 (added) Comment: The culprit here appears to be 3a00ff92a3ee66c096b85b180d247d1a471a6b6e, {{{ commit 3a00ff92a3ee66c096b85b180d247d1a471a6b6e Author: Ömer Sinan Ağacan Date: Fri May 27 11:02:47 2016 -0400 Do not init record accessors as exported This was causing redundant code generation when accessors are not actually exported, as they were being marked as "exported" at initialization. }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12993#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#12993: GHC 8.0.2-rc2 template Haskell interface file issue -------------------------------------+------------------------------------- Reporter: glguy | Owner: Type: bug | Status: new Priority: highest | Milestone: 8.0.2 Component: Template Haskell | Version: 8.0.2-rc2 Resolution: | Keywords: Operating System: MacOS X | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari ): In [changeset:"0af959b1999b48f3b8e6c47184b6f8c80b4c452d/ghc" 0af959b1/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="0af959b1999b48f3b8e6c47184b6f8c80b4c452d" Revert "Do not init record accessors as exported" This reverts commit 3a00ff92a3ee66c096b85b180d247d1a471a6b6e due to #12993 }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12993#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#12993: GHC 8.0.2-rc2 template Haskell interface file issue -------------------------------------+------------------------------------- Reporter: glguy | Owner: (none) Type: bug | Status: closed Priority: highest | Milestone: 8.0.2 Component: Template Haskell | Version: 8.0.2-rc2 Resolution: fixed | Keywords: Operating System: MacOS X | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by niteria): I just run into this in our `ghc-8.0.2-facebook` branch (we cut from ghc-8.0 before the revert happened). It reproduces in an interesting way with `haddock` + `DuplicateRecordFields`: {{{ $ cat A.hs Main.hs; haddock A.hs Main.hs {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE DuplicateRecordFields #-} module A where data A = A { func :: Int -> Int } a :: A a = A { func = (*2) } module Main where import A main :: IO () main = print (func a 10) Haddock coverage: 0% ( 0 / 3) in 'A' Missing documentation for: Module header A (A.hs:4) a (A.hs:8) Main.hs:6:15: error: • Can't find interface-file declaration for variable A.$sel:func:A 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 • In the first argument of ‘print’, namely ‘(func a 10)’ In the expression: print (func a 10) In an equation for ‘main’: main = print (func a 10) | 6 | main = print (func a 10) | }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12993#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler