Changes between Version 347 and Version 348 of TypeFunctionsStatus


Ignore:
Timestamp:
Jul 8, 2008 5:00:09 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v347 v348  
    99 
    1010 * Well-formedness of declarations involving families: 
    11   * #2417 (GADT syntax in family instances; at least provide a proper error message and don't panic!) 
     11  * #1968 (GADT syntax in family instances; at least provide a proper error message and don't panic!) 
     12   * Need to check the result types of the data constructors, probably in `checkValidDataCon`. 
     13   * `tcFamInstDecl1` needs to allow family GADT instances. 
    1214  * #2157 (solution: lhs of type instances may not contain partially applied vanilla type synonyms) 
    1315   * Addition to user manual, see [http://www.haskell.org/pipermail/haskell-cafe/2008-March/040989.html] and [http://www.haskell.org/ghc/docs/latest/html/users_guide/data-type-extensions.html#type-synonyms] 
     
    3436   * #714 (feature request: fundeps treated inconsistently in superclasses and type sigs) 
    3537   * #1897: If you infer a type for a function, then should check the function against that sigature, to check that if the user gave that signature, then typechecking would again succeed.  See this thread http://www.haskell.org/pipermail/haskell-cafe/2008-April/041385.html.  #2418 suggests that for higher-kinded TFs, we could use decomposition more aggressively. 
    36   
    37  
    38  * #1769 (deriving typeable for data families) 
     38   * #1769 (deriving typeable for data families) 
    3939 
    4040'''Failing testsuite tests''' 
     
    109109   * We still need to have the name parent map, though. 
    110110   * See email for example. 
    111  0. Allow data family GADT instances #1968: 
    112    * Need to check the result types of the data constructors, probably in `checkValidDataCon`. 
    113    * `tcFamInstDecl1` needs to allow family GADT instances. 
    114111 0. Eliminate code duplication between `tcTyClDecl1` and `tcFamInstDecl1`.  The code for vanilla data/newtype declarations and the code for data/newtype instances has many commonalities. 
    115112 0. Fix everything in the testsuite.