Issues

Organized following the structure of the ​Haskell 98 Report.

Lexical Structure

• UnicodeInHaskellSource
• Eliminate Tabs
• QualifiedIdentifiers
• NondecreasingIndentation
• Caseless Underscore

Expressions

• Errors
  • ImpreciseExceptions
  • MagicUnderscore
• Variables, Constructors, Operators, and Literals
  • NegativeSyntax
• Curried Applications and Lambda Abstractions
• Operator Applications
• Sections
  • TupleSections
  • FlexiblePartialApplication
• Conditionals
  • DoAndIfThenElse
• Lists
• Tuples
• Unit Expressions and Parenthesized Expressions
• Arithmetic Sequences
• List Comprehensions
  • ParallelListComp
  • generalise to monad comprehensions
• Let Expressions
• Case Expressions
  • MultiWayIf
  • LambdaCase
• Do Expressions
  • RecursiveDo
• Datatypes with Field Labels
  • ExistingRecords
  • numerous new record proposals
• Expression Type-Signatures
  • ExplicitQuantification
• Pattern Matching
  • PatternGuards
  • Views
  • BangPatterns
• Other expression forms (new)
  • Arrows

Declarations and Bindings

• Overview of Types and Classes
  • PartialTypeAnnotations
  • FlexibleContexts
  • InfixTypeConstructors
• User-Defined Datatypes
  • ExistingRecords
  • EmptyDataDecls
  • ExistentialTypeSynonyms
  • PolymorphicComponents
  • ExistentialQuantification
  • GADTs
  • NewtypeDeriving
• Type Classes and Overloading
  • Class Declarations
    • ClassMethodTypes
    • MultiParamTypeClasses
    • FunctionalDependencies
    • AssociatedTypes
    • ClosedClasses
  • Instance Declarations
    • TypeSynonymInstances
    • FlexibleInstances or UndecidableInstances
    • OverlappingInstances or IncoherentInstances
  • Ambiguous Types, and Defaults
    • Defaulting
  • Implicit Parameters (new)
    • ImplicitParams
    • LinearImplicitParams
• Nested Declarations
  • Rank2Types or RankNTypes
  • ScopedTypeVariables
• Static Semantics of Function and Pattern Bindings
  • RelaxedDependencyAnalysis
  • MonomorphismRestriction
• Kinds
  • Kind Annotations
  • Kind Inference

Modules

• HierarchicalModules
• ModuleSystem
• ReadonlyConstructors
• AllowImportAnywhere
• TagExportsWithNamespace
• PermitSignaturesInExports

Predefined Types and Classes

• CharAsUnicode
• sized types currently specified in the ForeignFunctionInterface
• Natural numbers
• Issues with standard classes

Basic Input/Output?

• CharAsUnicode
• BinaryIO

Standard Prelude

• Shrink the Prelude

Specification of Derived Instances

• DerivedInstances

Compiler Pragmas

• NewPragmas

Libraries

• MinorLibraryChanges
• NewLibraryCandidates
• LibraryVersioning

Foreign Function Interface

• ForeignFunctionInterface
• ForeignData
• ForeignBlocking