From 00c72890fc38c7804d4bbeae6b3a61368d413ac0 Mon Sep 17 00:00:00 2001
From: nhz2 <nhz2@cornell.edu>
Date: Sun, 1 Sep 2024 17:50:33 -0400
Subject: [PATCH] small patch to make JET happy

---
 Project.toml  | 2 +-
 src/codecs.jl | 4 +++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/Project.toml b/Project.toml
index 4e31d34..8ae04aa 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,7 +1,7 @@
 name = "CodecInflate64"
 uuid = "6309b1aa-fc58-479c-8956-599a07234577"
 authors = ["nhz2 <nhz2@cornell.edu>"]
-version = "0.1.2"
+version = "0.1.3"
 
 [deps]
 TranscodingStreams = "3bb67fe8-82b1-5028-8e26-92a6c54297fa"
diff --git a/src/codecs.jl b/src/codecs.jl
index f999015..2c35889 100644
--- a/src/codecs.jl
+++ b/src/codecs.jl
@@ -54,7 +54,7 @@ function TranscodingStreams.process(
         input     :: TranscodingStreams.Memory,
         output    :: TranscodingStreams.Memory,
         error_ref :: TranscodingStreams.Error,
-    )
+    )::Tuple{Int, Int, Symbol}
     # @show "proccall" input.size output.size
     # done, in2, out2 = main_run!(all_in, input, output, codec.s) 
     local status::Symbol, Δin::Int, Δout::Int
@@ -80,5 +80,7 @@ function TranscodingStreams.process(
     elseif status === :output
         # need more output space
         return Δin, Δout, :ok
+    else
+        @assert false "unreachable"
     end
 end
\ No newline at end of file