id summary status owner type milestone state 128 LanguagePragma new ravi@bluespec.com extension Haskell 2010 accepted 56 PatternGuards new simonmar@microsoft.com enhancement Haskell 2010 accepted 25 EmptyDataDeclarations new sweirich@cis.upenn.edu extension Haskell 2010 accepted 65 RelaxedDependencyAnalysis new ross@soi.city.ac.uk extension Haskell 2010 accepted 133 ExplicitForall new igloo, NiklasBroberg extension Haskell 2014 complete 141 Whitespace fixes new modification Haskell 2014 complete 131 NoMonomorphismRestriction new removal complete 139 NoDatatypeContexts new igloo removal Haskell 2014 complete 138 PrefixMinusResolution new maeder modification Haskell 2010 discussion 140 Small report fixes new modification Haskell 2014 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 2014 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 2014 discussion 136 Named field punning for Haskell 2011 new modification Haskell 2014 discussion 137 Named field wild-cards for Haskell 2011 new modification Haskell 2014 discussion 142 typos in Haskell definition new modification Haskell 2014 complete 143 add an opaque Text type to the language standard new modification Haskell 2014 discussion 144 NoImplicitPreludeImport new igloo removal Haskell 2014 discussion 23 DoAndIfThenElse new simonmar@microsoft.com modification Haskell 2010 accepted 30 FixityResolution new simonmar@microsoft.com modification Haskell 2010 accepted 63 """Informal Semantics of Pattern Matching"", is a bit vague on matching record patterns." new simonmar@microsoft.com defect -- 80 Reform the monomorphism restriction new none defect -- 85 more liberal kind inference new ross@soi.city.ac.uk defect -- 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 -- 18 add closed classes new chak@cse.unsw.edu.au enhancement -- 19 control export and import of class instances new ijones enhancement -- -- 26 add ExistentialQuantification new s.j.thompson@kent.ac.uk enhancement -- 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 -- 49 add multi parameter type classes new ravi@bluespec.com enhancement -- 51 add new pragmas new john@repetae.net enhancement -- 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 -- 60 add RankNTypes or Rank2Types new ravi@bluespec.com enhancement -- 64 add recursive do syntax new chak@cse.unsw.edu.au enhancement -- 67 add Scoped Type Variables assigned sweirich@cis.upenn.edu enhancement -- 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 -- 79 Natural numbers assigned malcolm.wallace@cs.york.ac.uk enhancement -- 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 -- 88 unified and extensible annotations new none enhancement -- 89 standardize the System.FilePath module for Haskell' new ijones enhancement -- 92 add First Class Labels new none enhancement -- 107 Add assertions new none enhancement -- 114 introduce lambda-match (explicit match failure and fall-through) new none enhancement -- 117 Allow unnamed record fields new none enhancement -- 17 relax restriction on signatures of class methods new chak@cse.unsw.edu.au modification -- 28 Require explicit quantification on all expression bound type sigatures assigned sweirich@cis.upenn.edu modification -- 52 Generalised deriving for newtype new none modification -- 53 Nondecreasing Indentation new simonmar@microsoft.com modification -- 59 Fix the lexical syntax for qualified identifiers new simonmar@microsoft.com modification -- 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 -- 96 Replace the array indexing operator, '!' new simonmar modification -- 113 Joined-Up Classes new none modification -- 120 Should sum and product be strict? Or have strict variants? new none modification -- 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 -- 126 Instances of Read on bounded integral types should fail on overflow new ijones modification -- 20 Eliminate . as an operator new simonmar@microsoft.com removal -- 50 get rid of unary '-' operator new john@repetae.net removal -- 68 Eliminate tabs new malcolm.wallace@cs.york.ac.uk removal -- 16 Create unicode proposal assigned autrijus@gmail.com task -- -- 21 improve defaulting rules new malcolm.wallace@cs.york.ac.uk task -- 22 create DerivedInstances proposal new none task -- 27 create proposal(s): tweak the existing records system new simonpj@ microsoft.com task -- 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 -- 58 prelude re-organisation proposal new malcolm.wallace@cs.york.ac.uk task -- 66 make sure removal candidates are added as proposals new ijones task -- 78 Add infix type constructors new none task -- 86 add PartialTypeAnnotations? new none task -- 87 add dictionary definitions to wiki new flippa task -- 90 solve the MultiParamTypeClassDilemma new ijones task -- 91 Unify various annotation proposals new none task -- 94 Syntax for specifing language extensions new none task -- 95 improve module interfaces new none task -- 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 -- 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 -- 115 Complex arithmetic misbehaves in boundary cases new ijones task -- 116 Read Char instance, for [Char], and ['a', 'b'] syntax new none task -- 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 -- 121 ExitCode consistency new none task -- 122 clarify literate script syntax new none task -- 125 Rename interact to iofilter new ijones task --