Changes between Version 8 and Version 9 of OverloadedLists


Ignore:
Timestamp:
Jan 30, 2013 12:02:39 PM (15 months ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • OverloadedLists

    v8 v9  
    7373 
    7474GHC, during the typechecking and desugaring phases, uses whatever is in scope 
    75 with the names of {{{fromList}}} and {{{fromListN}}} (i.e., {{{fromList}}} and 
     75with the names of {{{fromList}}}, {{{toList}}} and {{{fromListN}}} (i.e., {{{fromList}}}, {{{toList}}} and 
    7676{{{fromListN}}} are rebindable). 
    7777 
     
    148148== Defaulting == 
    149149 
    150 Currently, the {{{FromList}}} class is not accompanied with defaulting rules. 
     150Currently, the {{{IsList}}} class is not accompanied with defaulting rules. 
    151151Although feasible, not much thought has gone into how to specify the meaning 
    152152of the default declarations like: {{{default ([a])}}} 
     
    157157improved by handling the lists that are only populated with literals in a 
    158158special way. More specifically, the compiler could allocate such lists 
    159 statically using a compact representation and allow {{{FromList}}} instances 
     159statically using a compact representation and allow {{{IsList}}} instances 
    160160to take advantage of the compact representation. Equipped with this capability 
    161161the {{{OverloadedLists}}} extension will be in a good position to subsume the