Changes between Version 10 and Version 11 of Status


Ignore:
Timestamp:
Mar 27, 2008 5:09:21 PM (6 years ago)
Author:
trac
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status

    v10 v11  
    1818|| fix comment syntax grammar (LineCommentSyntax) || #42 ||  
    1919=== Rejected Proposals === 
     20|| Class aliases || #101 ||  
     21|| add closed classes || #18 ||  
     22|| add implicit parameters || #38 ||  
     23|| allow tuple sections || #69 ||  
     24|| add MultiWayIf || #77 ||  
    2025|| add Linear implicit params || #43 ||  
     26|| add views || #73 ||  
     27|| control export and import of class instances || #19 ||  
     28|| Allow import declarations anywhere at the top level || #82 ||  
     29|| Replace named fields with an extensible record system || #100 ||  
     30|| Move existing named field (record) system to an addendum || #99 ||  
     31|| Require explicit quantification on all expression bound type signatures || #28 ||  
     32|| add LambdaCase || #41 ||  
     33|| add MagicUnderscore || #44 ||  
     34|| allow data constructors to be exported and imported readonly || #62 ||  
     35|| add PartialTypeAnnotations || #86 ||  
    2136|| add [wiki:Arrows] || #13 ||  
    2237|| ImpreciseExceptions || #39 ||  
     
    4358|| || || Not very useful without FlexibleInstances and/or OverlappingInstances 
    4459=== Undecided Proposals === 
     60|| Remove class context on data definitions ||  || see RemovalCandidates 
     61|| Remove ~ patterns ||  || see RemovalCandidates 
     62|| Remove n+k patterns () ||  || see RemovalCandidates 
     63|| namespace cleanup: TagExportsWithNamespace, ModuleSystem ||  ||  
    4564|| MonomorphicPatternBindings || #103 ||  
    46 || Class aliases || #101 ||  
    47 || add closed classes || #18 ||  
    4865|| add Associated Types || #14 ||  
    49 || add implicit parameters || #38 ||  
    50 || allow tuple sections || #69 ||  
    51 || add MultiWayIf || #77 ||  
    5266|| add FunctionalDependencies || #36 ||  
    5367|| add overlapping or incoherent instances || #54 ||  
    5468|| Allow Undecidable Instances || #71 ||  
    55 || add views || #73 ||  
    5669|| add GADTs || #37 ||  
    5770|| add recursive do syntax || #64 ||  
    5871|| Eliminate tabs || #68 ||  
    5972|| relax restriction on signatures of class methods || #17 ||  
    60 || control export and import of class instances || #19 ||  
    6173|| unified and extensible annotations || #88 ||  
    62 || Allow import declarations anywhere at the top level || #82 ||  
    63 || Reform the monomorphism restriction || #80 ||  
    64 || Replace named fields with an extensible record system || #100 ||  
    65 || Move existing named field (record) system to an addendum || #99 ||  
     74|| Reform the MonomorphismRestriction || #80 ||  
    6675|| add First Class Labels || #92 ||  
    67 || Require explicit quantification on all expression bound type signatures || #28 ||  
    6876|| add Blockable || #33 ||  
    6977|| add ForeignData || #34 ||  
    70 || add LambdaCase || #41 ||  
    71 || add MagicUnderscore || #44 ||  
    7278|| clarify module system proposals || #48 ||  
    7379|| get rid of unary '-' operator || #50 ||  
    7480|| add Parallel List comprehensions || #55 ||  
    75 || prelude re-organisation proposal || #58 ||  
    76 || allow data constructors to be exported and imported readonly || #62 ||  
    77 || add PartialTypeAnnotations || #86 ||  
     81|| [wiki:Prelude] re-organisation proposal || #58 ||  
    7882|| improve module interfaces || #95 ||  
    7983|| Replace the array indexing operator, '!' || #96 ||  
     
    8185|| Eliminate . as an operator || #20 ||  
    8286|| Make underscore 'caseless' || #72 ||  
    83 || Natural numbers || #79 ||  
     87|| [wiki:Natural] numbers || #79 || [http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000529.html] 
    8488|| add Flexible Contexts || #31 ||  
    8589|| add a binary IO interface || #15 ||  
     
    130134|| add a binary IO interface || #15 ||  
    131135|| add Flexible Contexts || #31 ||  
    132 || Natural numbers || #79 ||  
     136|| [wiki:Natural] numbers || #79 || [http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000529.html] 
    133137|| Make underscore 'caseless' || #72 ||  
    134138|| Eliminate . as an operator || #20 ||  
     
    138142|| add PartialTypeAnnotations || #86 ||  
    139143|| allow data constructors to be exported and imported readonly || #62 ||  
    140 || prelude re-organisation proposal || #58 ||  
     144|| [wiki:Prelude] re-organisation proposal || #58 ||  
    141145|| add Parallel List comprehensions || #55 ||  
    142146|| get rid of unary '-' operator || #50 ||  
     
    150154|| Move existing named field (record) system to an addendum || #99 ||  
    151155|| Replace named fields with an extensible record system || #100 ||  
    152 || Reform the monomorphism restriction || #80 ||  
     156|| Reform the MonomorphismRestriction || #80 ||  
    153157|| Allow import declarations anywhere at the top level || #82 ||  
    154158|| unified and extensible annotations || #88 ||  
     
    170174|| Class aliases || #101 ||  
    171175|| MonomorphicPatternBindings || #103 ||  
     176|| namespace cleanup: TagExportsWithNamespace, ModuleSystem ||  ||  
     177|| Remove n+k patterns () ||  || see RemovalCandidates 
     178|| Remove ~ patterns ||  || see RemovalCandidates 
     179|| Remove class context on data definitions ||  || see RemovalCandidates