summaryrefslogtreecommitdiff
path: root/imp.ha
diff options
context:
space:
mode:
authorJulian Hurst <ark@mansus.space>2022-06-09 16:04:08 +0200
committerJulian Hurst <ark@mansus.space>2022-06-09 16:04:08 +0200
commit881af93c63b4736d0f1f1ab543c383532caaf3ae (patch)
tree850a6d24e4cbf32efa28ef26d65b5a3af3fa6b81 /imp.ha
parentf9bd71ba39272caa99069f01068bc12f04ec40de (diff)
downloadimp-881af93c63b4736d0f1f1ab543c383532caaf3ae.tar.gz
Fix non-exhaustive match leading to compiler bug if gpg fails
Diffstat (limited to 'imp.ha')
-rw-r--r--imp.ha3
1 files changed, 2 insertions, 1 deletions
diff --git a/imp.ha b/imp.ha
index 57226a7..d9ed16e 100644
--- a/imp.ha
+++ b/imp.ha
@@ -311,8 +311,9 @@ fn decrypt(file: str) ([]u8 | os::exec::error | io::error) = {
io::close(pipe_stdout.0)?;
let status = os::exec::wait(&proc)?;
+
match (os::exec::check(&status)) {
- case let e: os::exec::exit_status =>
+ case let e: !os::exec::exit_status =>
fmt::fatal(os::exec::exitstr(e));
case void =>
yield;