Don't use the dhall cache
Opened this issue · 1 comments
shonfeder commented
When loading protected imports (an import with a hash) I think we want to ensure that the imported file is actually present in the specified location. To ensure this, we should use the no-cache option when invoking dhall.
shonfeder commented
Currently, the behavior appears buggy, as you can change the file on disk without updating the hash, and dhall will just load an outdated file from its cache.