| #16 |
Create unicode proposal
|
assigned
|
autrijus@…
|
task
|
--
|
--
|
| #19 |
control export and import of class instances
|
new
|
ijones
|
enhancement
|
--
|
--
|
| #97 |
Collection library interface
|
new
|
none
|
task
|
--
|
--
|
| #98 |
Restricted Data Types Now
|
new
|
none
|
task
|
--
|
--
|
| #104 |
Add Time Library
|
new
|
none
|
task
|
--
|
--
|
| #105 |
Disambiguate MonadPlus
|
new
|
none
|
task
|
--
|
--
|
| #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
|
|
--
|
| #20 |
Eliminate . as an operator
|
new
|
simonmar@…
|
removal
|
|
--
|
| #21 |
improve defaulting rules
|
new
|
malcolm.wallace@…
|
task
|
|
--
|
| #22 |
create DerivedInstances proposal
|
new
|
none
|
task
|
|
--
|
| #26 |
add ExistentialQuantification
|
new
|
s.j.thompson@…
|
enhancement
|
|
--
|
| #27 |
create proposal(s): tweak the existing records system
|
new
|
simonpj@…
|
task
|
|
--
|
| #28 |
Require explicit quantification on all expression bound type sigatures
|
assigned
|
sweirich@…
|
modification
|
|
--
|
| #29 |
add ExtensibleExceptions
|
new
|
simonmar@…
|
enhancement
|
|
--
|
| #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
|
|
--
|
| #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
|
|
--
|
| #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
|
|
--
|
| #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
|
|
--
|
| #66 |
make sure removal candidates are added as proposals
|
new
|
ijones
|
task
|
|
--
|
| #67 |
add Scoped Type Variables
|
assigned
|
sweirich@…
|
enhancement
|
|
--
|
| #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
|
|
--
|
| #79 |
Natural numbers
|
assigned
|
malcolm.wallace@…
|
enhancement
|
|
--
|
| #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
|
|
--
|
| #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
|
|
--
|
|
(more results for this group on next page)
|