#11594: closed empty type families fully applied get reduced lazily when in a constraint tuple and fully applied -------------------------------------+------------------------------------- Reporter: carter | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler (Type | Version: 7.10.2 checker) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by goldfire): I'm a bit lost here. Can you give a small example that exhibits some behavior you disagree with and say what it is that's disagreeable? The range of examples above is helpful, but I'm not sure what's the signal and what's the noise. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11594#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler