#3823: GHC 6.12 breaks combination of records and mutually recursive modules
----------------------------------------+-----------------------------------
Reporter: mboes | Owner: igloo
Type: merge | Status: closed
Priority: high | Milestone: 6.12.2
Component: Compiler | Version: 6.12.1
Resolution: fixed | Keywords:
Difficulty: | Os: Unknown/Multiple
Testcase: T3823 | Architecture: Unknown/Multiple
Failure: GHC rejects valid program |
----------------------------------------+-----------------------------------
Changes (by igloo):
* status: new => closed
* testcase: => T3823
* resolution: => fixed
Comment:
I've merged this, but the example fails to build (in both HEAD and 6.12)
with this error:
{{{
T3823B.hs:8:6:
Couldn't match expected type `A' against inferred type `Bool'
In the first argument of `y', namely `a'
In the expression: y a
In the definition of `b': b = y a
}}}
which looks correct to me.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3823#comment:4>
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
