Ari Becker

in general, I'm interested in an idea like this. My main input is that I'd like there to be a flag which only freezes the imports in prior-existing files, rather...

I agree - `dhall freeze --recursive` is the better pattern. Indeed, I view `dhall package` as more of a reasonable default - for example, users may afterwards wish to decide...

Something like this is practically a necessity for working with types like those in `dhall-kubernetes`. The example @chshersh provided is really only the tip of the iceberg. Unfortunately my understanding...

The description of the original issue reminds me of a related concern with Dhall at the moment, which is the question of modeling plugin archtiectures. I've run into this issue...

Proposal: what if, instead of: ```dhall fromMap [ { mapKey = "foo" , mapValue = "bar" } ] === { foo = "bar" } ``` instead have something like the...

I just want to say, perhaps ironically as I was the user who perhaps might not ever have had a need for shadowed variable names, that I did find a...

This would be fantastic for `dhall-concourse`... we tried with unions and let's just say that [it started to turn into a mess](https://github.com/coralogix/dhall-concourse/blob/master/types/resources/_unions.dhall) (linking to it here to reference prior art...

I agree that a `as JSON` mechanism should take some kind of type definition as a parameter, instead of trying to magically generate a type from the parsed JSON. I...

I'd like to expand by asking to consider the following questions: ```dhall ./local.dhall ? /usr/share/installed.dhall ? https://example.com/remote.dhall sha256:somehash ``` Is this the same as: ```dhall (./local.dhall sha256:somehash) ? (/usr/share/installed.dhall sha256:somehash)...

@Gabriel439 doesn't that mean that `https://example.com using (./headers.dhall sha256:3196e8dcb8ccc5f197223bedfda84d8ea66b37435e5d2735f4e6ae66bdf07dea)` is the unambiguously correct parse then? ;) What I was trying to point out was that the parser is working as...