Type hints specific to Pyboard: 'pyb', 'machine' with Pyboard features

[vlasovskikh]

It would be great to have good code analysis for the pyb module specific to Pyboard. We need a Python stub file similar to those ones in the typehints/ directory.

[vlasovskikh]

@stefanhoelzl How do you feel about contributing the initial version of the type hints for the pyb module? It would enable good code completion / type checking / documentation for Pyboard in the MicroPython plugin.

[domgiles]

It's not clear to me... Is anyone working on this?

[vlasovskikh]

@domgiles No, there isn't anyone who is working on it. A pull request with pyb stubs similar to what we have in the typehints/ directory is welcome.

[domgiles]

I'll see if I can find some time to take a look at it. No promises. I'm more comfortable in Java but I've a reasonable grasp of Python. It looks like more of a editing issue than anything really creative... right?

[vlasovskikh]

@domgiles Yes, it is more about converting the docs for pyb into the Python stubs format, copying docstring and specifying types.

[domgiles]

First let me start bu apologising for my lack of experience in working with plugins for the JetBrains Environment. I've pulled the code. Can you explain a couple of things. On running ./gradlew clean runIde it launches the intellij IDE (Which I already have the project in). I'm not sure but I was expecting to launch PyCharm with an updated build of the plugin installed. Did I miss something? i.e. Whats the workflow to enable me to make changes and then test them in PyCharm?

[vlasovskikh]

@domgiles Yes, ./gradlew clean runIde launches IntelliJ with the plugin by default, not PyCharm with the plugin. Please check the comments in gradle.properties. There you can uncomment the line with the path to PyCharm and specify the path to your PyCharm installation. It should be the path to the directory where bin/, lib/, plugins/, and other folders of PyCharm are located. In particular on macOS it's not /path/to/PyCharm.app, but /path/to/PyCharm.app/Contents/. PyCharm should be installed locally, gradlew won't download PyCharm for you.

If you're not familiar with IntelliJ, you can just edit files in your Git working directory and then launch PyCharm via ./gradlew runIde. Alternatively, you can open the intellij-micropython project in IntelliJ Community Edition and edit code there. Make sure you've imported the project from existing sources as a Gradle project. You can then use "View | Tool Windows | Gradle" to launch Gradle tasks. IntelliJ will provide you with code highlighting and smart code completion for Kotlin and Python (download the Python plugin for the latter).

[domgiles]

Sorry for the delay Ok… All good now.. Started getting the pbyoard doc ported… It’ll be off and on but I can at least see the process now. Regards Dom

…

On Feb 17, 2018, at 6:13 PM, Andrey Vlasovskikh ***@***.***> wrote: @domgiles Yes, ./gradlew clean runIde launches IntelliJ with the plugin by default, not PyCharm with the plugin. Please check the comments in gradle.properties . There you can uncomment the line with the path to PyCharm and specify the path to your PyCharm installation. It should be the path to the directory where bin/ , lib/ , plugins/ , and other folders of PyCharm are located. In particular on macOS it's not /path/to/PyCharm.app, but /path/to/PyCharm.app/Contents/. PyCharm should be installed locally, gradlew won't download PyCharm for you. If you're not familiar with IntelliJ, you can just edit files in your Git working directory and then launch PyCharm via ./gradlew runIde . Alternatively, you can open the intellij-micropython project in IntelliJ Community Edition and edit code there. Make sure you've imported the project from existing sources as a Gradle project. You can then use "View | Tool Windows | Gradle" to launch Gradle tasks. IntelliJ will provide you with code highlighting and smart code completion for Kotlin and Python (download the Python plugin for the latter). — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub , or mute the thread .<embedded image>

[przemekgalazka]

@domgiles any news on this port?

[domgiles]

I started the work. Annoyingly I was asked to head to do some work in San Francisco… So I’ve been away for 2 weeks. back next week so I can restart then. It’s not complex. Just a lot of it for the Pyboard. Dom Regards Dominic Giles

…

On Friday, 13 April 2018 at 12:25, Przemek Galazka wrote: @domgiles (https://github.com/domgiles) any news on this port? — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub (#16 (comment)), or mute the thread (https://github.com/notifications/unsubscribe-auth/AGELoZlWQwbwiS_UVQrYhHyVUpRYPBrCks5toPu1gaJpZM4PR1WW).