diff options
author | Nadrieril | 2020-12-06 21:41:03 +0000 |
---|---|---|
committer | Nadrieril | 2020-12-07 19:34:38 +0000 |
commit | 6287b7a7f9e421877ee13fefa586395fec844c99 (patch) | |
tree | 65129001dbd7e56561df656dc8eee8f441a05b25 /dhall/src/ctxt.rs | |
parent | 9991bd4891774c4dd598decae02ee860554d2ab7 (diff) |
Thread cx through typecheck
Diffstat (limited to 'dhall/src/ctxt.rs')
-rw-r--r-- | dhall/src/ctxt.rs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/dhall/src/ctxt.rs b/dhall/src/ctxt.rs index 2394d8e..37fab35 100644 --- a/dhall/src/ctxt.rs +++ b/dhall/src/ctxt.rs @@ -108,3 +108,11 @@ impl<'cx> std::ops::Index<ImportResultId> for CtxtS<'cx> { &self.import_results[id.0] } } + +/// Empty impl, because `FrozenVec` does not implement `Debug` and I can't be bothered to do it +/// myself. +impl<'cx> std::fmt::Debug for Ctxt<'cx> { + fn fmt(&self, _: &mut std::fmt::Formatter) -> std::fmt::Result { + Ok(()) + } +} |