Changes between Version 11 and Version 12 of OverloadedLists


Ignore:
Timestamp:
Mar 8, 2013 1:24:36 PM (14 months ago)
Author:
duairc
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • OverloadedLists

    v11 v12  
    156156http://www.mail-archive.com/haskell-cafe@haskell.org/msg101412.html 
    157157}}} 
     158 
     159== Heterogeneous Lists == 
     160 
     161The overloaded lists extension as, implemented above, would not be able to be used on heterogeneous lists, for example, as implemented below: 
     162 
     163{{{ 
     164 
     165data HList :: [*] -> * where 
     166    HNil :: HList '[] 
     167    HCons :: a -> HList xs -> HList (a ': xs) 
     168 
     169}}} 
     170 
     171This is a bit disappointing. However, I'm not really sure how you could make this extension.