#5609: Type checking arrow notation in the presence of deferred constraints --------------------------------------+------------------------------------- Reporter: dreixel | Owner: ross Type: bug | Status: closed Priority: low | Milestone: 7.6.2 Component: Compiler (Type checker) | Version: 7.3 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: --------------------------------------+------------------------------------- Changes (by simonpj): * status: new => closed * difficulty: => Unknown * resolution: => fixed Comment: Right this is fixed. We don't really have a test-case that exercises the snazzy capabilities, but it all looks right now, and existing regression tests pass. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5609#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler