Changes between Version 43 and Version 44 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 15, 2006 11:54:12 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v43 v44  
    99 
    1010Todo (high-level): 
     11 1. We probably don't want to write `family` and `instance` in ATs, as its implied by the context.  However, then, the syntax becomes different between toplevel and in classes, which is also a bit annoying. 
    1112 1. Make the kind specification optional in family declarations.  (How to do the representation in the data/newtype case is not entirely clear, as we use the presence of the kind signature at the moment to identify family declarations.) 
    1213 2. Parse and rename equality constraints in signatures.