Changes between Version 194 and Version 195 of Commentary

Show
Ignore:
Timestamp:
12/08/12 12:25:44 (5 months ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Commentary

    v194 v195  
    7272   * [wiki:DeferErrorsToRuntime Deferring compilation type errors to runtime (`-fwarn-type-errors`)] 
    7373   * [wiki:Commentary/Compiler/Demand Demand analyser] Notes on the meanings, worker-wrapper splitting of demand signatures and relevant components of the compiler 
    74    * [wiki:Commentary/Compiler/TypeNatSolver The solve for type-level naturals] 
    7574 
    7675 * Notes on proposed or in progress (but out of tree) GHC compiler features: 
    … …  
    8483   * [wiki:PatternSynonyms Pattern synonyms] 
    8584   * [wiki:TypeNats Type level naturals] 
     85   * [wiki:Commentary/Compiler/TypeNatSolver The solve for type-level naturals] 
    8686   * [wiki:PolymorphicDynamic Polymorphic Dynamic]: Notes on adding ad-hoc polymorphic dynamic types 
    8787   * [wiki:DefaultSuperclassInstances Proposal to allow classes to give default implementations for their superclasses]