Peng Cheng

+1 I'm also waiting for this, BTW IntelliJ IDEA is strongly recommended for combined JVM codebase.

Many people have posted on his issue tracker so far but evidently he is busy with something else. I'll try to understand his sourcecode and see if I can take...

@mwouts sorry he is already trying to fix it, this is the thread: https://github.com/Microsoft/vscode-python/issues/3714

Good suggestion! I have observed at least 2 open sourced plugin that supports running code in REPL, these are: https://github.com/julienr/pycharm-cellmode https://github.com/donkirkby/live-py-plugin Your case is a bit different, as a jupyter-notebook...

Of course. I'm just fixing a bug for splain 1.0

To answer your question: yes Zeppelin need to run on Spark interpreter, of which local mode has no difference with Scala REPL except taking a few ports. My only problem...

+1, very important to be used in industry

So It should be a 'SingleTypeFormatter' that handles `UniqueSingleType`. This is the easy part, in fact, the line of code of `a` can be easily found and displayed. (The same...

@tek I'm quite sure `Int =:= Int` is only an artifact of splain. If I disable it in compiler plugin the only message being displayed is `Cannot prove that a.type...

@tek sounds good, already implemented. How about my first question? Namely, how to avoid `a.type` being erased into Int? Also I'm trying to run the test in my IDE (IntelliJ...