#8095: TypeFamilies painfully slow -------------------------------------+------------------------------------- Reporter: MikeIzbicki | Owner: bgamari Type: bug | Status: new Priority: high | Milestone: 8.2.1 Component: Compiler (Type | Version: 7.6.3 checker) | Resolution: | Keywords: TypeFamilies Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: 5321 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by rwbarton): What's the status of discarding coercions during normal compilations? Is it worth separating that idea out into its own ticket? Seems like it would be good for compilation time more generally, not just when computing with type families. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8095#comment:22 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler