|
|
|
|
|
This page is to track the discussions on
|
|
|
|
|
|
- [\#11348](https://gitlab.haskell.org//ghc/ghc/issues/11348)
|
|
|
- [\#12088](https://gitlab.haskell.org//ghc/ghc/issues/12088)
|
|
|
- [\#12239](https://gitlab.haskell.org//ghc/ghc/issues/12239)
|
|
|
- [\#12643](https://gitlab.haskell.org//ghc/ghc/issues/12643)
|
|
|
- [\#14668](https://gitlab.haskell.org//ghc/ghc/issues/14668)
|
|
|
- [\#15561](https://gitlab.haskell.org//ghc/ghc/issues/15561)
|
|
|
- [\#15987](https://gitlab.haskell.org//ghc/ghc/issues/15987)
|
|
|
- [\#11348](https://gitlab.haskell.org/ghc/ghc/issues/11348)
|
|
|
- [\#12088](https://gitlab.haskell.org/ghc/ghc/issues/12088)
|
|
|
- [\#12239](https://gitlab.haskell.org/ghc/ghc/issues/12239)
|
|
|
- [\#12643](https://gitlab.haskell.org/ghc/ghc/issues/12643)
|
|
|
- [\#14668](https://gitlab.haskell.org/ghc/ghc/issues/14668)
|
|
|
- [\#15561](https://gitlab.haskell.org/ghc/ghc/issues/15561)
|
|
|
- [\#15987](https://gitlab.haskell.org/ghc/ghc/issues/15987)
|
|
|
|
|
|
|
|
|
The essential problem is that type-checking declarations can depend on `type instance`s so we must be careful to process `type instance`s in the correct order. When necessary interleaving the instances with other declarations.
|
... | ... | @@ -153,7 +153,7 @@ The kind of the second argument of `FieldType` depends on `FieldCount`. However, |
|
|
|
|
|
# The Solution
|
|
|
|
|
|
[\#12088](https://gitlab.haskell.org//ghc/ghc/issues/12088) is a lengthy discussion about possible solutions to solve this problem.
|
|
|
[\#12088](https://gitlab.haskell.org/ghc/ghc/issues/12088) is a lengthy discussion about possible solutions to solve this problem.
|
|
|
|
|
|
|
|
|
This is incomplete and I don't understand. Please help me fill in the details..!
|
... | ... | |