#7495: generalizing overloaded list syntax to Sized Lists, HLists, HRecords, etc -------------------------------------+------------------------------------- Reporter: nwf | Owner: carter Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.6.1 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by carter): * owner: => carter Comment: I've been working on designing a set of classes that subsumes this proposal. the work in progress in the class design can be found https://github.com/cartazio/HetList/blob/master/HetList.hs It doesn't yet have the analogues machinery to support the older `fromList` style instances, but thats easy to add. As part of the dev I'm making sure I can write useful instances for the fancy HList libs that are in the while, like `HList` and `Vinyl` after another week or two of polish, I hope to have a candidate patch with the right desugaring (plus some extra work to support current style instances if possible) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/7495#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler