Changes between Version 33 and Version 34 of Status


Ignore:
Timestamp:
Apr 15, 2008 6:13:36 PM (7 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? ||  ||