#822: -keep-tmp-files does not keep all temporary files
--+-
Reporter: [EMAIL PROTECTED] | Owner:
Type: bug | Status: new
Priority: normal
What I really find odd about it is that GHC has a notion of coherences
that it tries to adhere to (and this is great), unless you ask it to
violate coherence. However this specific situation is the only case that
I am aware of where GHC is even incoherent when not positively
instructed to may be so
It's clear that the type checker cannot do better, because in
uuh (Wrap x) (Wrap y) = bar x y
the call to 'bar' can use *only* evidence stored in the Wrap
constructor. Previously GHC gave an error message at this point, but
some collection of users persuaded me that the behaviour below i
#834: bogus gcc option used when compiling ghc-6.4.2
-+--
Reporter: [EMAIL PROTECTED] | Owner:
Type: bug | Status: closed
Priority: normal | Mi