#156
|
Contradiction regarding Foreign.C.Types and marshable foreign types
|
|
2010
|
Haskell 201x
|
modification
|
|
new
|
Sep 27, 2015
|
#138
|
PrefixMinusResolution
|
|
|
Haskell 2010
|
modification
|
|
new
|
Jul 13, 2010
|
#44
|
add MagicUnderscore
|
Proposal
|
|
Haskell 201x
|
enhancement
|
|
new
|
Dec 16, 2005
|
#69
|
allow tuple sections
|
Proposal
|
|
Haskell 201x
|
enhancement
|
|
new
|
Dec 17, 2005
|
#76
|
Bang patterns
|
Proposal
|
|
Haskell 201x
|
enhancement
|
|
new
|
Jan 17, 2006
|
#79
|
Natural numbers
|
Proposal
|
|
Haskell 201x
|
enhancement
|
|
new
|
Jan 27, 2006
|
#133
|
ExplicitForall
|
|
|
Haskell 201x
|
extension
|
|
new
|
Jul 27, 2009
|
#148
|
Add BinaryLiterals
|
|
|
Haskell 201x
|
extension
|
|
new
|
Sep 26, 2015
|
#152
|
Add unsigned int to Prelude
|
|
|
Haskell 201x
|
extension
|
|
new
|
Sep 26, 2015
|
#154
|
Add Semigroup & Monoid classes
|
|
|
Haskell 201x
|
extension
|
|
new
|
Sep 26, 2015
|
#145
|
'where' is undocumented
|
|
|
Haskell 201x
|
modification
|
|
new
|
Sep 26, 2015
|
#149
|
Add NumDecimals
|
|
|
Haskell 201x
|
modification
|
|
new
|
Sep 26, 2015
|
#150
|
Remove superclasses from Num
|
|
|
Haskell 201x
|
modification
|
|
new
|
Sep 26, 2015
|
#151
|
Add Foldable/Traversable to Prelude (FTP)
|
|
|
Haskell 201x
|
modification
|
|
new
|
Sep 26, 2015
|
#153
|
BiFunctor family of types
|
|
|
Haskell 201x
|
modification
|
|
new
|
Sep 26, 2015
|
#155
|
Remove return and >> from Monad
|
|
|
Haskell 201x
|
modification
|
|
new
|
Sep 26, 2015
|
#68
|
Eliminate tabs
|
Proposal
|
|
Haskell 201x
|
removal
|
|
new
|
Dec 17, 2005
|
#139
|
NoDatatypeContexts
|
|
|
Haskell 201x
|
removal
|
|
new
|
Jul 18, 2010
|
#144
|
NoImplicitPreludeImport
|
|
|
Haskell 201x
|
removal
|
|
new
|
May 28, 2013
|
#157
|
AMP-corollary: `Alternative`/`MonadPlus`
|
|
|
Haskell 201x
|
removal
|
|
new
|
Oct 23, 2015
|
#63
|
"Informal Semantics of Pattern Matching", is a bit vague on matching record patterns.
|
wiki
|
|
⊥
|
defect
|
|
new
|
Dec 17, 2005
|
#85
|
more liberal kind inference
|
Proposal
|
|
⊥
|
defect
|
|
new
|
Feb 2, 2006
|
#13
|
add Arrows
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 16, 2005
|
#14
|
add Associated Types
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 16, 2005
|
#15
|
add a binary IO interface
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 16, 2005
|
#18
|
add closed classes
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 16, 2005
|
#19
|
control export and import of class instances
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 16, 2005
|
#26
|
add ExistentialQuantification
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 16, 2005
|
#29
|
add ExtensibleExceptions
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 16, 2005
|
#31
|
add Flexible Contexts
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 16, 2005
|
#32
|
add FlexibleInstances
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 16, 2005
|
#33
|
add Blockable
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 16, 2005
|
#34
|
add ForeignData
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 16, 2005
|
#36
|
add FunctionalDependencies
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 16, 2005
|
#38
|
add implicit parameters
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 16, 2005
|
#39
|
add ImpreciseExceptions
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 16, 2005
|
#49
|
add multi parameter type classes
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 16, 2005
|
#51
|
add new pragmas
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 16, 2005
|
#55
|
add Parallel List comprehensions
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 17, 2005
|
#57
|
add polymorphic components
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 17, 2005
|
#60
|
add RankNTypes or Rank2Types
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 17, 2005
|
#64
|
add recursive do syntax
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 17, 2005
|
#67
|
add Scoped Type Variables
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 17, 2005
|
#70
|
allow TypeSynonymInstances
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 17, 2005
|
#71
|
Allow Undecidable Instances
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 17, 2005
|
#72
|
Make underscore 'caseless'
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 17, 2005
|
#73
|
add views
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 17, 2005
|
#74
|
add some kind of concurrency
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Dec 17, 2005
|
#89
|
standardize the System.FilePath module for Haskell'
|
Proposal
|
|
⊥
|
enhancement
|
|
new
|
Feb 10, 2006
|
#17
|
relax restriction on signatures of class methods
|
Proposal
|
|
⊥
|
modification
|
|
new
|
Dec 16, 2005
|
#28
|
Require explicit quantification on all expression bound type sigatures
|
Proposal
|
|
⊥
|
modification
|
|
new
|
Dec 16, 2005
|
#53
|
Nondecreasing Indentation
|
Proposal
|
|
⊥
|
modification
|
|
new
|
Dec 17, 2005
|
#59
|
Fix the lexical syntax for qualified identifiers
|
Proposal
|
|
⊥
|
modification
|
|
new
|
Dec 17, 2005
|
#61
|
replace the Read class
|
Proposal
|
|
⊥
|
modification
|
|
new
|
Dec 17, 2005
|
#62
|
allow data consructors to be exported and imported readonly
|
Proposal
|
|
⊥
|
modification
|
|
new
|
Dec 17, 2005
|
#96
|
Replace the array indexing operator, '!'
|
Proposal
|
|
⊥
|
modification
|
|
new
|
Mar 21, 2006
|
#126
|
Instances of Read on bounded integral types should fail on overflow
|
HaskellPrime
|
|
⊥
|
modification
|
|
new
|
Sep 11, 2007
|
#127
|
QualifiedOperators
|
|
|
⊥
|
modification
|
|
new
|
Jul 8, 2009
|
#129
|
Add Type Directed Name Resolution
|
|
|
⊥
|
modification
|
|
new
|
Jul 16, 2009
|
#20
|
Eliminate . as an operator
|
Proposal
|
|
⊥
|
removal
|
|
new
|
Dec 16, 2005
|
#50
|
get rid of unary '-' operator
|
Proposal
|
|
⊥
|
removal
|
|
new
|
Dec 16, 2005
|
#16
|
Create unicode proposal
|
Proposal
|
|
⊥
|
task
|
|
new
|
Dec 16, 2005
|
#21
|
improve defaulting rules
|
Proposal
|
|
⊥
|
task
|
|
new
|
Dec 16, 2005
|
#27
|
create proposal(s): tweak the existing records system
|
Proposal
|
|
⊥
|
task
|
|
new
|
Dec 16, 2005
|
#45
|
double check that all MinorFixes are listed as proposals, and minor
|
Proposal
|
|
⊥
|
task
|
|
new
|
Dec 16, 2005
|
#47
|
make sure all minor library changes are added as proposals?
|
Proposal
|
|
⊥
|
task
|
|
new
|
Dec 16, 2005
|
#48
|
clarify module system proposals
|
Proposal
|
|
⊥
|
task
|
|
new
|
Dec 16, 2005
|
#58
|
prelude re-organisation proposal
|
Proposal
|
|
⊥
|
task
|
|
new
|
Dec 17, 2005
|
#66
|
make sure removal candidates are added as proposals
|
Proposal
|
|
⊥
|
task
|
|
new
|
Dec 17, 2005
|
#87
|
add dictionary definitions to wiki
|
HaskellPrime
|
|
⊥
|
task
|
|
new
|
Feb 3, 2006
|
#90
|
solve the MultiParamTypeClassDilemma
|
Proposal
|
|
⊥
|
task
|
|
new
|
Feb 11, 2006
|
#103
|
Make pattern bindings monomorphic
|
Proposal
|
|
⊥
|
task
|
|
new
|
Mar 29, 2006
|
#115
|
Complex arithmetic misbehaves in boundary cases
|
HaskellPrime
|
|
⊥
|
task
|
|
new
|
Jan 2, 2007
|
#125
|
Rename interact to iofilter
|
HaskellPrime
|
|
⊥
|
task
|
|
new
|
Aug 2, 2007
|
#158
|
CTime and CClock should be Integral
|
|
2010
|
|
extension
|
|
new
|
Mar 13, 2016
|
#41
|
add LambdaCase
|
Proposal
|
|
Haskell 201x
|
enhancement
|
none
|
new
|
Dec 16, 2005
|
#77
|
add MultiWayIf
|
Proposal
|
|
Haskell 201x
|
enhancement
|
none
|
new
|
Jan 25, 2006
|
#134
|
AlternativeLayoutRule
|
|
|
Haskell 201x
|
modification
|
|
new
|
Dec 9, 2009
|
#135
|
NegateBindsTightly
|
|
|
Haskell 201x
|
modification
|
|
new
|
Feb 24, 2010
|
#136
|
Named field punning for Haskell 2011
|
|
|
Haskell 201x
|
modification
|
|
new
|
Feb 26, 2010
|
#137
|
Named field wild-cards for Haskell 2011
|
|
|
Haskell 201x
|
modification
|
|
new
|
Feb 26, 2010
|
#140
|
Small report fixes
|
|
|
Haskell 201x
|
modification
|
|
new
|
Nov 20, 2010
|
#141
|
Whitespace fixes
|
|
|
Haskell 201x
|
modification
|
|
new
|
Nov 20, 2010
|
#142
|
typos in Haskell definition
|
|
|
Haskell 201x
|
modification
|
|
new
|
Nov 20, 2010
|
#143
|
add an opaque Text type to the language standard
|
|
|
Haskell 201x
|
modification
|
|
new
|
Apr 1, 2012
|
#146
|
Add AMP hierarchy
|
|
|
Haskell 201x
|
modification
|
David Luposchainsky
|
new
|
Sep 26, 2015
|
#147
|
Move Monad.fail into its own MonadFail class
|
|
|
Haskell 201x
|
modification
|
David Luposchainsky
|
new
|
Sep 26, 2015
|
#106
|
Adding deepSeq/strict to Haskell' beside seq.
|
Proposal
|
|
Haskell 201x
|
task
|
none
|
new
|
Mar 30, 2006
|
#80
|
Reform the monomorphism restriction
|
Proposal
|
|
⊥
|
defect
|
none
|
new
|
Jan 30, 2006
|
#37
|
add GADTs
|
Proposal
|
|
⊥
|
enhancement
|
none
|
new
|
Dec 16, 2005
|
#43
|
add Linear implicit params
|
Proposal
|
|
⊥
|
enhancement
|
none
|
new
|
Dec 16, 2005
|
#54
|
add overlapping or incoherent instances
|
Proposal
|
|
⊥
|
enhancement
|
none
|
new
|
Dec 17, 2005
|
#81
|
scoping of type variables in class instances
|
Proposal
|
|
⊥
|
enhancement
|
none
|
new
|
Jan 31, 2006
|
#82
|
Allow import declarations anywhere at the top level
|
Proposal
|
|
⊥
|
enhancement
|
none
|
new
|
Jan 31, 2006
|
#84
|
Kind Annotations
|
Proposal
|
|
⊥
|
enhancement
|
none
|
new
|
Feb 2, 2006
|
#88
|
unified and extensible annotations
|
Proposal
|
|
⊥
|
enhancement
|
none
|
new
|
Feb 8, 2006
|
#92
|
add First Class Labels
|
Proposal
|
|
⊥
|
enhancement
|
none
|
new
|
Feb 11, 2006
|
#107
|
Add assertions
|
Proposal
|
|
⊥
|
enhancement
|
none
|
new
|
Apr 4, 2006
|
#114
|
introduce lambda-match (explicit match failure and fall-through)
|
Proposal
|
|
⊥
|
enhancement
|
none
|
new
|
Oct 30, 2006
|
#117
|
Allow unnamed record fields
|
Proposal
|
|
⊥
|
enhancement
|
none
|
new
|
Mar 4, 2007
|