id summary status owner type milestone state 128 LanguagePragma new ravi@bluespec.com extension Haskell 2010 accepted 25 EmptyDataDeclarations new sweirich@cis.upenn.edu extension Haskell 2010 accepted 56 PatternGuards new simonmar@microsoft.com enhancement Haskell 2010 accepted 65 RelaxedDependencyAnalysis new ross@soi.city.ac.uk extension Haskell 2010 accepted 131 NoMonomorphismRestriction new removal complete 133 ExplicitForall new igloo, NiklasBroberg extension Haskell 2011 complete 139 NoDatatypeContexts new igloo removal Haskell 2011 complete 141 Whitespace fixes new modification Haskell 2011 complete 138 PrefixMinusResolution new maeder modification Haskell 2010 discussion 140 Small report fixes new modification Haskell 2011 complete 24 HierarchicalModules new simonmar@microsoft.com extension Haskell 2010 accepted 42 LineCommentSyntax new simonmar@microsoft.com modification Haskell 2010 accepted 127 QualifiedOperators new simonmar@microsoft.com modification complete 134 AlternativeLayoutRule new modification Haskell 2011 discussion 129 Add Type Directed Name Resolution new simonpj modification discussion 35 ForeignFunctionInterface new chak@cse.unsw.edu.au extension Haskell 2010 accepted 135 NegateBindsTightly new modification Haskell 2011 discussion 136 Named field punning for Haskell 2011 new modification Haskell 2011 discussion 137 Named field wild-cards for Haskell 2011 new modification Haskell 2011 discussion 142 typos in Haskell definition new modification Haskell 2011 complete 143 add an opaque Text type to the language standard new modification Haskell 2011 discussion 23 DoAndIfThenElse new simonmar@microsoft.com modification Haskell 2010 accepted 30 FixityResolution new simonmar@microsoft.com modification Haskell 2010 accepted 16 Create unicode proposal assigned autrijus@gmail.com task -- -- 28 Require explicit quantification on all expression bound type sigatures assigned sweirich@cis.upenn.edu modification -- 67 add Scoped Type Variables assigned sweirich@cis.upenn.edu enhancement -- 79 Natural numbers assigned malcolm.wallace@cs.york.ac.uk enhancement -- 13 add Arrows new ross@soi.city.ac.uk enhancement -- 14 add Associated Types new chak@cse.unsw.edu.au enhancement -- 15 add a binary IO interface new dons@cse.unsw.edu.au enhancement -- 17 relax restriction on signatures of class methods new chak@cse.unsw.edu.au modification -- 18 add closed classes new chak@cse.unsw.edu.au enhancement -- 19 control export and import of class instances new ijones enhancement -- -- 20 Eliminate . as an operator new simonmar@microsoft.com removal -- 21 improve defaulting rules new malcolm.wallace@cs.york.ac.uk task -- 22 create DerivedInstances proposal new none task -- 26 add ExistentialQuantification new s.j.thompson@kent.ac.uk enhancement -- 27 create proposal(s): tweak the existing records system new simonpj@ microsoft.com task -- 29 add ExtensibleExceptions new simonmar@microsoft.com enhancement -- 31 add Flexible Contexts new ravi@bluespec.com enhancement -- 32 add FlexibleInstances new ravi@bluespec.com enhancement -- 33 add Blockable new john@repetae.net enhancement -- 34 add ForeignData new john@repetae.net enhancement -- 36 add FunctionalDependencies new ravi@bluespec.com enhancement -- 37 add GADTs new none enhancement -- 38 add implicit parameters new ravi@bluespec.com enhancement -- 39 add ImpreciseExceptions new simonmar@microsoft.com enhancement -- 41 add LambdaCase new none enhancement -- 43 add Linear implicit params new none enhancement -- 44 add MagicUnderscore new john@repetae.net 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@repetae.net task -- 49 add multi parameter type classes new ravi@bluespec.com enhancement -- 50 get rid of unary '-' operator new john@repetae.net removal -- 51 add new pragmas new john@repetae.net enhancement -- 52 Generalised deriving for newtype new none modification -- 53 Nondecreasing Indentation new simonmar@microsoft.com modification -- 54 add overlapping or incoherent instances new none enhancement -- 55 add Parallel List comprehensions new chak@cse.unsw.edu.au enhancement -- 57 add polymorphic components new ross@soi.city.ac.uk enhancement -- 58 prelude re-organisation proposal new malcolm.wallace@cs.york.ac.uk task -- 59 Fix the lexical syntax for qualified identifiers new simonmar@microsoft.com modification -- 60 add RankNTypes or Rank2Types new ravi@bluespec.com enhancement -- 61 replace the Read class new ross@soi.city.ac.uk modification -- 62 allow data consructors to be exported and imported readonly new john@repetae.net modification -- 63 """Informal Semantics of Pattern Matching"", is a bit vague on matching record patterns." new simonmar@microsoft.com defect -- 64 add recursive do syntax new chak@cse.unsw.edu.au enhancement -- 66 make sure removal candidates are added as proposals new ijones task -- 68 Eliminate tabs new malcolm.wallace@cs.york.ac.uk removal -- 69 allow tuple sections new john@repetae.net enhancement -- 70 allow TypeSynonymInstances new s.j.thompson@kent.ac.uk enhancement -- 71 Allow Undecidable Instances new ravi@bluespec.com enhancement -- 72 Make underscore 'caseless' new malcolm.wallace@cs.york.ac.uk enhancement -- 73 add views new malcolm.wallace@cs.york.ac.uk enhancement -- 74 add some kind of concurrency new simonmar@microsoft.com enhancement -- 76 Bang patterns new simonpj@microsoft.com 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@soi.city.ac.uk 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@microsoft.com 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 -- 118 Remove libraries from the report (to the greatest extent possible) new none task -- 119 splitAt should be strict in its first argument new none task -- 120 Should sum and product be strict? Or have strict variants? new none modification -- 121 ExitCode consistency new none task -- 122 clarify literate script syntax new none task -- 123 Fix Ord so Ord Double and Ord Float make sense new none modification -- 124 Do not import the Prelude by default for proper modules new none modification -- 125 Rename interact to iofilter new ijones task -- 126 Instances of Read on bounded integral types should fail on overflow new ijones modification --