Travis Brown

Sorry, I should have mentioned that I'm working on this now, and just put together a rough implementation. The use case I have in mind is something like a REST...

Some notes: * This format is fairly rare (for one recent test scrape I found 42 snapshots with this format out of ~20k total). * The digests returned from the...

I think this is probably more a problem with the message than the behavior—i.e. the `Any` rule is a general prohibition that is applied whether the `Any` is inferred or...

@nicmart Ah, good point—either both or neither should be accepted by this rule.

@Follpvosten Have you looked into this? I implemented a very basic version today since I needed it myself, but it only does exactly what I need.

@jonhoo Mind if I open a WIP PR with a simple version of this for the sake of discussion?

@Nadrieril That seems reasonable. Should we specify it in `imports.md`, though, since it's as much a matter of "requiring" a sort as of "allowing" an unsorted representation? Unless the test...

I'd definitely be interested in seeing what this would look like, although I'm not sure how much it would help any of the common Dhall use cases.

Agreed, thanks. I haven't had much time to work on this library lately, but this is something I'll try to prioritize when I do.

I would have very much appreciated standardized error messages (and tests for them) when working on Dhall for Java (I also did a lot of copy-pasting from dhall-haskell, and am...