Yaron Minsky

Would fixing #8900 resolve this soundness issue? Seems like a good argument for going back to that PR and pushing the fix through. Curious what @gasche thinks.

I saw the discussion, but it doesn't really change my view, which is that the special treatment of locally defined abstract types is misfeature with no real upsides, and should...

Seems like this should stay open until the behavior is changed, or the documentation is fixed, as @garrigue said.

That's a good question. The ordinary thing is to set up some build targets, and mostly just leave them there as you go. But there is an easy workflow for...

Oddly, I've had trouble reproducing it on a small example. I'm not sure why.

Another vote in favor of this. OCamlformat is getting a good amount of momentum and support, and it would be great to see it working in vscode as well. I...

Sounds good. Thanks! On Wed, Apr 4, 2018 at 9:49 PM, Darin Morrison wrote: > There is a part of the language server protocol for specifying a > "formatting on...

I guess I could imagine having something you could click on the pop-up to expand the types. It's a little slow and mouse-intensive, but not too bad. On a related...

Thanks! I was looking for show-type, but show-hover makes sense too.

Similarly, struct and end are not marked as keywords, but probably should be.