Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

pulp server misses recompilations #297

Open
Rufflewind opened this issue Jul 26, 2017 · 1 comment
Open

pulp server misses recompilations #297

Rufflewind opened this issue Jul 26, 2017 · 1 comment
Labels

Comments

@Rufflewind
Copy link

I'm using pulp server for development and every so often I would run into situations where it fails to rebuild all the changes I made, leading to spurious errors.

Emacs creates lockfiles as soon as I start editing a file – dummy (broken) symbolic links prefixed with .#. They always trigger spurious rebuilds with pulp. As a result, it's very common to end up in a situation where I save a file while pulp is still building (does pulp have a way to exclude files by pattern?).

Here's a somewhat hacky way to reproduce it. Make an empty project with Main and Foo modules. Add import Foo (foo) to Main and add foo = 0 to Foo. Then create a "bad" version of Foo that doesn't define foo at all. Now, build the project and let it finish.

Then run this script:

touch src/dummy &&                # trigger rebuild
sleep 0.1 &&                      # delay
cp /tmp/Foo_bad.purs src/Foo.purs # change file

Expected behavior: compilation should fail.
What actually happens: compilation succeeds!?

The time might have to be adjusted – basically there's a short goldilocks window during which pulp would miss the change to the file. For a small project, the window is short but still large enough to that you can trigger it manually. For a larger project, the window is pretty hard to miss.

@hdgarrood
Copy link
Collaborator

Argh, that's annoying. Thanks for the report. I doubt I'll get around to looking at this any time soon unfortunately.

@hdgarrood hdgarrood added the bug label Dec 22, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Development

No branches or pull requests

2 participants