Changes between Version 33 and Version 34 of Status

Show
Ignore:
Timestamp:
04/15/08 11:13:36 (5 years ago)
Author:
trac
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Status

    v33 v34  
    33=== Accepted Proposals === 
    44|| Remove n+k patterns ||  || see RemovalCandidates 
     5|| KindAnnotations || #84 ||  
    56|| ScopedTypeVariables || #67 #81 || specification of syntax that binds type variables 
     7|| NondecreasingIndentation || #53 ||  
    68|| RelaxedDependencyAnalysis || #65 ||  
    79|| remove FixityResolution from the context-free grammar || #30 ||  
    … …  
    4143|| make [wiki:Underscore] caseless || #72 || treatment of underscore-only identifiers 
    4244|| ImpreciseExceptions || #39 ||  
    43 === Probably Accepted Proposals === 
    44 || MonomorphicPatternBindings || #103 || treatment of pattern bindings with explicit type signatures 
    45 || KindAnnotations || #84 ||  
    46 || improve [wiki:Defaulting] rules || #21 || scope of default clauses 
    47 || || || impact on existing defaults 
    48 || generalized deriving for newtype (NewtypeDeriving) || #52 || specification that does not use the term "the same representation" 
    49 || || || overlap with TypeSynonymInstances 
    50 || BangPatterns || #76 || top-level bang patterns 
    51 || || || interaction with ! as an operator 
    52 || || || bang-pattern polymorphism 
    53 || || || existentials and bang patterns 
    54 || add NewPragmas || #51 || choose specific pragmas to standardize 
    55 || FlexibleInstances || #32 || choice of instance conditions for termination of typechecking 
    56 || || || poor interaction with NewtypeDeriving? 
    57 || fix the lexical syntax for QualifiedIdentifiers || #39 || permit qualified identifiers in definitions? 
    58 || NondecreasingIndentation || #53 ||  
    59 || allow TypeSynonymInstances || #70 || superseded by NewtypeDeriving? 
    60 || || || Not very useful without FlexibleInstances and/or OverlappingInstances 
    6145=== Undecided Proposals === 
    6246|| [wiki:DerivingInstances] ||  ||  
    … …  
    10690|| standardize the System.FilePath module || #89 ||  
    10791|| more liberal kind inference || #85 ||  
     92|| MonomorphicPatternBindings || #103 || treatment of pattern bindings with explicit type signatures 
     93|| improve [wiki:Defaulting] rules || #21 || scope of default clauses 
     94|| || || impact on existing defaults 
     95|| generalized deriving for newtype (NewtypeDeriving) || #52 || specification that does not use the term "the same representation" 
     96|| || || overlap with TypeSynonymInstances 
     97|| BangPatterns || #76 || top-level bang patterns 
     98|| || || interaction with ! as an operator 
     99|| || || bang-pattern polymorphism 
     100|| || || existentials and bang patterns 
     101|| || || interaction with MonomorphicPatternBindings 
     102|| add NewPragmas || #51 || choose specific pragmas to standardize 
     103|| FlexibleInstances || #32 || choice of instance conditions for termination of typechecking 
     104|| || || poor interaction with NewtypeDeriving? 
     105|| fix the lexical syntax for QualifiedIdentifiers || #39 || permit qualified identifiers in definitions? 
     106|| || || interaction with CompositionAsDot 
     107|| allow TypeSynonymInstances || #70 || superseded by NewtypeDeriving? 
     108|| || || Not very useful without FlexibleInstances and/or OverlappingInstances 
    108109|| DoAndIfThenElse for case-statements too? ||  ||