Changes between Version 6 and Version 7 of Status


Ignore:
Timestamp:
Mar 25, 2008 8:57:05 PM (7 years ago)
Author:
trac
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status

    v6 v7  
    88|| add ExistentialQuantification (existential components) || #26 || syntax of existentials
    99|| add PolymorphicComponents || #57 || Draft available
    10 || || || || dependency on Rank2Types or RankNTypes
     10|| || || dependency on Rank2Types or RankNTypes
    1111|| add [wiki:RankNTypes] or [wiki:Rank2Types] || #60 || RankN or Rank2?
    1212|| add multi-parameter type classes (MultiParamTypeClasses) || #49 || see MultiParamTypeClassesDilemma
     
    2323|| KindAnnotations || #84 ||
    2424|| improve [wiki:Defaulting] rules || #21 || scope of default clauses
    25 || || || || impact on existing defaults
     25|| || || impact on existing defaults
    2626|| generalized deriving for newtype (NewtypeDeriving) || #52 || specification that does not use the term "the same representation"
    27 || || || || overlap with TypeSynonymInstances
     27|| || || overlap with TypeSynonymInstances
    2828|| ScopedTypeVariables || #67 #81 || specification of syntax that binds type variables
    2929|| BangPatterns || #76 || top-level bang patterns
    30 || || || || interaction with ! as an operator
    31 || || || || bang-pattern polymorphism
    32 || || || || existentials and bang patterns
     30|| || || interaction with ! as an operator
     31|| || || bang-pattern polymorphism
     32|| || || existentials and bang patterns
    3333|| make [wiki:Underscore] caseless || #72 || treatment of underscore-only identifiers
    3434|| add NewPragmas || #51 || choose specific pragmas to standardize
    3535|| FlexibleInstances || #32 || choice of instance conditions for termination of typechecking
    36 || || || || poor interaction with NewtypeDeriving?
     36|| || || poor interaction with NewtypeDeriving?
    3737|| fix the lexical syntax for QualifiedIdentifiers || #39 || permit qualified identifiers in definitions?
    3838|| NondecreasingIndentation || #53 ||
    3939|| RelaxedDependencyAnalysis || #65 ||
    4040|| allow TypeSynonymInstances || #70 || superseded by NewtypeDeriving?
    41 || || || || Not very useful without FlexibleInstances and/or OverlappingInstances
     41|| || || Not very useful without FlexibleInstances and/or OverlappingInstances
    4242=== Undecided Proposals ===
    4343|| MonomorphicPatternBindings || #103 ||
     
    9292|| add [wiki:RankNTypes] or [wiki:Rank2Types] || #60 || RankN or Rank2?
    9393|| add PolymorphicComponents || #57 || Draft available
    94 || || || || dependency on Rank2Types or RankNTypes
     94|| || || dependency on Rank2Types or RankNTypes
    9595|| add ExistentialQuantification (existential components) || #26 || syntax of existentials
    9696|| add HierarchicalModules || #24 || See addendum
     
    101101|| DoAndIfThenElse for case-statements too? ||  ||
    102102|| allow TypeSynonymInstances || #70 || superseded by NewtypeDeriving?
    103 || || || || Not very useful without FlexibleInstances and/or OverlappingInstances
     103|| || || Not very useful without FlexibleInstances and/or OverlappingInstances
    104104|| RelaxedDependencyAnalysis || #65 ||
    105105|| NondecreasingIndentation || #53 ||
    106106|| fix the lexical syntax for QualifiedIdentifiers || #39 || permit qualified identifiers in definitions?
    107107|| FlexibleInstances || #32 || choice of instance conditions for termination of typechecking
    108 || || || || poor interaction with NewtypeDeriving?
     108|| || || poor interaction with NewtypeDeriving?
    109109|| add NewPragmas || #51 || choose specific pragmas to standardize
    110110|| make [wiki:Underscore] caseless || #72 || treatment of underscore-only identifiers
    111111|| BangPatterns || #76 || top-level bang patterns
    112 || || || || interaction with ! as an operator
    113 || || || || bang-pattern polymorphism
    114 || || || || existentials and bang patterns
     112|| || || interaction with ! as an operator
     113|| || || bang-pattern polymorphism
     114|| || || existentials and bang patterns
    115115|| ScopedTypeVariables || #67 #81 || specification of syntax that binds type variables
    116116|| generalized deriving for newtype (NewtypeDeriving) || #52 || specification that does not use the term "the same representation"
    117 || || || || overlap with TypeSynonymInstances
     117|| || || overlap with TypeSynonymInstances
    118118|| improve [wiki:Defaulting] rules || #21 || scope of default clauses
    119 || || || || impact on existing defaults
     119|| || || impact on existing defaults
    120120|| KindAnnotations || #84 ||
    121121|| MonomorphicPatternBindings || #10 #3 || treatment of pattern bindings with explicit type signatures