Corefn files not updated after modifying code?

Things work smoothly for JS backend.

For alternative backends based on corefn files in the output directory.

It seems that in the latest branch(PureScript v0.13.8), when I modify the code of main function in Main module, the corefn files wouldn’t get updated, after invoking spago build or purs compile ....

The compiler doesn’t write corefn.json files by default, you have to ask it to by passing -g corefn to purs compile.

1 Like

This was reported here too, but closed without reproduction

1 Like

Does spago build pass -g corefn by default?

Yes, when an alternate backend is specified

2 Likes

It should be marked solved right now as I cannot reproduce…

1 Like