This repository is meant to allow reproduction of this issue, in which
hint
complains about a temporary directory not being empty when trying to delete it:
$ stack exec -- hint-repro
no port specified, defaulting to port 8000
Listening on http://0.0.0.0:8000
hint-repro: /tmp/hint-c4f80210edfd53db: removeDirectory: unsatisfied constraints (Directory not empty)
- Clone this repository
stack build
(note that development mode is enabled by default)stack exec -- hint-repro
- Visit http://localhost:8000/ in your browser
- Error similar to the above should appear in console
Note that the error also appears if we bump hint
to 0.9.0 in stack.yaml
.