Changes between Version 1 and Version 2 of Status


Ignore:
Timestamp:
Mar 24, 2008 11:19:28 PM (7 years ago)
Author:
trac
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status

    v1 v2  
    1 This is just a link to the [wiki:Status'] page, which is the official status page for Haskell'.
     1== Haskell' Status Page ==
     2DO NOT EDIT!  This page is automatically generated by [http://darcs.haskell.org/haskell-prime-status/status.hs]
     3|| add [wiki:Concurrency] || #74 || accepted || draft text: [wiki:Concurrency/DraftReportText]
     4|| add ForeignFunctionInterface || #35 || accepted ||
     5|| add multi-parameter type classes (MultiParamTypeClasses) || #49 || accepted || see MultiParamTypeClassesDilemma
     6|| add RankNTypes or Rank2Types || #60 || accepted || RankN or Rank2?
     7|| add PolymorphicComponents || #57 || accepted || Draft available
     8|| || || || dependency on Rank2Types or RankNTypes
     9|| add ExistentialQuantification (existential components) || #26 || accepted || syntax of existentials
     10|| add HierarchicalModules || #24 || accepted || See addendum
     11|| add EmptyDataDeclarations || #25 || accepted || dependency on KindAnnotations
     12|| add InfixTypeConstructors || #78 || accepted ||
     13|| remove FixityResolution from the context-free grammar || #30 || accepted ||
     14|| ImpreciseExceptions || #39 || rejected ||
     15|| DoAndIfThenElse for case-statements too? ||  ||  ||
     16|| allow TypeSynonymInstances || #70 || probably-accept || superseded by NewtypeDeriving?
     17|| || || || Not very useful without FlexibleInstances and/or OverlappingInstances
     18|| RelaxedDependencyAnalysis || #65 || probably-accept ||
     19|| NondecreasingIndentation || #53 || probably-accept ||
     20|| fix the lexical syntax for QualifiedIdentifiers || #39 || probably-accept || permit qualified identifiers in definitions?
     21|| FlexibleInstances || #32 || probably-accept || choice of instance conditions for termination of typechecking
     22|| || || || poor interaction with NewtypeDeriving?
     23|| add NewPragmas || #51 || probably-accept || choose specific pragmas to standardize
     24|| make [wiki:Underscore] caseless || #72 || probably-accept || treatment of underscore-only identifiers
     25|| BangPatterns || #76 || probably-accept || top-level bang patterns
     26|| || || || interaction with ! as an operator
     27|| || || || bang-pattern polymorphism
     28|| || || || existentials and bang patterns
     29|| ScopedTypeVariables || #67 #81 || probably-accept || specification of syntax that binds type variables
     30|| generalized deriving for newtype (NewtypeDeriving) || #52 || probably-accept || specification that does not use the term "the same representation"
     31|| || || || overlap with TypeSynonymInstances
     32|| improve [wiki:Defaulting] rules || #21 || probably-accept || scope of default clauses
     33|| || || || impact on existing defaults
     34|| KindAnnotations || #84 || probably-accept ||
     35|| MonomorphicPatternBindings || #10 #3 || probably-accept || treatment of pattern bindings with explicit type signatures
     36|| fix comment syntax grammar (LineCommentSyntax) || #42 || done ||
     37|| add PatternGuards || #56 || done ||
     38|| DoAndIfThenElse || #23 || done ||