Don't use the dhall cache

informalsystems / themis-contract

A command line-based parameterized contracting tool

Apache License 2.0

46 stars 5 forks source link

Don't use the dhall cache #88

Open shonfeder opened 4 years ago

shonfeder commented 4 years ago

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 4 years ago

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.