#13 |
add Arrows
|
new
|
|
enhancement
|
normal
|
⊥
|
#14 |
add Associated Types
|
new
|
|
enhancement
|
normal
|
⊥
|
#15 |
add a binary IO interface
|
new
|
|
enhancement
|
normal
|
⊥
|
#16 |
Create unicode proposal
|
new
|
|
task
|
normal
|
⊥
|
#28 |
Require explicit quantification on all expression bound type sigatures
|
new
|
|
modification
|
normal
|
⊥
|
#29 |
add ExtensibleExceptions
|
new
|
|
enhancement
|
normal
|
⊥
|
#31 |
add Flexible Contexts
|
new
|
|
enhancement
|
normal
|
⊥
|
#32 |
add FlexibleInstances
|
new
|
|
enhancement
|
normal
|
⊥
|
#33 |
add Blockable
|
new
|
|
enhancement
|
normal
|
⊥
|
#34 |
add ForeignData
|
new
|
|
enhancement
|
normal
|
⊥
|
#36 |
add FunctionalDependencies
|
new
|
|
enhancement
|
normal
|
⊥
|
#37 |
add GADTs
|
new
|
none
|
enhancement
|
normal
|
⊥
|
#38 |
add implicit parameters
|
new
|
|
enhancement
|
normal
|
⊥
|
#39 |
add ImpreciseExceptions
|
new
|
|
enhancement
|
normal
|
⊥
|
#43 |
add Linear implicit params
|
new
|
none
|
enhancement
|
normal
|
⊥
|
#45 |
double check that all MinorFixes are listed as proposals, and minor
|
new
|
|
task
|
normal
|
⊥
|
#48 |
clarify module system proposals
|
new
|
|
task
|
normal
|
⊥
|
#49 |
add multi parameter type classes
|
new
|
|
enhancement
|
normal
|
⊥
|
#50 |
get rid of unary '-' operator
|
new
|
|
removal
|
normal
|
⊥
|
#51 |
add new pragmas
|
new
|
|
enhancement
|
normal
|
⊥
|
#52 |
Generalised deriving for newtype
|
new
|
none
|
modification
|
normal
|
⊥
|
#53 |
Nondecreasing Indentation
|
new
|
|
modification
|
normal
|
⊥
|
#54 |
add overlapping or incoherent instances
|
new
|
none
|
enhancement
|
normal
|
⊥
|
#55 |
add Parallel List comprehensions
|
new
|
|
enhancement
|
normal
|
⊥
|
#57 |
add polymorphic components
|
new
|
|
enhancement
|
normal
|
⊥
|
#59 |
Fix the lexical syntax for qualified identifiers
|
new
|
|
modification
|
normal
|
⊥
|
#60 |
add RankNTypes or Rank2Types
|
new
|
|
enhancement
|
normal
|
⊥
|
#61 |
replace the Read class
|
new
|
|
modification
|
normal
|
⊥
|
#62 |
allow data consructors to be exported and imported readonly
|
new
|
|
modification
|
normal
|
⊥
|
#63 |
"Informal Semantics of Pattern Matching", is a bit vague on matching record patterns.
|
new
|
|
defect
|
normal
|
⊥
|
#64 |
add recursive do syntax
|
new
|
|
enhancement
|
normal
|
⊥
|
#66 |
make sure removal candidates are added as proposals
|
new
|
|
task
|
normal
|
⊥
|
#67 |
add Scoped Type Variables
|
new
|
|
enhancement
|
normal
|
⊥
|
#70 |
allow TypeSynonymInstances
|
new
|
|
enhancement
|
normal
|
⊥
|
#71 |
Allow Undecidable Instances
|
new
|
|
enhancement
|
normal
|
⊥
|
#72 |
Make underscore 'caseless'
|
new
|
|
enhancement
|
normal
|
⊥
|
#73 |
add views
|
new
|
|
enhancement
|
normal
|
⊥
|
#74 |
add some kind of concurrency
|
new
|
|
enhancement
|
normal
|
⊥
|
#78 |
Add infix type constructors
|
new
|
none
|
task
|
normal
|
⊥
|
#80 |
Reform the monomorphism restriction
|
new
|
none
|
defect
|
normal
|
⊥
|
#81 |
scoping of type variables in class instances
|
new
|
none
|
enhancement
|
normal
|
⊥
|
#82 |
Allow import declarations anywhere at the top level
|
new
|
none
|
enhancement
|
normal
|
⊥
|
#84 |
Kind Annotations
|
new
|
none
|
enhancement
|
normal
|
⊥
|
#85 |
more liberal kind inference
|
new
|
|
defect
|
normal
|
⊥
|
#86 |
add PartialTypeAnnotations?
|
new
|
none
|
task
|
normal
|
⊥
|
#87 |
add dictionary definitions to wiki
|
new
|
|
task
|
normal
|
⊥
|
#88 |
unified and extensible annotations
|
new
|
none
|
enhancement
|
normal
|
⊥
|
#89 |
standardize the System.FilePath module for Haskell'
|
new
|
|
enhancement
|
normal
|
⊥
|
#90 |
solve the MultiParamTypeClassDilemma
|
new
|
|
task
|
normal
|
⊥
|
#91 |
Unify various annotation proposals
|
new
|
none
|
task
|
normal
|
⊥
|
#92 |
add First Class Labels
|
new
|
none
|
enhancement
|
normal
|
⊥
|
(more results for this group on next page)
|