|
|
|
# Issues
|
|
|
|
|
|
|
|
|
|
|
|
Organized following the structure of the [ Haskell 98 Report](http://www.haskell.org/onlinereport/).
|
|
|
|
|
|
|
|
## Lexical Structure
|
|
|
|
|
|
|
|
- [NondecreasingIndentation](nondecreasing-indentation)
|
|
|
|
|
|
|
|
## Expressions
|
|
|
|
|
|
|
|
- [TupleSections](tuple-sections)
|
|
|
|
- [ParallelListComp](parallel-list-comp)
|
|
|
|
- [RecursiveDo](recursive-do)
|
|
|
|
- [Arrows](arrows)
|
|
|
|
- [PatternGuards](pattern-guards)
|
|
|
|
|
|
|
|
## Declarations and Bindings
|
|
|
|
|
|
|
|
- Overview of Types and Classes
|
|
|
|
|
|
|
|
- [FlexibleContexts](flexible-contexts)
|
|
|
|
- User-Defined Datatypes
|
|
|
|
|
|
|
|
- [EmptyDataDecls](empty-data-decls)
|
|
|
|
- [PolymorphicComponents](polymorphic-components)
|
|
|
|
- [ExistentialQuantification](existential-quantification)
|
|
|
|
- [GADTs](gad-ts)
|
|
|
|
- [NewtypeDeriving](newtype-deriving)
|
|
|
|
- Type Classes and Overloading
|
|
|
|
|
|
|
|
- [ClassMethodTypes](class-method-types)
|
|
|
|
- [TypeSynonymInstances](type-synonym-instances)
|
|
|
|
- [FlexibleInstances](flexible-instances) or [UndecidableInstances](undecidable-instances)
|
|
|
|
- [MultiParamTypeClasses](multi-param-type-classes)
|
|
|
|
- [OverlappingInstances](overlapping-instances) or [IncoherentInstances](incoherent-instances)
|
|
|
|
- [FunctionalDependencies](functional-dependencies)
|
|
|
|
- [AssociatedTypes](associated-types)
|
|
|
|
- [Implicit parameters](implicit-params)
|
|
|
|
- [Linear implicit parameters](linear-implicit-params)
|
|
|
|
- Nested Declarations
|
|
|
|
|
|
|
|
- [Rank2Types](rank2-types) or [RankNTypes](rank-n-types)
|
|
|
|
- [ScopedTypeVariables](scoped-type-variables)
|
|
|
|
- [ExistingRecords](existing-records)
|
|
|
|
- Function and Pattern Bindings
|
|
|
|
|
|
|
|
- [RelaxedDependencyAnalysis](relaxed-dependency-analysis)
|
|
|
|
- [Kind Inference](kind-inference)
|
|
|
|
|
|
|
|
## Modules
|
|
|
|
|
|
|
|
- [HierarchicalModules](hierarchical-modules)
|
|
|
|
- [ModuleSystem](module-system)
|
|
|
|
|
|
|
|
## Predefined Types and Classes
|
|
|
|
|
|
|
|
## Basic Input/Output?
|
|
|
|
|
|
|
|
## Standard Prelude
|
|
|
|
|
|
|
|
- [Shrink the Prelude](prelude)
|
|
|
|
|
|
|
|
## Specification of Derived Instances
|
|
|
|
|
|
|
|
- [DerivedInstances](derived-instances)
|
|
|
|
|
|
|
|
## Compiler Pragmas
|
|
|
|
|
|
|
|
- [NewPragmas](new-pragmas)
|
|
|
|
|
|
|
|
## Libraries
|
|
|
|
|
|
|
|
- [MinorLibraryChanges](minor-library-changes)
|
|
|
|
- [NewLibraryCandidates](new-library-candidates)
|
|
|
|
- [LibraryVersioning](library-versioning)
|
|
|
|
|
|
|
|
## Addendum
|
|
|
|
|
|
|
|
- [ForeignFunctionInterface](foreign-function-interface)
|
|
|
|
- [ForeignData](foreign-data) |
|
|
\ No newline at end of file |
