#13261: Consider moving Typeable evidence generation wholly back to solver -------------------------------------+------------------------------------- Reporter: bgamari | Owner: (none) Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #12276 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"42ff5d97b486d50b0d10e474f47e86822bb71ace/ghc" 42ff5d97/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="42ff5d97b486d50b0d10e474f47e86822bb71ace" Disable Typeable binding generation for unboxed sums These things are simply too expensive to generate at the moment. More work is needed here; see #13276 and #13261. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13261#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler