[GHC] #8247: Dependency tracking (--make) broken for re-exported modules

#8247: Dependency tracking (--make) broken for re-exported modules ------------------------------------+------------------------------------- Reporter: heisenbug | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Say, I re-export a module, from which I hide some bindings: {{{ module B (module A) where import A hiding (a1) }}} where `A` is defined thus: {{{ module A where a1 = 5 a2 = 42 a3 = 113 }}} I use `B` from `C`: {{{ module C where import B a2 = 142 }}} Build `C`, with `ghc --make C.hs`, observing redefinition error (of `a2`). Now hide also `a2` in `B` like this (by editing `B.hs`): {{{ module B (module A) where import A hiding (a1, a2) }}} Build `C` again, and observe that the error persists, because `B` has not been rebuilt, and its interface file not regenerated. Deleting `B.hi` and recompiling resolves the situation. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8247 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8247: Dependency tracking (--make) broken for re-exported modules
-------------------------------------+------------------------------------
Reporter: heisenbug | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.7
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture: Unknown/Multiple
Type of failure: None/Unknown | Difficulty: Unknown
Test Case: | Blocked By:
Blocking: | Related Tickets:
-------------------------------------+------------------------------------
Comment (by Joachim Breitner

#8247: Dependency tracking (--make) broken for re-exported modules -------------------------------------+------------------------------------ Reporter: heisenbug | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: worksforme | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: recomp013 | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by nomeata): * status: new => closed * testcase: => recomp013 * resolution: => worksforme Comment: I cannot reproduce this with current head; please check the test case that I added, I might have misunderstood your steps to reproduce: [source:testsuite/tests/driver/recomp013] -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8247#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8247: Dependency tracking (--make) broken for re-exported modules -------------------------------------+------------------------------------ Reporter: heisenbug | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: recomp013 | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by nomeata): * status: closed => new * resolution: worksforme => Comment: Others can reproduce it (http://www.haskell.org/pipermail/ghc- devs/2013-September/002582.html), so this needs investigation. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8247#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8247: Dependency tracking (--make) broken for re-exported modules -------------------------------------+------------------------------------ Reporter: heisenbug | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: recomp013 | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by simonmar): I don't see a bug here. The test succeeds, although it needs an extra `sleep 1` for systems with low resolution file timestamps (that is very likely the case in Simon PJ's failure linked above). @heisenbug: please could you try again to reproduce it and update the instructions if necessary? In the meantime let's add the `sleep 1` and then close the ticket. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8247#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8247: Dependency tracking (--make) broken for re-exported modules -------------------------------------+------------------------------------ Reporter: heisenbug | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: recomp013 | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by simonmar): I just added a `sleep 1` to make the test more reliable. Please re-open if you still have problems. see testsuite/b831fb94517d52681954d829c9289a8eb506b5d5 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8247#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#8247: Dependency tracking (--make) broken for re-exported modules -------------------------------------+------------------------------------ Reporter: heisenbug | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: recomp013 | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by simonmar): * status: new => closed * resolution: => fixed * milestone: => 7.8.1 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8247#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC