Changes between Version 11 and Version 12 of Status


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

--

Legend:

Unmodified
Added
Removed
Modified
  • Status

    v11 v12  
    9292|| more liberal kind inference || #85 ||  
    9393|| DoAndIfThenElse for case-statements too? ||  ||  
    94 || add [wiki:Concurrency] || #74 || draft text: [wiki:Concurrency/DraftReportText] 
    95 || add ForeignFunctionInterface || #35 ||  
    96 || add multi-parameter type classes (MultiParamTypeClasses) || #49 || see MultiParamTypeClassesDilemma 
    97 || add [wiki:RankNTypes] or [wiki:Rank2Types] || #60 || RankN or Rank2? 
    98 || add PolymorphicComponents || #57 || Draft available 
    99 || || || dependency on Rank2Types or RankNTypes 
    100 || add ExistentialQuantification (existential components) || #26 || syntax of existentials 
    101 || add HierarchicalModules || #24 || See addendum 
    102 || add EmptyDataDeclarations || #25 || dependency on KindAnnotations 
    103 || add InfixTypeConstructors || #78 ||  
    104 || remove FixityResolution from the context-free grammar || #30 ||  
    105 || ImpreciseExceptions || #39 ||  
    106 || DoAndIfThenElse for case-statements too? ||  ||  
    107 || allow TypeSynonymInstances || #70 || superseded by NewtypeDeriving? 
    108 || || || Not very useful without FlexibleInstances and/or OverlappingInstances 
    109 || RelaxedDependencyAnalysis || #65 ||  
    110 || NondecreasingIndentation || #53 ||  
    111 || fix the lexical syntax for QualifiedIdentifiers || #39 || permit qualified identifiers in definitions? 
    112 || FlexibleInstances || #32 || choice of instance conditions for termination of typechecking 
    113 || || || poor interaction with NewtypeDeriving? 
    114 || add NewPragmas || #51 || choose specific pragmas to standardize 
    115 || make [wiki:Underscore] caseless || #72 || treatment of underscore-only identifiers 
    116 || BangPatterns || #76 || top-level bang patterns 
    117 || || || interaction with ! as an operator 
    118 || || || bang-pattern polymorphism 
    119 || || || existentials and bang patterns 
    120 || ScopedTypeVariables || #67 #81 || specification of syntax that binds type variables 
    121 || generalized deriving for newtype (NewtypeDeriving) || #52 || specification that does not use the term "the same representation" 
    122 || || || overlap with TypeSynonymInstances 
    123 || improve [wiki:Defaulting] rules || #21 || scope of default clauses 
    124 || || || impact on existing defaults 
    125 || KindAnnotations || #84 ||  
    126 || MonomorphicPatternBindings || #3 || treatment of pattern bindings with explicit type signatures 
    127 || add [wiki:Arrows] || #13 ||  
    128 || fix comment syntax grammar (LineCommentSyntax) || #42 ||  
    129 || add PatternGuards || #56 ||  
    130 || DoAndIfThenElse || #23 ||  
    131 || more liberal kind inference || #85 ||  
    132 || standardize the System.FilePath module || #89 ||  
    133 || add EmptyDataDeclarations || #25 ||  
    134 || add a binary IO interface || #15 ||  
    135 || add Flexible Contexts || #31 ||  
    136 || [wiki:Natural] numbers || #79 || [http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000529.html] 
    137 || Make underscore 'caseless' || #72 ||  
    138 || Eliminate . as an operator || #20 ||  
    139 || replace the Read class || #61 ||  
    140 || Replace the array indexing operator, '!' || #96 ||  
    141 || improve module interfaces || #95 ||  
    142 || add PartialTypeAnnotations || #86 ||  
    143 || allow data constructors to be exported and imported readonly || #62 ||  
    144 || [wiki:Prelude] re-organisation proposal || #58 ||  
    145 || add Parallel List comprehensions || #55 ||  
    146 || get rid of unary '-' operator || #50 ||  
    147 || clarify module system proposals || #48 ||  
    148 || add MagicUnderscore || #44 ||  
    149 || add LambdaCase || #41 ||  
    150 || add ForeignData || #34 ||  
    151 || add Blockable || #33 ||  
    152 || Require explicit quantification on all expression bound type signatures || #28 ||  
    153 || add First Class Labels || #92 ||  
    154 || Move existing named field (record) system to an addendum || #99 ||  
    155 || Replace named fields with an extensible record system || #100 ||  
    156 || Reform the MonomorphismRestriction || #80 ||  
    157 || Allow import declarations anywhere at the top level || #82 ||  
    158 || unified and extensible annotations || #88 ||  
    159 || control export and import of class instances || #19 ||  
    160 || relax restriction on signatures of class methods || #17 ||  
    161 || Eliminate tabs || #68 ||  
    162 || add recursive do syntax || #64 ||  
    163 || add GADTs || #37 ||  
    164 || add views || #73 ||  
    165 || Allow Undecidable Instances || #71 ||  
    166 || add overlapping or incoherent instances || #54 ||  
    167 || add Linear implicit params || #43 ||  
    168 || add FunctionalDependencies || #36 ||  
    169 || add MultiWayIf || #77 ||  
    170 || allow tuple sections || #69 ||  
    171 || add implicit parameters || #38 ||  
    172 || add Associated Types || #14 ||  
    173 || add closed classes || #18 ||  
    174 || Class aliases || #101 ||  
    175 || 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