Skip to content

[purs ide] Accepts codegen targets for the rebuild command - #3449

Merged
kritzcreek merged 1 commit into
purescript:masterfrom
kritzcreek:purs-ide-codegen-targets
Nov 3, 2018
Merged

[purs ide] Accepts codegen targets for the rebuild command#3449
kritzcreek merged 1 commit into
purescript:masterfrom
kritzcreek:purs-ide-codegen-targets

Conversation

@kritzcreek

Copy link
Copy Markdown
Member

Fixes #3447

@kritzcreek
kritzcreek force-pushed the purs-ide-codegen-targets branch from ff16247 to 28b5f4d Compare November 1, 2018 16:36
@kritzcreek

Copy link
Copy Markdown
Member Author

@paluh Could you check if this works for you? If you need me to patch pscid for testing I can look into that. (Maybe it's easier for you to tweak your local VIM plugin?)

@paluh

paluh commented Nov 1, 2018

Copy link
Copy Markdown

@kritzcreek It works like a charm!
I've tested it against this simple branch of psc-ide-vim.
I've checked also purescript master branch and it seems that this additional field (codegen) is ignored by current version of purs ide server. It seems that we can add this option to psc-ide-vim even now with a note that it will work under 0.12.1. Am I right?

@kritzcreek

Copy link
Copy Markdown
Member Author

Yes, that was the plan :) Thanks for confirming!

@kritzcreek
kritzcreek merged commit 3cc566a into purescript:master Nov 3, 2018
@kritzcreek
kritzcreek deleted the purs-ide-codegen-targets branch November 3, 2018 10:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants