Fix install and pump up dhall-to-etlas version

typelead / etlas

Etlas, the build tool and package manager for the Eta programming language

63 stars 10 forks source link

Closed jneira closed 5 years ago

jneira commented 5 years ago

Three changes:
- Allow etlas install outside a project. I think it fixes https://github.com/typelead/eta/issues/920 too
- Use a version of dhall-to-etlas that uses in turn last version of dhall (1.20.1)
- Make read dhall config using cache more robust, catching the possible decoding errors