Richard Eisenberg

I just hit this same problem, on MacOS 10.13.6.

You're right. Oddly, it's Ad Block Plus (https://adblockplus.org/) that's causing the problem. Disabling it for `code.world` fixes the problem. Is there a way to detect this scenario and inform the...

This looks like the the [higher-order role proposal](https://github.com/tweag/capability/issues/ghc-proposals/ghc-proposals/pull/233). I thought it would be easy and lightweight, but it needs a proof of correctness before proceeding. That said, I don't think...

Despite my interest in datatype contexts, I don't think we should use them here. Instead, we can put the contexts on e.g. instances and functions. To make them simpler, we...

Oof -- you're right. I forgot about the details of the proposal when I wrote my last comment. But I do think the `Representational` synonym should work... we just can't...

I guess the question is: with the higher-order roles proposal fix the problem. https://github.com/tweag/capability/issues/81#issuecomment-584513572 does not unambiguously say "yes".

I've had luck with `--optghc=-fobject-code`, as inspired by https://gitlab.haskell.org/ghc/ghc/-/issues/16093.

Looking at this comment trail, I am going to reopen this issue, as it seems people are still running into problems. In my use-case (and others?) the plugin is defined...

Just tried this out today. I really like it! My suggestion would be to have a way to open links within VSCode. For example, I wanted to see the Data.Text...

This is almost surely https://gitlab.haskell.org/ghc/ghc/issues/16887 (as you guessed). We know the fix for that ticket, but it's not terribly quick. I have a start from several months ago, but never...