Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Blodwen compatibility #219

Open
3 tasks
justjoheinz opened this issue Oct 28, 2018 · 6 comments
Open
3 tasks

Blodwen compatibility #219

justjoheinz opened this issue Oct 28, 2018 · 6 comments

Comments

@justjoheinz
Copy link
Contributor

justjoheinz commented Oct 28, 2018

Bowden should work with Atom. Current requirements:

  • Make idris/bowden command configurable
  • Add .blod as file extension to the grammar
  • Remove unsupported command line parameters when invoking blowden (reg. tab-size)
@wurmli
Copy link

wurmli commented Oct 28, 2018

If Edwin doesn't change names: use "Blodwen" instead of "Bowden" and ".blod" as suffix instead of ".bowd", please.

@justjoheinz justjoheinz changed the title Bowden compatibility Blodwen compatibility Oct 28, 2018
@zenntenn
Copy link

What's "command configurable" mean in this context?

@justjoheinz
Copy link
Contributor Author

i thought one could have another blodwen location configuration entry (Which the user can also enter) and blodwen is used when the file ending is blod and the idris command is used when the file ending is idr

Maybe an altogether different mechanism is required as well to choose the executable, or we ditch that both idris and blodwen can be used with the same atom plugin.

@zenntenn
Copy link

I tried forking this plugin and making it Blodwen only, and I ran into all sorts of problems with Atom seeming to get the two plugins confused. So I'm not sure which is easier.

@PhilAndrew
Copy link

I really hope someone can make it work with Idris 2.

@archaeron
Copy link
Member

I can take a look at this after we've merged the typescript rewrite

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

5 participants