Skip to content

Prevent codegen when --dump-corefn is supplied#3258

Closed
gabejohnson wants to merge 4 commits intopurescript:masterfrom
gabejohnson:no-codegen-when-dump-corefn
Closed

Prevent codegen when --dump-corefn is supplied#3258
gabejohnson wants to merge 4 commits intopurescript:masterfrom
gabejohnson:no-codegen-when-dump-corefn

Conversation

@gabejohnson
Copy link
Copy Markdown

Fixes #3196

I opted to implement the suggestion from #3049 (comment); no JS is generated when --dump-corefn is passed to compile.

@paulyoung
Copy link
Copy Markdown
Contributor

I tried this locally but I still see JS files being created. Perhaps I'm doing something wrong.

@gabejohnson
Copy link
Copy Markdown
Author

Can I get some 👀 on this?

@garyb
Copy link
Copy Markdown
Member

garyb commented Apr 6, 2018

@gabejohnson this is conflicting now #3270 has been merged - sorry, I was kinda waiting for that to go in before taking a look at this again, I probably should have mentioned!

@gabejohnson
Copy link
Copy Markdown
Author

No worries. I'll rebranch from master and have another go at it. Curious though if you think we should go in this direction or the one mentioned in #3196 (comment)

@garyb garyb force-pushed the no-codegen-when-dump-corefn branch from 01a8e78 to e915cd4 Compare April 26, 2018 11:28
@garyb
Copy link
Copy Markdown
Member

garyb commented Apr 26, 2018

Oops, I just pushed to your branch @gabejohnson! Thought I'd branched it myself. Anyway, I updated this for latest master, but was going to tweak it a bit further to work like #3196 (comment) - I'll be sure to actually use my own branch for that.

@gabejohnson
Copy link
Copy Markdown
Author

@garyb no problem. I planned to take it up again after the 0.12 release. But if you want to knock it out now, be my guest 😄

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants