Changes between Version 46 and Version 47 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 16, 2006 4:53:19 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v46 v47  
    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. 
    1211 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.) 
    1312 2. Parse and rename equality constraints in signatures. 
     
    1716 * Parsing and renaming of kind signatures (toplevel and in classes). 
    1817 * Parsing and renaming of indexed types declarations (toplevel and in classes). 
    19  
     18 * Using new syntax with `family` and `instance` on top level. 
    2019 
    2120== Type Checking ==