#8408: Ambiguity in TH reify based on compilation method ------------------------------------+------------------------------------- Reporter: errge | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- The attached tar.gz contains a simple example where compiling with --make results in a different semantics than compiling all the modules with -c and then linking them together. This is shown by build.sh, so just start by running that. The ambiguity comes from the fact that the compiler is not starting the compilation of modules with a clean slate when using --make. This can be seen in compiler/iface/LoadIface.lhs line 276. I'm not sure if/how we should do anything about this urgently. Just wanted to note down this ambiguity, so we know it's there and can care about fixing it if we want to. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8408 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler