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