Steven Fontanella

I compiled with -O-1 to disable all gcc optimizations and see that this assertion fails: ``` home_steven_Downloads_binomial_dash_heaps_dash_okasaki: /usr/local/share/koka/v2.1.9/kklib/include/kklib.h:616: kk_block_dropn: Assertion `scan_fsize == kk_block_scan_fsize(b)' failed. Aborted (core dumped) ```

Thanks Andreas! I'll take a look this weekend.

Looks good, thanks for fixing the CI badges too. I'm just curious about the haddock issue, is that a known issue for cabal haddock on GHC 8.2.2?

@lrworth I see that you already worked around this, but feel free to send a PR in the future if interested.

Gotcha, I'll give it another look. Thanks for the quick answer!

Even after changing the name and signature, I get the same error. Is it possible that there's not a good way to implement `__setattr__` patching? `__setattro__` should return a `c_int`,...

Right, I changed the signature. My point was that when I would like to override `__setattr__` in python, I would need to write a function that matches the signature, i.e....

Can we reopen this since the ghcide project has been archived? I've also seen this behavior when updating the .hlint.yaml; vscode needs to be reloaded for its changes to take...

Thanks for reopening. I didn't know how to find the corresponding issue for ghcide#50. Now that you linked it I see that that issue was supposed to be solved. Do...

Released [microlens-platform 0.4.3.5](https://hackage.haskell.org/package/microlens-platform-0.4.3.5) with #175 included. Thanks @crumbtoo!