| #16 |
Create unicode proposal
|
assigned
|
autrijus@…
|
task
|
--
|
--
|
| #28 |
Require explicit quantification on all expression bound type sigatures
|
assigned
|
sweirich@…
|
modification
|
|
--
|
| #67 |
add Scoped Type Variables
|
assigned
|
sweirich@…
|
enhancement
|
|
--
|
| #79 |
Natural numbers
|
assigned
|
malcolm.wallace@…
|
enhancement
|
|
--
|
| #13 |
add Arrows
|
new
|
ross@…
|
enhancement
|
|
--
|
| #14 |
add Associated Types
|
new
|
chak@…
|
enhancement
|
|
--
|
| #15 |
add a binary IO interface
|
new
|
dons@…
|
enhancement
|
|
--
|
| #17 |
relax restriction on signatures of class methods
|
new
|
chak@…
|
modification
|
|
--
|
| #18 |
add closed classes
|
new
|
chak@…
|
enhancement
|
|
--
|
| #19 |
control export and import of class instances
|
new
|
ijones
|
enhancement
|
--
|
--
|
| #20 |
Eliminate . as an operator
|
new
|
simonmar@…
|
removal
|
|
--
|
| #21 |
improve defaulting rules
|
new
|
malcolm.wallace@…
|
task
|
|
--
|
| #22 |
create DerivedInstances proposal
|
new
|
none
|
task
|
|
--
|
| #23 |
DoAndIfThenElse
|
new
|
simonmar@…
|
modification
|
Haskell 2010
|
Syntax Reference
|
| #24 |
HierarchicalModules
|
new
|
simonmar@…
|
extension
|
Haskell 2010
|
Lexical Syntax
|
| #25 |
EmptyDataDeclarations
|
new
|
sweirich@…
|
extension
|
Haskell 2010
|
Declarations/Bindings
|
| #26 |
add ExistentialQuantification
|
new
|
s.j.thompson@…
|
enhancement
|
|
--
|
| #27 |
create proposal(s): tweak the existing records system
|
new
|
simonpj@…
|
task
|
|
--
|
| #29 |
add ExtensibleExceptions
|
new
|
simonmar@…
|
enhancement
|
|
--
|
| #30 |
FixityResolution
|
new
|
simonmar@…
|
modification
|
Haskell 2010
|
Syntax Reference
|
| #31 |
add Flexible Contexts
|
new
|
ravi@…
|
enhancement
|
|
--
|
| #32 |
add FlexibleInstances
|
new
|
ravi@…
|
enhancement
|
|
--
|
| #33 |
add Blockable
|
new
|
john@…
|
enhancement
|
|
--
|
| #34 |
add ForeignData
|
new
|
john@…
|
enhancement
|
|
--
|
| #35 |
ForeignFunctionInterface
|
new
|
chak@…
|
extension
|
Haskell 2010
|
N/A or multiple
|
| #36 |
add FunctionalDependencies
|
new
|
ravi@…
|
enhancement
|
|
--
|
| #37 |
add GADTs
|
new
|
none
|
enhancement
|
|
--
|
| #38 |
add implicit parameters
|
new
|
ravi@…
|
enhancement
|
|
--
|
| #39 |
add ImpreciseExceptions
|
new
|
simonmar@…
|
enhancement
|
|
--
|
| #41 |
add LambdaCase
|
new
|
none
|
enhancement
|
|
--
|
| #42 |
LineCommentSyntax
|
new
|
simonmar@…
|
modification
|
Haskell 2010
|
Lexical Syntax
|
| #43 |
add Linear implicit params
|
new
|
none
|
enhancement
|
|
--
|
| #44 |
add MagicUnderscore
|
new
|
john@…
|
enhancement
|
|
--
|
| #45 |
double check that all MinorFixes are listed as proposals, and minor
|
new
|
ijones
|
task
|
|
--
|
| #47 |
make sure all minor library changes are added as proposals?
|
new
|
ijones
|
task
|
|
--
|
| #48 |
clarify module system proposals
|
new
|
john@…
|
task
|
|
--
|
| #49 |
add multi parameter type classes
|
new
|
ravi@…
|
enhancement
|
|
--
|
| #50 |
get rid of unary '-' operator
|
new
|
john@…
|
removal
|
|
--
|
| #51 |
add new pragmas
|
new
|
john@…
|
enhancement
|
|
--
|
| #52 |
Generalised deriving for newtype
|
new
|
none
|
modification
|
|
--
|
| #53 |
Nondecreasing Indentation
|
new
|
simonmar@…
|
modification
|
|
--
|
| #54 |
add overlapping or incoherent instances
|
new
|
none
|
enhancement
|
|
--
|
| #55 |
add Parallel List comprehensions
|
new
|
chak@…
|
enhancement
|
|
--
|
| #56 |
PatternGuards
|
new
|
simonmar@…
|
enhancement
|
Haskell 2010
|
Declarations/Bindings
|
| #57 |
add polymorphic components
|
new
|
ross@…
|
enhancement
|
|
--
|
| #58 |
prelude re-organisation proposal
|
new
|
malcolm.wallace@…
|
task
|
|
--
|
| #59 |
Fix the lexical syntax for qualified identifiers
|
new
|
simonmar@…
|
modification
|
|
--
|
| #60 |
add RankNTypes or Rank2Types
|
new
|
ravi@…
|
enhancement
|
|
--
|
| #61 |
replace the Read class
|
new
|
ross@…
|
modification
|
|
--
|
| #62 |
allow data consructors to be exported and imported readonly
|
new
|
john@…
|
modification
|
|
--
|
| #63 |
"Informal Semantics of Pattern Matching", is a bit vague on matching record patterns.
|
new
|
simonmar@…
|
defect
|
|
--
|
| #64 |
add recursive do syntax
|
new
|
chak@…
|
enhancement
|
|
--
|
| #65 |
RelaxedDependencyAnalysis
|
new
|
ross@…
|
extension
|
Haskell 2010
|
Declarations/Bindings
|
| #66 |
make sure removal candidates are added as proposals
|
new
|
ijones
|
task
|
|
--
|
| #68 |
Eliminate tabs
|
new
|
malcolm.wallace@…
|
removal
|
|
--
|
| #69 |
allow tuple sections
|
new
|
john@…
|
enhancement
|
|
--
|
| #70 |
allow TypeSynonymInstances
|
new
|
s.j.thompson@…
|
enhancement
|
|
--
|
| #71 |
Allow Undecidable Instances
|
new
|
ravi@…
|
enhancement
|
|
--
|
| #72 |
Make underscore 'caseless'
|
new
|
malcolm.wallace@…
|
enhancement
|
|
--
|
| #73 |
add views
|
new
|
malcolm.wallace@…
|
enhancement
|
|
--
|
| #74 |
add some kind of concurrency
|
new
|
simonmar@…
|
enhancement
|
|
--
|
| #76 |
Bang patterns
|
new
|
simonpj@…
|
enhancement
|
|
--
|
| #77 |
add MultiWayIf
|
new
|
none
|
enhancement
|
|
--
|
| #78 |
Add infix type constructors
|
new
|
none
|
task
|
|
--
|
| #80 |
Reform the monomorphism restriction
|
new
|
none
|
defect
|
|
--
|
| #81 |
scoping of type variables in class instances
|
new
|
none
|
enhancement
|
|
--
|
| #82 |
Allow import declarations anywhere at the top level
|
new
|
none
|
enhancement
|
|
--
|
| #84 |
Kind Annotations
|
new
|
none
|
enhancement
|
|
--
|
| #85 |
more liberal kind inference
|
new
|
ross@…
|
defect
|
|
--
|
| #86 |
add PartialTypeAnnotations?
|
new
|
none
|
task
|
|
--
|
| #87 |
add dictionary definitions to wiki
|
new
|
flippa
|
task
|
|
--
|
| #88 |
unified and extensible annotations
|
new
|
none
|
enhancement
|
|
--
|
| #89 |
standardize the System.FilePath module for Haskell'
|
new
|
ijones
|
enhancement
|
|
--
|
| #90 |
solve the MultiParamTypeClassDilemma
|
new
|
ijones
|
task
|
|
--
|
| #91 |
Unify various annotation proposals
|
new
|
none
|
task
|
|
--
|
| #92 |
add First Class Labels
|
new
|
none
|
enhancement
|
|
--
|
| #94 |
Syntax for specifing language extensions
|
new
|
none
|
task
|
|
--
|
| #95 |
improve module interfaces
|
new
|
none
|
task
|
|
--
|
| #96 |
Replace the array indexing operator, '!'
|
new
|
simonmar
|
modification
|
|
--
|
| #97 |
Collection library interface
|
new
|
none
|
task
|
--
|
--
|
| #98 |
Restricted Data Types Now
|
new
|
none
|
task
|
--
|
--
|
| #99 |
Move existing named field (record) system to an addendum.
|
new
|
none
|
task
|
|
--
|
| #100 |
Replace named fields with an extensible record system
|
new
|
none
|
task
|
|
--
|
| #101 |
Class Aliases
|
new
|
none
|
task
|
|
--
|
| #102 |
add Liberal Type Synonyms
|
new
|
none
|
task
|
|
--
|
| #103 |
Make pattern bindings monomorphic
|
new
|
simonpj@…
|
task
|
|
--
|
| #104 |
Add Time Library
|
new
|
none
|
task
|
--
|
--
|
| #105 |
Disambiguate MonadPlus
|
new
|
none
|
task
|
--
|
--
|
| #106 |
Adding deepSeq/strict to Haskell' beside seq.
|
new
|
none
|
task
|
|
--
|
| #107 |
Add assertions
|
new
|
none
|
enhancement
|
|
--
|
| #108 |
make toEnum and fromEnum take and return Integers
|
new
|
none
|
task
|
|
--
|
| #109 |
split Enum into two typeclasses
|
new
|
none
|
task
|
|
--
|
| #110 |
Generalize types of IO actions
|
new
|
none
|
task
|
|
--
|
| #111 |
remove local fixity declarations
|
new
|
none
|
task
|
|
--
|
| #112 |
Break unnecessary dependencies between Haskell numeric classes
|
new
|
none
|
task
|
|
--
|
| #113 |
Joined-Up Classes
|
new
|
none
|
modification
|
|
--
|
| #114 |
introduce lambda-match (explicit match failure and fall-through)
|
new
|
none
|
enhancement
|
|
--
|
| #115 |
Complex arithmetic misbehaves in boundary cases
|
new
|
ijones
|
task
|
|
--
|
| #116 |
Read Char instance, for [Char], and ['a', 'b'] syntax
|
new
|
none
|
task
|
|
--
|
| #117 |
Allow unnamed record fields
|
new
|
none
|
enhancement
|
|
--
|