wiki:Status

Version 48 (modified by trac, 5 years ago) (diff)

--

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