| #35 |
add ForeignFunctionInterface |
Proposal |
|
|
enhancement |
chak@cse.unsw.edu.au |
12/16/05 |
| #74 |
add some kind of concurrency |
Proposal |
|
|
enhancement |
simonmar@microsoft.com |
12/16/05 |
| #90 |
solve the MultiParamTypeClassDilemma |
Proposal |
|
|
task |
ijones |
02/10/06 |
| #42 |
fix comment syntax grammar |
Proposal |
|
|
defect |
simonmar@microsoft.com |
12/16/05 |
| #63 |
"Informal Semantics of Pattern Matching", is a bit vague on matching record patterns. |
wiki |
|
|
defect |
simonmar@microsoft.com |
12/16/05 |
| #80 |
Reform the monomorphism restriction |
Proposal |
|
|
defect |
none |
01/30/06 |
| #85 |
more liberal kind inference |
Proposal |
|
|
defect |
ross@soi.city.ac.uk |
02/02/06 |
| #15 |
add a binary IO interface |
Proposal |
|
|
enhancement |
dons@cse.unsw.edu.au |
12/16/05 |
| #24 |
add HierarchicalModules |
Proposal |
|
|
enhancement |
malcolm.wallace@cs.york.ac.uk |
12/16/05 |
| #25 |
add EmptyDataDeclarations |
Proposal |
|
|
enhancement |
simonmar@microsoft.com |
12/16/05 |
| #26 |
add ExistentialQuantification |
Proposal |
|
|
enhancement |
s.j.thompson@kent.ac.uk |
12/16/05 |
| #29 |
add ExtensibleExceptions |
Proposal |
|
|
enhancement |
simonmar@microsoft.com |
12/16/05 |
| #33 |
add Blockable |
Proposal |
|
|
enhancement |
john@repetae.net |
12/16/05 |
| #34 |
add ForeignData |
Proposal |
|
|
enhancement |
john@repetae.net |
12/16/05 |
| #36 |
add FunctionalDependencies |
Proposal |
|
|
enhancement |
ravi@bluespec.com |
12/16/05 |
| #37 |
add GADTs |
Proposal |
|
|
enhancement |
none |
12/16/05 |
| #38 |
add implicit parameters |
Proposal |
|
|
enhancement |
ravi@bluespec.com |
12/16/05 |
| #39 |
add ImpreciseExceptions |
Proposal |
|
|
enhancement |
simonmar@microsoft.com |
12/16/05 |
| #41 |
add LambdaCase |
Proposal |
|
|
enhancement |
none |
12/16/05 |
| #43 |
add Linear implicit params |
Proposal |
|
|
enhancement |
none |
12/16/05 |
| #44 |
add MagicUnderscore |
Proposal |
|
|
enhancement |
john@repetae.net |
12/16/05 |
| #49 |
add multi parameter type classes |
Proposal |
|
|
enhancement |
ravi@bluespec.com |
12/16/05 |
| #54 |
add overlapping or incoherent instances |
Proposal |
|
|
enhancement |
none |
12/16/05 |
| #55 |
add Parallel List comprehensions |
Proposal |
|
|
enhancement |
chak@cse.unsw.edu.au |
12/16/05 |
| #57 |
add polymorphic components |
Proposal |
|
|
enhancement |
ross@soi.city.ac.uk |
12/16/05 |
| #60 |
add RankNTypes or Rank2Types |
Proposal |
|
|
enhancement |
ravi@bluespec.com |
12/16/05 |
| #64 |
add recursive do syntax |
Proposal |
|
|
enhancement |
chak@cse.unsw.edu.au |
12/16/05 |
| #67 |
add Scoped Type Variables |
Proposal |
|
|
enhancement |
sweirich@cis.upenn.edu * |
12/16/05 |
| #69 |
allow tuple sections |
Proposal |
|
|
enhancement |
john@repetae.net |
12/16/05 |
| #70 |
allow TypeSynonymInstances |
Proposal |
|
|
enhancement |
s.j.thompson@kent.ac.uk |
12/16/05 |
| #71 |
Allow Undecidable Instances |
Proposal |
|
|
enhancement |
ravi@bluespec.com |
12/16/05 |
| #73 |
add views |
Proposal |
|
|
enhancement |
malcolm.wallace@cs.york.ac.uk |
12/16/05 |
| #76 |
Bang patterns |
Proposal |
|
|
enhancement |
simonpj@microsoft.com |
01/17/06 |
| #77 |
add MultiWayIf |
Proposal |
|
|
enhancement |
none |
01/25/06 |
| #82 |
Allow import declarations anywhere at the top level |
Proposal |
|
|
enhancement |
none |
01/31/06 |
| #89 |
standardize the System.FilePath module for Haskell' |
Proposal |
|
|
enhancement |
ijones |
02/10/06 |
| #92 |
add First Class Labels |
Proposal |
|
|
enhancement |
none |
02/11/06 |
| #114 |
introduce lambda-match (explicit match failure and fall-through) |
Proposal |
|
|
enhancement |
none |
10/30/06 |
| #23 |
fix common pitfall with the do-notation and if-then-else |
Proposal |
|
|
modification |
nhn@cs.nott.ac.uk |
12/16/05 |
| #28 |
Require explicit quantification on all expression bound type sigatures |
Proposal |
|
|
modification |
sweirich@cis.upenn.edu * |
12/16/05 |
| #30 |
remove operator fixity resolution from the context-free grammar, and specify it separately |
Proposal |
|
|
modification |
simonmar@microsoft.com |
12/16/05 |
| #52 |
Generalised deriving for newtype |
Proposal |
|
|
modification |
none |
12/16/05 |
| #53 |
Nondecreasing Indentation |
Proposal |
|
|
modification |
simonmar@microsoft.com |
12/16/05 |
| #59 |
Fix the lexical syntax for qualified identifiers |
Proposal |
|
|
modification |
simonmar@microsoft.com |
12/16/05 |
| #61 |
replace the Read class |
Proposal |
|
|
modification |
ross@soi.city.ac.uk |
12/16/05 |
| #62 |
allow data consructors to be exported and imported readonly |
Proposal |
|
|
modification |
john@repetae.net |
12/16/05 |
| #65 |
Relax Dependency Analysis |
Proposal |
|
|
modification |
ross@soi.city.ac.uk |
12/16/05 |
| #96 |
Replace the array indexing operator, '!' |
Proposal |
|
|
modification |
simonmar |
03/21/06 |
| #113 |
Joined-Up Classes |
Proposal |
|
|
modification |
none |
09/29/06 |
| #123 |
Fix Ord so Ord Double and Ord Float make sense |
Proposal |
|
|
modification |
none |
03/21/07 |
| #124 |
Do not import the Prelude by default for proper modules |
Proposal |
|
|
modification |
none |
03/25/07 |
| #126 |
Instances of Read on bounded integral types should fail on overflow |
HaskellPrime |
|
|
modification |
ijones |
09/11/07 |
| #20 |
Eliminate . as an operator |
Proposal |
|
|
removal |
simonmar@microsoft.com |
12/16/05 |
| #50 |
get rid of unary '-' operator |
Proposal |
|
|
removal |
john@repetae.net |
12/16/05 |
| #68 |
Eliminate tabs |
Proposal |
|
|
removal |
malcolm.wallace@cs.york.ac.uk |
12/16/05 |
| #21 |
improve defaulting rules |
Proposal |
|
|
task |
malcolm.wallace@cs.york.ac.uk |
12/16/05 |
| #27 |
create proposal(s): tweak the existing records system |
Proposal |
|
|
task |
simonpj@ microsoft.com |
12/16/05 |
| #45 |
double check that all MinorFixes are listed as proposals, and minor |
Proposal |
|
|
task |
ijones |
12/16/05 |
| #47 |
make sure all minor library changes are added as proposals? |
Proposal |
|
|
task |
ijones |
12/16/05 |
| #48 |
clarify module system proposals |
Proposal |
|
|
task |
john@repetae.net |
12/16/05 |
| #58 |
prelude re-organisation proposal |
Proposal |
|
|
task |
malcolm.wallace@cs.york.ac.uk |
12/16/05 |
| #66 |
make sure removal candidates are added as proposals |
Proposal |
|
|
task |
ijones |
12/16/05 |
| #78 |
Add infix type constructors |
Proposal |
|
|
task |
none |
01/25/06 |
| #86 |
add PartialTypeAnnotations? |
Proposal |
|
|
task |
none |
02/02/06 |
| #87 |
add dictionary definitions to wiki |
HaskellPrime |
|
|
task |
flippa |
02/03/06 |
| #91 |
Unify various annotation proposals |
Proposal |
|
|
task |
none |
02/10/06 |
| #95 |
improve module interfaces |
Proposal |
|
|
task |
none |
02/22/06 |
| #99 |
Move existing named field (record) system to an addendum. |
Proposal |
|
|
task |
none |
03/23/06 |
| #100 |
Replace named fields with an extensible record system |
Proposal |
|
|
task |
none |
03/23/06 |
| #102 |
add Liberal Type Synonyms |
Proposal |
|
|
task |
none |
03/28/06 |
| #103 |
Make pattern bindings monomorphic |
Proposal |
|
|
task |
simonpj@microsoft.com |
03/28/06 |
| #106 |
Adding deepSeq/strict to Haskell' beside seq. |
Proposal |
|
|
task |
none |
03/30/06 |
| #110 |
Generalize types of IO actions |
Proposal |
|
|
task |
none |
04/21/06 |
| #112 |
Break unnecessary dependencies between Haskell numeric classes |
Proposal |
|
|
task |
none |
09/20/06 |
| #118 |
Remove libraries from the report (to the greatest extent possible) |
Proposal |
|
|
task |
none |
03/05/07 |
| #125 |
Rename interact to iofilter |
HaskellPrime |
|
|
task |
ijones |
08/02/07 |
| #1 |
define community feedback process |
HaskellPrime |
|
Announcement of Haskell' |
task |
somebody |
11/11/05 |
| #3 |
define criteria for including extensions |
HaskellPrime |
|
Scope Defined |
task |
somebody |
11/11/05 |
| #4 |
define criteria for including libraries |
HaskellPrime |
|
Scope Defined |
task |
somebody |
11/11/05 |
| #5 |
define policy on backward compatibility |
HaskellPrime |
|
Scope Defined |
task |
somebody |
11/11/05 |
| #8 |
brainstorm design space to build concrete information |
HaskellPrime |
|
Scope Defined |
task |
ijones |
11/25/05 |
| #11 |
initiate discussion on refining scope of committee |
HaskellPrime |
|
Scope Defined |
task |
ijones |
12/01/05 |
| #16 |
Create unicode proposal |
Proposal |
|
Scope Defined |
task |
autrijus@gmail.com * |
12/16/05 |
| #105 |
Disambiguate MonadPlus |
Proposal |
|
Scope Defined |
task |
none |
03/29/06 |
| #6 |
release of compilers with HaskellPrime mode |
HaskellPrime |
|
extensions implemented |
task |
somebody |
11/11/05 |
| #7 |
for each extension, fulfill criteria |
HaskellPrime |
|
extensions implemented |
task |
ijones |
11/11/05 |
| #97 |
Collection library interface |
Proposal |
|
libraries implemented |
task |
none |
03/21/06 |
| #104 |
Add Time Library |
Proposal |
|
libraries implemented |
task |
none |
03/29/06 |
| #13 |
add Arrows |
Proposal |
|
|
enhancement |
ross@soi.city.ac.uk |
12/16/05 |
| #14 |
add Associated Types |
Proposal |
|
|
enhancement |
chak@cse.unsw.edu.au |
12/16/05 |
| #18 |
add closed classes |
Proposal |
|
|
enhancement |
chak@cse.unsw.edu.au |
12/16/05 |
| #31 |
add Flexible Contexts |
Proposal |
|
|
enhancement |
ravi@bluespec.com |
12/16/05 |
| #32 |
add FlexibleInstances |
Proposal |
|
|
enhancement |
ravi@bluespec.com |
12/16/05 |
| #51 |
add new pragmas |
Proposal |
|
|
enhancement |
john@repetae.net |
12/16/05 |
| #56 |
add Pattern Guards |
Proposal |
|
|
enhancement |
simonmar@microsoft.com |
12/16/05 |
| #72 |
Make underscore 'caseless' |
Proposal |
|
|
enhancement |
malcolm.wallace@cs.york.ac.uk |
12/16/05 |
| #79 |
Natural numbers |
Proposal |
|
|
enhancement |
malcolm.wallace@cs.york.ac.uk * |
01/27/06 |
| #81 |
scoping of type variables in class instances |
Proposal |
|
|
enhancement |
none |
01/31/06 |
| #84 |
Kind Annotations |
Proposal |
|
|
enhancement |
none |
02/02/06 |
| #88 |
unified and extensible annotations |
Proposal |
|
|
enhancement |
none |
02/08/06 |
| #107 |
Add assertions |
Proposal |
|
|
enhancement |
none |
04/04/06 |
| #117 |
Allow unnamed record fields |
Proposal |
|
|
enhancement |
none |
03/04/07 |
| #17 |
relax restriction on signatures of class methods |
Proposal |
|
|
modification |
chak@cse.unsw.edu.au |
12/16/05 |
| #120 |
Should sum and product be strict? Or have strict variants? |
Proposal |
|
|
modification |
none |
03/11/07 |
