wiki:Status

Version 40 (modified by trac, 6 years ago) (diff)

--

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 Expressions see RemovalCandidates
remove FixityResolution from the context-free grammar #30 Expressions
KindAnnotations #84 Declarations and Bindings
ScopedTypeVariables #67 #81 Declarations and Bindings specification of syntax that binds type variables
RelaxedDependencyAnalysis #65 Declarations and Bindings
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
add HierarchicalModules #24 Modules See addendum
add ForeignFunctionInterface #35 FFI
add Concurrency #74 Concurrency draft text: Concurrency/DraftReportText
NondecreasingIndentation #53 Syntax Reference

Completed Proposals

fix comment syntax grammar (LineCommentSyntax) #42 Lexical
add PatternGuards #56 Expressions
DoAndIfThenElse #23 Syntax Reference

Rejected Proposals

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
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
add PartialTypeAnnotations #86 Declarations and Bindings
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

Undecided Proposals

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
Eliminate . as an operator #20 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
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
DerivingInstances Declarations and Bindings
Liberalised type synonyms 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
Reform the MonomorphismRestriction #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
MonomorphicPatternBindings #103 Declarations and Bindings treatment of pattern bindings with explicit type signatures
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
FlexibleInstances #32 Declarations and Bindings choice of instance conditions for termination of typechecking
poor interaction with NewtypeDeriving?
allow TypeSynonymInstances #70 Declarations and Bindings superseded by NewtypeDeriving?
Not very useful without FlexibleInstances and/or OverlappingInstances
namespace cleanup: TagExportsWithNamespace ModuleSystem Modules
clarify module system proposals #48 Modules
improve module interfaces #95 Modules
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
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/
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

Issues by Section

Section: N/A

Section: Introduction

Section: Lexical

fix comment syntax grammar (LineCommentSyntax) #42 done
Change the syntax of QualifiedOperators
Remove upper/lower case distinction
require space around dot as operator See also #20 QualifiedIdentifiers
See also CompositionAsDot
Eliminate tabs #68
Eliminate . as an operator #20
fix the lexical syntax for QualifiedIdentifiers #39 permit qualified identifiers in definitions?
interaction with CompositionAsDot

Section: Expressions

Remove n+k patterns accepted see RemovalCandidates
remove FixityResolution from the context-free grammar #30 accepted
add PatternGuards #56 done
Disambiguate record fields GHC Users Guide
RecordPatternMatching
Overload string literals
Polymorphic record update take II
Open statement
Polymorphic record update
Label-based pattern-matching
updating non-existant record fields
Re-allow record punning
Remove ~ patterns see RemovalCandidates
add recursive do syntax #64
get rid of unary '-' operator #50
BangPatterns #76 top-level bang patterns
interaction with ! as an operator
bang-pattern polymorphism
existentials and bang patterns
interaction with MonomorphicPatternBindings

Section: Declarations and Bindings

KindAnnotations #84 accepted
ScopedTypeVariables #67 #81 accepted specification of syntax that binds type variables
RelaxedDependencyAnalysis #65 accepted
add InfixTypeConstructors #78 accepted
add EmptyDataDeclarations #25 accepted dependency on KindAnnotations
add ExistentialQuantification (existential components) #26 accepted syntax of existentials
add PolymorphicComponents #57 accepted Draft available
dependency on Rank2Types or RankNTypes
add RankNTypes or Rank2Types #60 accepted RankN or Rank2?
add multi-parameter type classes (MultiParamTypeClasses) #49 accepted see MultiParamTypeClassesDilemma
DerivingInstances
Liberalised type synonyms subsumes TypeSynonymInstances
Standalone Derived Instances
Record abstraction tweak
First-class record syntax
Remove class context on data definitions see RemovalCandidates
add closed classes #18 http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000535.html
add Associated Types #14
add FunctionalDependencies #36
add overlapping or incoherent instances #54
Allow Undecidable Instances #71
add GADTs #37
relax restriction on signatures of class methods #17
Reform the MonomorphismRestriction #80
add First Class Labels #92
add Flexible Contexts #31
more liberal kind inference #85
MonomorphicPatternBindings #103 treatment of pattern bindings with explicit type signatures
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
FlexibleInstances #32 choice of instance conditions for termination of typechecking
poor interaction with NewtypeDeriving?
allow TypeSynonymInstances #70 superseded by NewtypeDeriving?
Not very useful without FlexibleInstances and/or OverlappingInstances

Section: Modules

add HierarchicalModules #24 accepted See addendum
namespace cleanup: TagExportsWithNamespace ModuleSystem
clarify module system proposals #48
improve module interfaces #95

Section: Predefined Types and Classes

Natural numbers #79 http://www.haskell.org/mailman/private/haskell-prime-private/2008-March/000529.html

Section: FFI

add ForeignFunctionInterface #35 accepted
add Blockable #33
add ForeignData #34

Section: Concurrency

add Concurrency #74 accepted draft text: Concurrency/DraftReportText

Section: Basic I/O

Section: Standard Prelude

Prelude re-organisation proposal #58

Section: Specification of Derived Instances

Section: Compiler Pragmas

unified and extensible annotations #88
add NewPragmas #51 choose specific pragmas to standardize

Section: Syntax Reference

NondecreasingIndentation #53 accepted
DoAndIfThenElse #23 done
Simpler layout specification http://repetae.net/repos/getlaid/
DoAndIfThenElse for case-statements too?

Section: Libraries

Replace the array indexing operator '!' #96
replace the Read class #61
add a binary IO interface #15
standardize the System.FilePath? module #89