Changes between Version 11 and Version 12 of Status/May12


Ignore:
Timestamp:
May 10, 2012 12:30:03 PM (2 years ago)
Author:
simonmar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/May12

    v11 v12  
    1616Here are the projects we're currently working on: 
    1717 
    18  * '''Kind polymorphism'''.  Simon PJ has been workig hard on completing the implementation of kind polymorphism and data type promotion [3].  This will appear for the first (supported) time in GHC 7.6; please do stress-test the HEAD. 
     18 * '''Kind polymorphism'''.  Simon PJ has been working hard on completing the implementation of kind polymorphism and data type promotion [3].  This will appear for the first (supported) time in GHC 7.6; please do stress-test the HEAD. 
    1919 
    2020 * '''Deferred type errors'''.  Etienne Laurin suggested [16] that GHC could compile and run a program even though it contains type errors.  After all, the bit you want to run might not contain the error, and it's sometimes annoying to have to fix ''every'' type error before you can run ''any'' code.  It turned out that there was a beautifully simple way to fit this idea into GHC's new constraint-based type inference engine, and we have now done so.  It's all explained in "Equality proofs and deferred type errors" [17], and will be in GHC 7.6.