Issues

Organized following the structure of the  Haskell 98 Report.

Lexical Structure

• NondecreasingIndentation

Expressions

• TupleSections
• ParallelListComp
• RecursiveDo
• Arrows
• PatternGuards

Declarations and Bindings

• Overview of Types and Classes
  • FlexibleContexts
• User-Defined Datatypes
  • EmptyDataDecls
  • PolymorphicComponents
  • ExistentialQuantification
  • GADTs
  • NewtypeDeriving
• Type Classes and Overloading
  • ClassMethodTypes
  • TypeSynonymInstances
  • FlexibleInstances or UndecidableInstances
  • MultiParamTypeClasses
  • OverlappingInstances or IncoherentInstances
  • FunctionalDependencies
  • AssociatedTypes
  • Implicit parameters
  • Linear implicit parameters
• Nested Declarations
  • Rank2Types or RankNTypes
  • ScopedTypeVariables
  • ExistingRecords
• Function and Pattern Bindings
  • RelaxedDependencyAnalysis
• Kind Inference

Modules

• HierarchicalModules
• ModuleSystem

Predefined Types and Classes

Basic Input/Output

Standard Prelude

• Shrink the Prelude

Specification of Derived Instances

• DerivedInstances

Compiler Pragmas

• NewPragmas

Libraries

• MinorLibraryChanges
• NewLibraryCandidates
• LibraryVersioning

Addendum

• ForeignFunctionInterface
• ForeignData