- Haskell' Status Page
-
Issues by Section
- Section: N/A
- Section: Introduction
- Section: Lexical
- Section: Expressions
- Section: Declarations and Bindings
- Section: Modules
- Section: Predefined Types and Classes
- Section: FFI
- Section: Concurrency
- Section: Basic I/O
- Section: Standard Prelude
- Section: Specification of Derived Instances
- Section: Compiler Pragmas
- Section: Syntax Reference
- Section: Libraries
Haskell' Status Page
DO NOT EDIT! This page is automatically generated by http://darcs.haskell.org/haskell-prime-status/status.hs
Complete Proposals
| fix comment syntax grammar (LineCommentSyntax) | #42 | Lexical |
| add PatternGuards | #56 | Expressions |
| DoAndIfThenElse | #23 | Syntax Reference |
Old Proposals (needing owners)
| Change the syntax of QualifiedOperators | Lexical | ||
| Remove upper/lower case distinction | Lexical | ||
| require space around dot as operator | Lexical | See also #20 QualifiedIdentifiers | |
| See also CompositionAsDot | |||
| Eliminate tabs | #68 | Lexical | |
| fix the lexical syntax for QualifiedIdentifiers | #39 | Lexical | permit qualified identifiers in definitions? |
| interaction with CompositionAsDot | |||
| Disambiguate record fields | Expressions | GHC Users Guide | |
| RecordPatternMatching | Expressions | ||
| Overload string literals | Expressions | ||
| Polymorphic record update take II | Expressions | ||
| Open statement | Expressions | ||
| Polymorphic record update | Expressions | ||
| Label-based pattern-matching | Expressions | ||
| updating non-existant record fields | Expressions | ||
| Re-allow record punning | Expressions | ||
| Remove ~ patterns | Expressions | see RemovalCandidates | |
| Remove n+k patterns | Expressions | see RemovalCandidates | |
| add recursive do syntax | #64 | Expressions | |
| get rid of unary '-' operator | #50 | Expressions | |
| BangPatterns | #76 | Expressions | top-level bang patterns |
| interaction with ! as an operator | |||
| bang-pattern polymorphism | |||
| existentials and bang patterns | |||
| interaction with MonomorphicPatternBindings | |||
| remove FixityResolution from the context-free grammar | #30 | Expressions | |
| Allow GADT syntax for data types | Declarations and Bindings | ||
| Instance declarations can use qualified names | Declarations and Bindings | ||
| DerivingInstances | Declarations and Bindings | ||
| LiberalTypeSynonyms | Declarations and Bindings | subsumes TypeSynonymInstances | |
| Standalone Derived Instances | Declarations and Bindings | ||
| Record abstraction tweak | Declarations and Bindings | ||
| First-class record syntax | Declarations and Bindings | ||
| Remove class context on data definitions | Declarations and Bindings | see RemovalCandidates | |
| add closed classes | #18 | Declarations and Bindings | http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000535.html |
| add Associated Types | #14 | Declarations and Bindings | |
| add FunctionalDependencies | #36 | Declarations and Bindings | |
| add overlapping or incoherent instances | #54 | Declarations and Bindings | |
| Allow Undecidable Instances | #71 | Declarations and Bindings | |
| add GADTs | #37 | Declarations and Bindings | |
| relax restriction on signatures of class methods | #17 | Declarations and Bindings | |
| Add monomorphic binding syntax | #80 | Declarations and Bindings | |
| Add a monomorphic binding operator | #80 | Declarations and Bindings | |
| Remove the monomorphism restriction | #80 | Declarations and Bindings | |
| add First Class Labels | #92 | Declarations and Bindings | |
| add Flexible Contexts | #31 | Declarations and Bindings | |
| more liberal kind inference | #85 | Declarations and Bindings | |
| SpecifyPatternBindingSemantics | Declarations and Bindings | ||
| KindAnnotations | #84 | Declarations and Bindings | |
| improve Defaulting rules | #21 | Declarations and Bindings | scope of default clauses |
| impact on existing defaults | |||
| generalized deriving for newtype (NewtypeDeriving) | #52 | Declarations and Bindings | specification that does not use the term "the same representation" |
| overlap with TypeSynonymInstances | |||
| ScopedTypeVariables | #67 #81 | Declarations and Bindings | specification of syntax that binds type variables |
| FlexibleInstances | #32 | Declarations and Bindings | choice of instance conditions for termination of typechecking |
| poor interaction with NewtypeDeriving? | |||
| RelaxedDependencyAnalysis | #65 | Declarations and Bindings | |
| allow TypeSynonymInstances | #70 | Declarations and Bindings | superseded by NewtypeDeriving? |
| Not very useful without FlexibleInstances and/or OverlappingInstances | |||
| add InfixTypeConstructors | #78 | Declarations and Bindings | |
| add EmptyDataDeclarations | #25 | Declarations and Bindings | dependency on KindAnnotations |
| add ExistentialQuantification (existential components) | #26 | Declarations and Bindings | syntax of existentials |
| add PolymorphicComponents | #57 | Declarations and Bindings | Draft available |
| dependency on Rank2Types or RankNTypes | |||
| add RankNTypes or Rank2Types | #60 | Declarations and Bindings | RankN or Rank2? |
| add multi-parameter type classes (MultiParamTypeClasses) | #49 | Declarations and Bindings | see MultiParamTypeClassesDilemma |
| Local declarations shadow imports | Modules | ||
| namespace cleanup: TagExportsWithNamespace ModuleSystem | Modules | ||
| clarify module system proposals | #48 | Modules | |
| improve module interfaces | #95 | Modules | |
| add HierarchicalModules | #24 | Modules | See addendum |
| Natural numbers | #79 | Predefined Types and Classes | http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000529.html |
| add Blockable | #33 | FFI | |
| add ForeignData | #34 | FFI | |
| add ForeignFunctionInterface | #35 | FFI | |
| add Concurrency | #74 | Concurrency | draft text: Concurrency/DraftReportText |
| Make $ left associative, like application | Standard Prelude | ||
| Prelude re-organisation proposal | #58 | Standard Prelude | |
| unified and extensible annotations | #88 | Compiler Pragmas | |
| add NewPragmas | #51 | Compiler Pragmas | choose specific pragmas to standardize |
| Simpler layout specification | Syntax Reference | http://repetae.net/repos/getlaid/ | |
| NondecreasingIndentation | #53 | Syntax Reference | |
| DoAndIfThenElse for case-statements too? | Syntax Reference | ||
| Replace the array indexing operator '!' | #96 | Libraries | |
| replace the Read class | #61 | Libraries | |
| add a binary IO interface | #15 | Libraries | |
| standardize the System.FilePath? module | #89 | Libraries |
Old Proposals (provisionally rejected)
| Replace named fields with an extensible record system | #100 | N/A | |
| Move existing named field (record) system to an addendum | #99 | N/A | |
| Remove string gaps | Lexical | ||
| Eliminate . as an operator | #20 | Lexical | |
| make Underscore caseless | #72 | Lexical | treatment of underscore-only identifiers |
| allow tuple sections | #69 | Expressions | |
| add MultiWayIf | #77 | Expressions | |
| Require explicit quantification on all expression bound type signatures | #28 | Expressions | |
| add LambdaCase | #41 | Expressions | |
| add MagicUnderscore | #44 | Expressions | |
| add Parallel List comprehensions | #55 | Expressions | |
| add Arrows | #13 | Expressions | |
| Class aliases | #101 | Declarations and Bindings | |
| add implicit parameters | #38 | Declarations and Bindings | |
| add Linear implicit params | #43 | Declarations and Bindings | |
| add views | #73 | Declarations and Bindings | |
| MonomorphismRestriction/MonomorphicVariableAndPatternBindings | #80 | Declarations and Bindings | |
| MonomorphismRestriction/Optional | #80 | Declarations and Bindings | |
| add PartialTypeAnnotations | #86 | Declarations and Bindings | |
| MonomorphicPatternBindings | #103 | Declarations and Bindings | treatment of pattern bindings with explicit type signatures |
| control export and import of class instances | #19 | Modules | |
| Allow import declarations anywhere at the top level | #82 | Modules | |
| allow data constructors to be exported and imported readonly | #62 | Modules | |
| ImpreciseExceptions | #39 | Libraries |
Issues by Section
Section: N/A
Section: Introduction
Section: Lexical
| fix comment syntax grammar (LineCommentSyntax) | #42 | complete | |
| Change the syntax of QualifiedOperators | old | ||
| Remove upper/lower case distinction | old | ||
| require space around dot as operator | old | See also #20 QualifiedIdentifiers | |
| See also CompositionAsDot | |||
| Eliminate tabs | #68 | old | |
| fix the lexical syntax for QualifiedIdentifiers | #39 | old | permit qualified identifiers in definitions? |
| interaction with CompositionAsDot |
Section: Expressions
| add PatternGuards | #56 | complete | |
| Disambiguate record fields | old | GHC Users Guide | |
| RecordPatternMatching | old | ||
| Overload string literals | old | ||
| Polymorphic record update take II | old | ||
| Open statement | old | ||
| Polymorphic record update | old | ||
| Label-based pattern-matching | old | ||
| updating non-existant record fields | old | ||
| Re-allow record punning | old | ||
| Remove ~ patterns | old | see RemovalCandidates | |
| Remove n+k patterns | old | see RemovalCandidates | |
| add recursive do syntax | #64 | old | |
| get rid of unary '-' operator | #50 | old | |
| BangPatterns | #76 | old | top-level bang patterns |
| interaction with ! as an operator | |||
| bang-pattern polymorphism | |||
| existentials and bang patterns | |||
| interaction with MonomorphicPatternBindings | |||
| remove FixityResolution from the context-free grammar | #30 | old |
Section: Declarations and Bindings
| Allow GADT syntax for data types | old | ||
| Instance declarations can use qualified names | old | ||
| DerivingInstances | old | ||
| LiberalTypeSynonyms | old | subsumes TypeSynonymInstances | |
| Standalone Derived Instances | old | ||
| Record abstraction tweak | old | ||
| First-class record syntax | old | ||
| Remove class context on data definitions | old | see RemovalCandidates | |
| add closed classes | #18 | old | http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000535.html |
| add Associated Types | #14 | old | |
| add FunctionalDependencies | #36 | old | |
| add overlapping or incoherent instances | #54 | old | |
| Allow Undecidable Instances | #71 | old | |
| add GADTs | #37 | old | |
| relax restriction on signatures of class methods | #17 | old | |
| Add monomorphic binding syntax | #80 | old | |
| Add a monomorphic binding operator | #80 | old | |
| Remove the monomorphism restriction | #80 | old | |
| add First Class Labels | #92 | old | |
| add Flexible Contexts | #31 | old | |
| more liberal kind inference | #85 | old | |
| SpecifyPatternBindingSemantics | old | ||
| KindAnnotations | #84 | old | |
| improve Defaulting rules | #21 | old | scope of default clauses |
| impact on existing defaults | |||
| generalized deriving for newtype (NewtypeDeriving) | #52 | old | specification that does not use the term "the same representation" |
| overlap with TypeSynonymInstances | |||
| ScopedTypeVariables | #67 #81 | old | specification of syntax that binds type variables |
| FlexibleInstances | #32 | old | choice of instance conditions for termination of typechecking |
| poor interaction with NewtypeDeriving? | |||
| RelaxedDependencyAnalysis | #65 | old | |
| allow TypeSynonymInstances | #70 | old | superseded by NewtypeDeriving? |
| Not very useful without FlexibleInstances and/or OverlappingInstances | |||
| add InfixTypeConstructors | #78 | old | |
| add EmptyDataDeclarations | #25 | old | dependency on KindAnnotations |
| add ExistentialQuantification (existential components) | #26 | old | syntax of existentials |
| add PolymorphicComponents | #57 | old | Draft available |
| dependency on Rank2Types or RankNTypes | |||
| add RankNTypes or Rank2Types | #60 | old | RankN or Rank2? |
| add multi-parameter type classes (MultiParamTypeClasses) | #49 | old | see MultiParamTypeClassesDilemma |
Section: Modules
| Local declarations shadow imports | old | ||
| namespace cleanup: TagExportsWithNamespace ModuleSystem | old | ||
| clarify module system proposals | #48 | old | |
| improve module interfaces | #95 | old | |
| add HierarchicalModules | #24 | old | See addendum |
Section: Predefined Types and Classes
| Natural numbers | #79 | old | http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000529.html |
Section: FFI
| add Blockable | #33 | old |
| add ForeignData | #34 | old |
| add ForeignFunctionInterface | #35 | old |
Section: Concurrency
| add Concurrency | #74 | old | draft text: Concurrency/DraftReportText |
Section: Basic I/O
Section: Standard Prelude
| Make $ left associative, like application | old | |
| Prelude re-organisation proposal | #58 | old |
Section: Specification of Derived Instances
Section: Compiler Pragmas
| unified and extensible annotations | #88 | old | |
| add NewPragmas | #51 | old | choose specific pragmas to standardize |
Section: Syntax Reference
| DoAndIfThenElse | #23 | complete | |
| Simpler layout specification | old | http://repetae.net/repos/getlaid/ | |
| NondecreasingIndentation | #53 | old | |
| DoAndIfThenElse for case-statements too? | old |
Section: Libraries
| Replace the array indexing operator '!' | #96 | old |
| replace the Read class | #61 | old |
| add a binary IO interface | #15 | old |
| standardize the System.FilePath? module | #89 | old |
