Skip to content

purs fails to update corefn output #3914

Description

@coot

Description

When I modify code and run purs compile --codegn corefn the corefn.json file is not updated unless one deletes it first.

To Reproduce

Compile your project with

purs compile --codegen corefn **/*.purs

Modify one of the modules and recompile it with the same command.

Expected behavior

coregn.json should be updated.

PureScript version

0.13.8

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions