diff options
author | Nadrieril | 2019-12-24 18:10:12 +0000 |
---|---|---|
committer | Nadrieril | 2019-12-24 18:10:12 +0000 |
commit | f22eb87b7a7aeccfa556dcdb56148e89cee023db (patch) | |
tree | 251c73e4400fedcb6cb8bc67f30d694ab33a74ef /dhall/src | |
parent | 12d6a22c7dcdc0cb6e169b082b4553caec0e6027 (diff) |
Add debug output to unhandled type error message
Diffstat (limited to 'dhall/src')
-rw-r--r-- | dhall/src/error/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/error/mod.rs b/dhall/src/error/mod.rs index 40cccac..8976478 100644 --- a/dhall/src/error/mod.rs +++ b/dhall/src/error/mod.rs @@ -125,7 +125,7 @@ impl std::fmt::Display for TypeError { y )) } - _ => "Type error: Unhandled error".to_string(), + _ => format!("Type error: Unhandled error: {:?}", self.message), }; write!(f, "{}", msg) } |