#8450: can't match type Bool with (), but shouldn't have to -------------------------------------+------------------------------------ Reporter: dmwit | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by carter): I hit this problem or something very very close to it, earlier this week. Though in my case it was for type correct code that i had to hoist out as a top level definition to type check.. I'll see if i can repro it in a smaller example. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8450#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler