Corefn files not updated after modifying code?

Help
, ,
#1

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 ....

#2

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
#3

This was reported here too, but closed without reproduction

1 Like
#4

Does spago build pass -g corefn by default?

#5

Yes, when an alternate backend is specified

2 Likes
#6

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

1 Like