Improve FAlternative class

1 files changed, 0 insertions, 6 deletions

diff --git a/src/HSVIS/Parser.hs b/src/HSVIS/Parser.hs
index bea0524..0d35184 100644
--- a/src/HSVIS/Parser.hs
+++ b/src/HSVIS/Parser.hs
@@ -135,12 +135,6 @@ instance FAlternative Parser where
 
   noFail (Parser f) = Parser $ \ctx ps kok kfat _ -> f ctx ps kok kfat ()
 
-  toFallible :: forall fail a. KnownFallible fail => Parser fail a -> Parser 'Fallible a
-  toFallible (Parser f) = Parser $ \ctx ps kok kfat kbt ->
-    f ctx ps kok kfat (case knownFallible @fail of
-                         SFallible -> kbt
-                         SInfallible -> ())
-
 instance MonadState PS (Parser fail) where
   state f = Parser $ \_ ps kok _ _ ->
     let (x, ps') = f ps