... | @@ -79,12 +79,3 @@ data X where |
... | @@ -79,12 +79,3 @@ data X where |
|
- Remove pushing from `mkCastTy`. But see bullet above about remaining tasks.
|
|
- Remove pushing from `mkCastTy`. But see bullet above about remaining tasks.
|
|
- Remove `solveSomeEqualities`
|
|
- Remove `solveSomeEqualities`
|
|
- Take a look at `tidyToIfaceType`: I don't think it needs to tidy the env. |
|
- Take a look at `tidyToIfaceType`: I don't think it needs to tidy the env. |
|
|
|
|
|
**Iceland_jack**: By `[]` as a data family do you mean:
|
|
|
|
|
|
|
|
```
|
|
|
|
datafamily[](a ::TYPE(rep ::RuntimeRep))::Typedatainstance[](a ::Type)=[]| a :[a]datainstance[](a ::TYPEIntRep)=INil|ICons a [a]...
|
|
|
|
```
|
|
|
|
|
|
|
|
|
|
|
|
I invite you to look at [ this gist](https://gist.github.com/Icelandjack/1824f4544c86b4ab497282783f94c360) posted on [\#12369](https://gitlab.haskell.org//ghc/ghc/issues/12369) and [\#13341](https://gitlab.haskell.org//ghc/ghc/issues/13341). |
|
|