Changes between Version 184 and Version 185 of TypeFunctionsStatus

Timestamp:

08/30/07 07:52:47 (6 years ago)

Author:

chak

Comment:

--

TypeFunctionsStatus

@@ -4 +4 @@
 
 '''Debugging of type family patch:'''
- 0. Add missing formation checks.
  0. `boxySplitTyConApp` and friends must be able to deal with `orig_ty`s that have outermost type family applications; i.e., they need to try to normalise and possibly have to defer.  They also need to defer on skolems.  Consequently, they also need to return a coercion.  This , in particular, affects the treatment of literal lists, parallel arrays, and tuples in`TcExpr.tcExpr` is fishy.
  0. Fix export list problem (ie, export of data constructors introduced by orphan data instances):
@@ -44 +43 @@
 
 Todo (low-level):
- * Enforce syntactic constraints on type instances needed to ensure the termination of constraint entailment checking.
  * Allow data family GADT instances.
  * Deriving `Typeable` for data families.
@@ -50 +48 @@
 
 Todo (high-level): 
- 1. Type checking of type functions (and hence, associated type synonyms); routines in `TcUnify` that still need to be extended:
+ 1. Type checking of type families; routines in `TcUnify` that still need to be extended:
    * `boxySplitTyConApp`: The second argument (`BoxyRhoType`) can be a synonym family application.  Then, we must produce a wanted coercion and return a `HsWrapper` value that applies that coercion.
    * `boxySplitAppTy`: Basically, the same deal as the previous.
@@ -61 +59 @@
  * Wrapper generation and type checking of pattern matching for indexed data and newtypes.
  * Consistency checking for family instances.
+ * Enforce syntactic constraints on type instances needed to ensure the termination of constraint entailment checking.
 
 == Desugaring ==