Changes between Version 10 and Version 11 of Status


Ignore:
Timestamp:
Mar 27, 2008 5:09:21 PM (7 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