Run with bazel built idris projects

[shmish111]

I've managed to get the atom plugin working with bazel by creating the following script

bazel run //:my_lib_repl -- $@

However it is necessary to hard code the full path to the script in the idris executable path setting. I think we can get this working by copying from https://github.com/zaucy/atom-build-bazel/blob/master/src/BazelBuildProvider.js so that the plugin will look for bazel files and if it finds them it will look for the targets. We can then choose one of the repl targets (not sure how you decide this, an atom popup or something)?

Unfortunately I have little knowledge of atom and not much javascript, do you have any tips on how I would go about starting this or has anyone else looked at this at all?

[justjoheinz]

Bazel?
I do not know what you are trying to solve, how it benefits the plugin etc. I am happy to help, but I would need some background information. I am currently lacking the time, to evaluate what you want to achieve with bazel, what it does in general etc. But in general terms: you go about it, by poking around. That's what I did :-)

[shmish111]

So I've created a package set system using the build tool bazel called Smoke Hill. This means that Idris developers can depend on other Idris packages without installing them on their system or worrying about version conflicts etc. Builds are hermetic and reproducible and there is the possibility for lots and lots of caching meaning build times for bigger projects can drop dramatically.

For all this to be worth it, tooling needs to be good and at the moment, the atom plugin is one of the main USPs of Idris. If it worked well with bazel then the overall developer experience would already be very good since there is no need t worry about dependency hell with smoke hill.

The author of rules_haskell is also looking at the atom plugin I think and from my experiments it looks like it should be reasonably easy for someone who knows what they are doing to get things working.

[justjoheinz]

I think the way to go would be to build your own idris-bazel plugin independent of the language-idris plugin. Didn't do this myself yet and with the seasons madness approaching I will not have the time to look into this anytime soon. If you keep posting questions here or set up a git repo I will be happy to answer what is thrown at me to my best knowledge.

[justjoheinz]

Why is it not sufficient to simply install https://atom.io/packages/build-bazel ? What is gained by copying the code or some of it to the language-idris package?