| Version 32 (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
Accepted Proposals
| Remove n+k patterns | see RemovalCandidates | |
| ScopedTypeVariables | #67 #81 | specification of syntax that binds type variables |
| RelaxedDependencyAnalysis | #65 | |
| remove FixityResolution from the context-free grammar | #30 | |
| add InfixTypeConstructors | #78 | |
| add EmptyDataDeclarations | #25 | dependency on KindAnnotations |
| add HierarchicalModules | #24 | See addendum |
| add ExistentialQuantification (existential components) | #26 | syntax of existentials |
| add PolymorphicComponents | #57 | Draft available |
| dependency on Rank2Types or RankNTypes | ||
| add RankNTypes or Rank2Types | #60 | RankN or Rank2? |
| add multi-parameter type classes (MultiParamTypeClasses) | #49 | see MultiParamTypeClassesDilemma |
| add ForeignFunctionInterface | #35 | |
| add Concurrency | #74 | draft text: Concurrency/DraftReportText |
Completed Proposals
| DoAndIfThenElse | #23 |
| add PatternGuards | #56 |
| fix comment syntax grammar (LineCommentSyntax) | #42 |
Rejected Proposals
| Remove string gaps | |
| Class aliases | #101 |
| add implicit parameters | #38 |
| allow tuple sections | #69 |
| add MultiWayIf | #77 |
| add Linear implicit params | #43 |
| add views | #73 |
| control export and import of class instances | #19 |
| Allow import declarations anywhere at the top level | #82 |
| Replace named fields with an extensible record system | #100 |
| Move existing named field (record) system to an addendum | #99 |
| Require explicit quantification on all expression bound type signatures | #28 |
| add LambdaCase | #41 |
| add MagicUnderscore | #44 |
| add Parallel List comprehensions | #55 |
| allow data constructors to be exported and imported readonly | #62 |
| add PartialTypeAnnotations | #86 |
| add Arrows | #13 |
| ImpreciseExceptions | #39 |
Probably Accepted Proposals
| MonomorphicPatternBindings | #103 | treatment of pattern bindings with explicit type signatures |
| KindAnnotations | #84 | |
| improve Defaulting rules | #21 | scope of default clauses |
| impact on existing defaults | ||
| generalized deriving for newtype (NewtypeDeriving) | #52 | specification that does not use the term "the same representation" |
| overlap with TypeSynonymInstances | ||
| BangPatterns | #76 | top-level bang patterns |
| interaction with ! as an operator | ||
| bang-pattern polymorphism | ||
| existentials and bang patterns | ||
| make Underscore caseless | #72 | treatment of underscore-only identifiers |
| add NewPragmas | #51 | choose specific pragmas to standardize |
| FlexibleInstances | #32 | choice of instance conditions for termination of typechecking |
| poor interaction with NewtypeDeriving? | ||
| fix the lexical syntax for QualifiedIdentifiers | #39 | permit qualified identifiers in definitions? |
| NondecreasingIndentation | #53 | |
| allow TypeSynonymInstances | #70 | superseded by NewtypeDeriving? |
| Not very useful without FlexibleInstances and/or OverlappingInstances |
