Tim Cuthbertson

Thanks for the responses. I was worried that `reduce` idea would only race the first two initially, but then I remembered how `IO` works ;) I still think it'd be...

I'm in two minds about this. On the one hand, the pure dhall JSON type can be confusing with its recursive encoding (and can cause [performance problems](https://discourse.dhall-lang.org/t/figuring-out-performance-bottlenecks/251/10)). But making it...

Ah right, sorry. So for the first case, I'd have the ability to implement `omitEmptyValues` on top of the final JSON structure. It'd be possible but inconvenient to apply different...

Ah true, yes I think that would work

Oh, I was kind of relying on that actually. I am combining a number of files from multiple places, and (for example) a couple of unrelated files both belong in...

Sure. It may be that I can use `/\` to do everything I need, it just may be fragile when multiple things come into play (recursive merges _and_ overrides). The...

Yeah, I'll give that a try. I hopefully won't actually need overrides much or at all in the end anyway. Thanks for the discussion. Should I leave this open (and/or...

I like that dhall generally isn't that configurable (`--unicode` aside), so while perf improvements in this area are one of my main wishes, it'd be surprising to have to choose...

> all imports without integrity checks are accepted and inlined, whereas imports with integrity checks are not inlined and get their own cache entry That sounds good to me. Would...

Sorry for the back & forth, I'm still not clear on the difference between `none` / `resolve`. My current understanding is that using `resolve` would store exactly the dhall AST...