Changes between Version 347 and Version 348 of TypeFunctionsStatus


Ignore:
Timestamp:
Jul 8, 2008 5:00:09 AM (7 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.