diff options
Diffstat (limited to 'src/HSVIS')
| -rw-r--r-- | src/HSVIS/Parser.hs | 6 |
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 |