... | ... | @@ -3,7 +3,7 @@ |
|
|
|
|
|
This page summarises several alternative designs for doing kind inference for
|
|
|
types and classes, under `-XPolyKinds`.
|
|
|
Though originally written with respect to [\#9200](https://gitlab.haskell.org//ghc/ghc/issues/9200), there are more issues at play here. Relevant other tickets: [\#9201](https://gitlab.haskell.org//ghc/ghc/issues/9201), [\#9427](https://gitlab.haskell.org//ghc/ghc/issues/9427), [\#14451](https://gitlab.haskell.org//ghc/ghc/issues/14451), [\#14668](https://gitlab.haskell.org//ghc/ghc/issues/14668), [\#14847](https://gitlab.haskell.org//ghc/ghc/issues/14847), [\#15142](https://gitlab.haskell.org//ghc/ghc/issues/15142), [\#15561](https://gitlab.haskell.org//ghc/ghc/issues/15561), [\#15987](https://gitlab.haskell.org//ghc/ghc/issues/15987), and (to a lesser extent) [\#12088](https://gitlab.haskell.org//ghc/ghc/issues/12088), which is all about instances.
|
|
|
Though originally written with respect to [\#9200](https://gitlab.haskell.org//ghc/ghc/issues/9200), there are more issues at play here. Relevant other tickets: [\#9201](https://gitlab.haskell.org//ghc/ghc/issues/9201), [\#9427](https://gitlab.haskell.org//ghc/ghc/issues/9427), [\#12643](https://gitlab.haskell.org//ghc/ghc/issues/12643), [\#14451](https://gitlab.haskell.org//ghc/ghc/issues/14451), [\#14668](https://gitlab.haskell.org//ghc/ghc/issues/14668), [\#14847](https://gitlab.haskell.org//ghc/ghc/issues/14847), [\#15142](https://gitlab.haskell.org//ghc/ghc/issues/15142), [\#15561](https://gitlab.haskell.org//ghc/ghc/issues/15561), [\#15987](https://gitlab.haskell.org//ghc/ghc/issues/15987), and (to a lesser extent) [\#12088](https://gitlab.haskell.org//ghc/ghc/issues/12088), which is all about instances.
|
|
|
|
|
|
|
|
|
See also [GhcKinds/KindInference/Examples](ghc-kinds/kind-inference/examples) for a growing set of examples to consider when evaluating any new algorithm.
|
... | ... | |