Changes between Version 385 and Version 386 of TypeFunctionsStatus
- Oct 1, 2008 3:56:29 PM (5 years ago)
v385 v386 28 28 29 29 * Misc: 30 * Test `Simple17` (corelint error ) 31 * Improve error messages for loopy equalities: TF tests Simple13 & SkolemOccursLoop 30 * Test `Simple17` (corelint error) 31 * Improve error messages for loopy equalities: TF tests 32 32 * #2291 (panic mixing RULES and type families; rule simplification stumbles over a coercion) 33 33 * #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. … … 43 43 * 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`. 44 44 * Step 2: Desugar FDs into TFs and superclass equalities. 45 45 * ghci command to print normalised type and add [http://article.gmane.org/gmane.comp.lang.haskell.cafe/28799] as a test to the testsuite. 46 46 47 47 '''Debugging of type families:'''