[GHC] #8408: Ambiguity in TH reify based on compilation method

GHC ghc-devs
Sat Oct 5 00:10:46 UTC 2013


#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



More information about the ghc-tickets mailing list