Lennart Augustsson
Lennart Augustsson
Yes, it's a known bug. There is currently no efficient way to test if the constructor is in scope.
That looks like a bug.
Yes, MicroCabal needs a lot of changes for any non-standard use case (i.e., not my use case).
You can Data.Coerce.coerce between Double and CDouble. But I'll fix that bug.
I wanted to do a bigger cleanup of the code. But I'll just accept your PR for now.
I experimented a little with `haddock`, but I didn't manage.
Haddock seem to be too tightly coupled with GHC.
If GHC doesn't complain then MicroHs shouldn't either. I'm happy to take a bug report. On Sun, Dec 15, 2024, 05:26 David Feuer ***@***.***> wrote: > @augustss I'm sure this...
Definite a bug. It will have to wait until I implement `type data`.
The problem is that MicroHs does not allow record update that changes the type of a polymorphic record. I think I'll change MicroHs to allow it.