Changes between Version 11 and Version 12 of Status


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