|
|
|
|
|
Some designs are under this namespace:
|
|
|
|
|
|
- [Design/BuildSystem](/trac/ghc/wiki/Design/BuildSystem)
|
|
|
- [Design/DeprecationMechanisms](/trac/ghc/wiki/Design/DeprecationMechanisms)
|
|
|
- [Design/DeprecationMechanisms/TypeClassMethods](/trac/ghc/wiki/Design/DeprecationMechanisms/TypeClassMethods)
|
|
|
- [Design/ExpPatFrame](/trac/ghc/wiki/Design/ExpPatFrame)
|
|
|
- [Design/GHCi/Type](/trac/ghc/wiki/Design/GHCi/Type)
|
|
|
- [Design/IntegerGmp2](/trac/ghc/wiki/Design/IntegerGmp2)
|
|
|
- [Design/LocalWarningPragmas](/trac/ghc/wiki/Design/LocalWarningPragmas)
|
|
|
- [Design/MethodDeprecations](/trac/ghc/wiki/Design/MethodDeprecations)
|
|
|
- [Design/MonadFail](/trac/ghc/wiki/Design/MonadFail)
|
|
|
- [Design/NewCoercibleSolver](/trac/ghc/wiki/Design/NewCoercibleSolver)
|
|
|
- [Design/NewCoercibleSolver/V2](/trac/ghc/wiki/Design/NewCoercibleSolver/V2)
|
|
|
- [Design/RedundantConstraints](/trac/ghc/wiki/Design/RedundantConstraints)
|
|
|
- [Design/Redundant_Superclass_Warning_Plan](/trac/ghc/wiki/Design/Redundant_Superclass_Warning_Plan)
|
|
|
- [Design/TemplateHaskellGADTs](/trac/ghc/wiki/Design/TemplateHaskellGADTs)
|
|
|
- [Design/TypeNaming](/trac/ghc/wiki/Design/TypeNaming)
|
|
|
- [Design/TypeRefactor](/trac/ghc/wiki/Design/TypeRefactor)
|
|
|
- [Design/VersionControlSystem](/trac/ghc/wiki/Design/VersionControlSystem)
|
|
|
- [Design/Warnings](/trac/ghc/wiki/Design/Warnings)
|
|
|
- [Design/Warnings/RedundantConstraints](/trac/ghc/wiki/Design/Warnings/RedundantConstraints)
|
|
|
- [Design/Warnings/Wcompat](/trac/ghc/wiki/Design/Warnings/Wcompat)
|
|
|
- [Design/BuildSystem](Design/BuildSystem)
|
|
|
- [Design/DeprecationMechanisms](Design/DeprecationMechanisms)
|
|
|
- [Design/DeprecationMechanisms/TypeClassMethods](Design/DeprecationMechanisms/TypeClassMethods)
|
|
|
- [Design/ExpPatFrame](Design/ExpPatFrame)
|
|
|
- [Design/GHCi/Type](Design/GHCi/Type)
|
|
|
- [Design/IntegerGmp2](Design/IntegerGmp2)
|
|
|
- [Design/LocalWarningPragmas](Design/LocalWarningPragmas)
|
|
|
- [Design/MethodDeprecations](Design/MethodDeprecations)
|
|
|
- [Design/MonadFail](Design/MonadFail)
|
|
|
- [Design/NewCoercibleSolver](Design/NewCoercibleSolver)
|
|
|
- [Design/NewCoercibleSolver/V2](Design/NewCoercibleSolver/V2)
|
|
|
- [Design/RedundantConstraints](Design/RedundantConstraints)
|
|
|
- [Design/Redundant_Superclass_Warning_Plan](Design/Redundant_Superclass_Warning_Plan)
|
|
|
- [Design/TemplateHaskellGADTs](Design/TemplateHaskellGADTs)
|
|
|
- [Design/TypeNaming](Design/TypeNaming)
|
|
|
- [Design/TypeRefactor](Design/TypeRefactor)
|
|
|
- [Design/VersionControlSystem](Design/VersionControlSystem)
|
|
|
- [Design/Warnings](Design/Warnings)
|
|
|
- [Design/Warnings/RedundantConstraints](Design/Warnings/RedundantConstraints)
|
|
|
- [Design/Warnings/Wcompat](Design/Warnings/Wcompat)
|
|
|
|
|
|
|
|
|
See also [Proposal](proposal)s |