Changes between Version 1 and Version 2 of Status


Ignore:
Timestamp:
Mar 24, 2008 11:19:28 PM (6 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 ||