#7495: generalizing overloaded list syntax to Sized Lists, HLists, HRecords, etc -------------------------------------+------------------------------------- Reporter: nwf | Owner: carter Type: feature request | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #9883 | Blocking: 9883 | Differential Revisions: -------------------------------------+------------------------------------- Comment (by simonpj): I like comment:11. Do start a wiki page to describe the design. Issues you don't cover yet * Pattern matching * What about `[a,b..c]` and friends? * One could add this as a different and incompatible extension to the existing `OverloadedLists`, but it would be better to get the best of both worlds. Can we? What can the existing `OverloadedLists` do that the new design cannot? There are probably more issues. A wiki page is a good place to put the current best-effort design; while the ticket is a good place to discuss it. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/7495#comment:14 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler