Looks like this is known (by way of TODO) in the source to not work, but I wanted to file an issue if for no reason other than to note that someone is interested in this being implemented :)
I/we use serde_dhall in https://gitlab.com/logixboard/kachess. In v0.9.1 it imported Prelude.Map by HTTPS (which was unused in our downstream application, so not caught in testing, heh), but it looks like I'll have to vendor it for now based on this bit of dhall-rust's source and the error I got:
Looks like this is known (by way of TODO) in the source to not work, but I wanted to file an issue if for no reason other than to note that someone is interested in this being implemented :)
I/we use
serde_dhall
in https://gitlab.com/logixboard/kachess. In v0.9.1 it importedPrelude.Map
by HTTPS (which was unused in our downstream application, so not caught in testing, heh), but it looks like I'll have to vendor it for now based on this bit ofdhall-rust
's source and the error I got:Indeed, in v0.9.2, the
SanityCheck
error goes away.