w95psp/cleanforvscode

Clean extension for VSCode

cleanforvscode's Issues

User agent for Cloogle

Nice to see that you're integrating Cloogle. If you add a specific user agent to the HTTP requests, we can show separate stats on https://cloogle.org/stats/longterm.html (click on 'Operating Systems' or 'Search types per OS'). Currently the user agent is empty.

The current 'special' user agents are CloogleBot, cloogle-cli, CloogleMail, cloogle-irc and Clean/libcloogle so you could choose something similar. If you decide to do this, please let me know what you have chosen and I can update the statistics page.

Recovering Inferred types does not work

CPM seems to ignore the ListTypes directive in Modules.
Hence, I can't recover any longer any type information.
(Before, I used to run clm -lat {target icl file}, that output type info)

Syntax higlighting does not work for over 6 months now.

First of all, thank you so much for this awesome work. I am using the clean as the language for the course at my university and as I am using Vscode as my text editor while teaching in class I think it would be very helpful to have syntax highlighting so I would appreciate that so much. Also, the extension is not on the market right now so I had to download it manually this time. I am one of many people who are using this extension and it would really help to have this feature. Thanks so much

Tags support/Language server

To account for issue #9 we should consider implementing some other hinting. I strongly favor implementing a small language server that builds on top of cloogle-tags. This would also allow for semantic highlighting in the future.

Error: CLEAN_HOME environment path is not set

vs code gives this error : Error: CLEAN_HOME environment path is not set
what to do? please help

Missing License

I wanted to upload the "fixed" version to the marketplace but I can't seem to find a license, meaning I'm not allowed to do so.

@W95Psp Could you please add a License?

Requests are made to Cloogle with the full contents of modules

Not sure if you are already aware of this, but occasionally this plugin (I presume) sends queries to Cloogle that include the content of the whole module. You can recognise them because you get a 155 response code. They show up in my logs as:

[timestamp] "GET /api.php?str=module%20RailwayGame%0D%0A%0D%0Aimport%20iTasks%0D%0Aimport%20iTasks.Extensions.SVG.SVGEditor%0D%0Aimport%20Objects.Element%0D%0Aimport%20Objects.Train%0D%0Aimport%20State%0D%0Aimport%20Objects.DrawObject%0D%0Aimport%20TrainGui.MakeTrainMove%0D%0Aimport%20TrainGui.ChooseRole%0D%0A%0D%0Astate%20::%20Shared%20State%0D%0Astate%20=%20sharedStore%20%22sharedState%22%20%7Belements%20=%20%5B%5D,%20trains%20=%20%5B%5D,%20elementSelected%20=%20Nothing,%20paramTestX%20=%200.0,%20paramTestY%20=%200.0%7D%0D%0A%0D%0AtestShared%20::%20Shared%20String%0D%0AtestShared%20=%20sharedStore%20%22%22%20%22Hey%22%0D%0A%0D%0A//%20tEssai%20::%20Task%20Void%0D%0A//%20tEssai%20=%20set%20False%20tEssai%20%3E%3E%7C%20return%20Void%0D%0A%0D%0AStart%20::%20*World%20-%3E%20*World%0D%0AStart%20world%20=%20startEngine%20%5B%0D%0A%09%09publish%20%22/%22%20(%5C_%20-%3E%20%0D%0A%09%09%09set%20%22Hola%22%20testShared%20%3E%3E=%20%5C_%20.%20(%0D%0A%09%09%09%09%09updateSharedInformation%20%22Update%22%20%5B%5D%20testShared%20%0D%0A%09%09%09%09-%7C%7C-%0D%0A%09%09%09%09%09viewSharedInformation%20%22View%22%20%5B%5D%20testShared%0D%0A%09%09%09)%20%3E%3E%7C%20return%20Void%0D%0A%09%09)%0D%0A%09%5D%20world%0D%0A//%20Start%20world%20=%20startEngine%20%5B%0D%0A//%20%09%09publish%20%22/%22%20(%5C_%20-%3E%20resetAreTrainsMoving%20%3E%3E%7C%20makeTrainMove%20state%20%3E%3E%7C%20chooseRole%20state)%0D%0A//%20%09%5D%20world HTTP/1.0" 200 242 "-" "-"

SyntaxResult support

There is one type of Cloogle result response that is currently unsupported, the SyntaxResult. You get this result for queries like #.

It may be a good idea to watch https://github.com/clean-cloogle/libcloogle so that you get notifications when the API changes. (You are one of the first persons outside the Cloogle development team that I know of is implementing a client, and I'm sorry to say that this for the time being means that we occasionally do have to push breaking changes, as the tool is still under development.)

Hover over no longer produces a Cloogle result

This is probably a regression due vscode. I think we should remove the hover over capabilities entirely (this plugin is currently responsible for around 50% of all Cloogle traffic), instead a command should be added to perform a single query.

As an alternative, tags (generated by cloogle-tags) can be used.

:Cloogle is the vim equivalent.