#2057: inconsistent .hi file error gets ignored
----------------------+-----------------------------------------------------
Reporter: duncan | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.8.2
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Architecture: Unknown
Os: Unknown |
----------------------+-----------------------------------------------------
Changes (by simonmar):
* difficulty: => Unknown
Comment:
I'm not sure that "fixing" this by having the compilation fail is the
right thing to do. GHC in one-shot mode is working on the assumption that
the dependencies of the current module are up-to-date, and it is the
user's responsibility to get that right. Given this assumption, GHC
buries the code that typechecks interface declarations into thunks that
might be evaluated at any time, so to have one of these throw an exception
might lead to any number of strange and hard-to-reproduce problems - we
might be half-way through some IO operation, and who knows what will
happen if we abort.
Arguably you're getting strange and hard-to-reproduce problems anyway, and
it might be better to fail earlier. It just scares me a bit.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2057#comment:1>
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
