Lennart Augustsson
Lennart Augustsson
It compiles now, with two tiny changes. I've submitted a PR.
Cabal uses DataKind and TypeFamilies. And maybe more.
And it uses ImplicitParams which I will not implement. Was there some competition to use as many extensions as possible in Cabal? 😃
If MicroHs could use (parts of) Cabal, that would be great.
I'd like MicroHs to support `Generic`, but I first have to implement type families. It will happen.
To expand, I think `Generic` is great and I really want it. Implementing `deriving (Generic)` looks straight-forward (famous last words). I also think type families are reasonable, so they'll come.
Does that work?
Will you need weak pointers to implement this? I will add them to MicroHs soon.
There are weak pointers too now.
MicroHs has stm support, so you can leave that in. How does one get a package added to NPM?