Changes between Version 353 and Version 354 of TypeFunctionsStatus


Ignore:
Timestamp:
Jul 8, 2008 7:15:05 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v353 v354  
    1313   * `tcFamInstDecl1` needs to allow family GADT instances. 
    1414  * #2157 (solution: lhs of type instances may not contain partially applied vanilla type synonyms) 
     15  * Allow repeated variable occurrences in lhses of type instances (see paper). 
    1516  * Check that the restrictions on equality constraints in instance and class contexts are enforced.  We should have tests for that in the testsuite.  Document the exact restrictions on the Haskell wiki tutorial page. 
    1617  * Test`Simple8`: 
     
    2122 
    2223 * Solving of equalities (`TcTyFuns`): 
    23   * #2219, #2235 & #1775 (bogus occurs check failure - in both bugs, the loop is through a TF) 
     24  * #2219, #2235, #1775 & test `GADT1` (bogus occurs check failure - in both bugs, the loop is through a TF) 
    2425  * #2202 (Uses `a ~ MeshVertex a b` in `normaliseWantedDicts` w/o the occurs check kicking in; also occurs in 6.8.2 and the program doesn't mention TFs, so need to merge): 
    2526    * Should `eqInstToRewrite` already check for and return whether the equality is cyclic in a bad way (i.e., without intervening tyfam)?  (Would that be less efficient?)  In any case, document the invariants. 
     
    5657 * #2101 
    5758 * Total families 
    58  * Allow repeated variable occurrences in lhses of type instances (see paper). 
     59 * Test `DerivingNewType` 
    5960 * Implementing FDs by TFs: 
    6061   * Step 1: Replace the existing improvement machinery for FDs by code that generates explicit equalities from the two FD rules.  Then, all improvement is by normalisation of equalities, which hopefully allows us to simplify `TcSimplify.reduceContext`. 
     
    8586      * Error message of `tcfail167` should include "Inaccessible case alternative: Can't match types `Char' and `Float'" again 
    8687    * Handling of cases expression scrutinising GADTs:  
     88      * See also test `GADT7` 
    8789      * Remove the dodgy rigidity test that is in `tcConPat` right now. 
    8890      * implement proposal where we infer a rigidity flag for case scutinees and pass that down when type checking the patterns,