Changes between Version 202 and Version 203 of Commentary


Ignore:
Timestamp:
Jul 23, 2013 11:17:53 AM (20 months ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary

    v202 v203  
    7575   * [wiki:DeferErrorsToRuntime Deferring compilation type errors to runtime (`-fdefer-type-errors`)] 
    7676   * [wiki:Commentary/Compiler/Demand Demand analyser] Notes on the meanings, worker-wrapper splitting of demand signatures and relevant components of the compiler 
     77   * [wiki:NewAxioms New coercion axioms design] 
    7778 
    7879 * Notes on proposed or in progress (but out of tree) GHC compiler features: 
     
    8283   * [wiki:Holes Agda-style holes in terms] which supports writing partial programs. 
    8384   * [wiki:Records Records] 
    84    * [wiki:NewAxioms New coercion axioms design] 
    8585   * [http://haskell.org/haskellwiki/GHC/CouldAndHPCHaskell Cloud Haskell] 
    8686   * [wiki:PackageLanguage A modular package language for Haskell] Scott Kilpatrick and Derek Dreyer are designing a new “package language” for Haskell in the style of the ML module system. 
     
    9999   * [wiki:GhcKinds/KindsWithoutData Syntax for defining kinds that do not arise from datatype promotion] 
    100100   * [wiki:LambdasVsPatternMatching Lambda-Case]: Syntax for full (with branching) pattern matching on arguments of lambda abstractions 
     101   * [wiki:Roles Roles]: Fixing the `-XGeneralizedNewtypeDeriving` bug. 
    101102 
    102103 * Library issues