#9223: Type equality makes type variable untouchable -------------------------------------+------------------------------------- Reporter: Feuerbach | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 (Type checker) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by simonpj): @porges: Yes, the two types should be equivalent. GHC HEAD (and 7.10) should be better in this regard. Can you try your example with that? @goldire: you may be right. But even if you are, there's a balance between trying to make type inference as clever as possible and making it so unpredictable that no one knows whether it'll work or not. But I'm open to suggetions. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9223#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler