#5316: ghc rejects a program at first but will accept it if one insists
----------------------------------------+-----------------------------------
Reporter: jcpetruzza | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.0.4
Resolution: | Keywords:
Testcase: | Blockedby:
Difficulty: | Os: Unknown/Multiple
Blocking: | Architecture: Unknown/Multiple
Failure: GHC rejects valid program |
----------------------------------------+-----------------------------------
Changes (by jcpetruzza):
* status: closed => new
* resolution: duplicate =>
Comment:
My apologies for reopening the ticket, but after going through #2356 I
can't see the duplication. What I am reporting here is that:
1) GHC will reject these modules only if compiled with optimizations on,
as witnessed by:
{{{
$ rm *hi *o
$ ghc --make -c T1 T2
[1 of 2] Compiling T2 ( T2.hs, T2.o )
[2 of 2] Compiling T1 ( T1.hs, T1.o )
$
}}}
2) GHC behaves differently if part of the program was already compiled.
Moreover, #2356 is about a design decision that makes it accept more
programs than the Report mandates, not less.
Since as of #2356 GHC accepts duplicated instances as long as they don't
conflict, I suspect that the real bug here is that the instance defined in
System.Event.Manager shouldn't be in scope at all when compiling T1 (the
first time).
Am I missing something?
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5316#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
