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