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