Remove unused function

anoma · May 15, 2024 · 2591c52 · 2591c52
1 parent 83cd6a7
commit 2591c52
Showing 1 changed file with 0 additions and 11 deletions.
diff --git a/src/Juvix/Compiler/Nockma/Encoding/Cue.hs b/src/Juvix/Compiler/Nockma/Encoding/Cue.hs
@@ -290,17 +290,6 @@ cueEither =
     . runErrorNoCallStack @DecodingError
     . cue'
 
-cueJust :: Term Natural -> Either DecodingError (Term Natural)
-cueJust =
-  run
-    . runErrorWith @(ErrNockNatural' Natural) (\_ _ -> error ("fail"))
-    . runError @DecodingError
-    . cue'
-    . ( \case
-          TermAtom a -> a
-          TermCell {} -> error "expected atom"
-      )
-
 {- `ErrNockNatural a` must be wrapped in a newtype to avoid overlapping instances
 with `DecodingError` when errors are handled before the type variable `a` is
 resolved.