From 7f5b64062ed975f856892d95e74b8d2f917ade66 Mon Sep 17 00:00:00 2001 From: Josh Rahm Date: Tue, 26 Nov 2024 22:55:13 -0700 Subject: Added syntax for skip_to and buffer. buffer tells fiddle to create a buffer of a number of bytes. skip_to tells fiddle to skip to some new offset. It's essentially an unnamed buffer --- src/Language/Fiddle/Compiler/ImportResolution.hs | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) (limited to 'src/Language/Fiddle/Compiler/ImportResolution.hs') diff --git a/src/Language/Fiddle/Compiler/ImportResolution.hs b/src/Language/Fiddle/Compiler/ImportResolution.hs index a9c4c8e..d4d6a05 100644 --- a/src/Language/Fiddle/Compiler/ImportResolution.hs +++ b/src/Language/Fiddle/Compiler/ImportResolution.hs @@ -11,7 +11,6 @@ where import qualified Codec.Compression.GZip as GZip import Control.Arrow (Arrow (second)) import Control.Monad (filterM, when) -import Control.Monad.Identity (Identity) import Control.Monad.State (put) import Control.Monad.Trans.Maybe (MaybeT (MaybeT, runMaybeT)) import Control.Monad.Writer.Lazy (MonadTrans (lift), MonadWriter (tell), WriterT (..), execWriterT) @@ -303,11 +302,11 @@ runCompl c = (\(x, (y, z)) -> (y, z, x)) <$> runWriterT (runMaybeT c) type Compl a = MaybeT (WriterT ([Diagnostic], [Artifact]) IO) a -allM :: (Monad m) => (a -> m Bool) -> [a] -> m Bool -allM _ [] = return True -allM fn (a : as) = do - b <- fn a - if b then allM fn as else return False +-- allM :: (Monad m) => (a -> m Bool) -> [a] -> m Bool +-- allM _ [] = return True +-- allM fn (a : as) = do +-- b <- fn a +-- if b then allM fn as else return False anyM :: (Monad m) => (a -> m Bool) -> [a] -> m Bool anyM _ [] = return True -- cgit