#12618: Add saturated constructor applications to Core -------------------------------------+------------------------------------- Reporter: simonpj | Owner: nomeata Type: feature request | 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: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): I did a full implementation of System IF some years ago, and concluded (like you) that the pain is not worth the gain. Your point that the type checker is building these very big types in the nested-tuple case is an excellent one. I don't have any brilliant ideas, I'm afraid. But this is an excellent data point. Is Phab a good place to keep the patch long-term, or would it be best pushed into the GHC repo? Good work, even if disappointing! Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12618#comment:37 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler