Changes between Version 472 and Version 473 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 2, 2009 12:34:14 PM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v472 v473  
    11[wiki:TypeFunctions]/Status 
    22 
     3= The new solver infrastructure: Dimitrios and Simon = 
     4 
     5This section collects notes about the new constraint solver (Dec 2009) that we are about to put into GHC. 
     6 
     7 * Don't forget: instance declarations should not mention a type family in the head, just as type instances should not: 
     8{{{ 
     9type instance F (G x) = x    -- Illegal if G is a type function 
     10instance C (G x) where ...   -- Likewise should be illegal 
     11}}} 
     12 
     13--------------------------- 
    314= Type Families: Implementation Status = 
    415