Guillaume Boisseau

Hey, glad you're enjoying the project! At the moment `serialize` only works with serde-compatible values, and dhall types don't fit in there. I should be able to make it work...

I'd like to follow the style of Rust error messages, because they rock. Note to self: have a look at https://github.com/rust-lang/rust/blob/master/src/librustc_errors/lib.rs

First step done ! https://github.com/Nadrieril/dhall-rust/pull/114

Next step: https://github.com/Nadrieril/dhall-rust/issues/116

Most of the groundwork is done, now there's mostly a need of writing nice error messages.

The state of error messages can be seen in the `.txt` files in `dhall/tests/.../failure/...`. For example: https://github.com/Nadrieril/dhall-rust/blob/2ca97e97f1718141d826a78ab3da8197b2d55c69/dhall/tests/type-inference/failure/unit/AssertTriviallyFalse.txt#L1-L6 This is not amazing yet, but at least it points to the correct...

You get this output because you used `.unwrap()` in your test case. `.unwrap()` will indeed use the `Debug` impl to display the values, which is not nice here. The way...

There was discussion indeed https://github.com/dhall-lang/dhall-lang/issues/543, but I was overly optimistic: headers are probably not going away.

Well, the main issue is that I'm not really working on dhall-rust anymore. @basile-henry or @kryptn might you be motivated? The way I see it, implementing the full feature is...

Ohh cool I didn't follow that `DHALL_HEADERS` got merged, this is definitely the way to go then