... | ... | @@ -18,3 +18,12 @@ |
|
|
- ...
|
|
|
- [\#11739](https://gitlab.haskell.org//ghc/ghc/issues/11739) (simplify axioms)
|
|
|
- Fix all the `TypeInType` bugs
|
|
|
|
|
|
**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). |