Changes between Version 472 and Version 473 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 2, 2009 12:34:14 PM (6 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