remove stdlib dependency

Author: flupe

agda2lambox.agda-lib

@@ -1,4 +1,3 @@
 name: agda2lambox
-depend: standard-library
 include: test
 flags: --no-projection-like

src/Agda2Lambox/Compile/Utils.hs

@@ -15,7 +15,7 @@ module Agda2Lambox.Compile.Utils
 import Control.Monad.State
 import Control.Monad.IO.Class ( liftIO )
 import Data.Char
-import Data.List ( elemIndex )
+import Data.List ( elemIndex, foldl' )
 import Data.Maybe ( fromMaybe, listToMaybe, isJust )
 
 import Agda.Compiler.Backend 

src/Main.hs

@@ -1,5 +1,5 @@
-{-# LANGUAGE DeriveGeneric, DeriveAnyClass, NamedFieldPuns, OverloadedStrings #-}
-{-# LANGUAGE GADTs, BangPatterns #-}
+{-# LANGUAGE DeriveGeneric, DeriveAnyClass, OverloadedStrings #-}
+{-# LANGUAGE GADTs #-}
 -- | The agda2lambox Agda backend
 module Main (main) where
 
@@ -92,11 +92,11 @@ agda2lambox = Backend backend
       , commandLineFlags      =
           [ Option ['o'] ["out-dir"] (ReqArg outdirOpt "DIR")
             "Write output files to DIR. (default: project root)"
-          , Option ['t'] ["typed"] (NoArg typedOpt) 
+          , Option ['t'] ["typed"] (NoArg typedOpt)
             "Compile to typed λ□ environments."
-          , Option ['c'] ["rocq"] (NoArg rocqOpt) 
+          , Option ['c'] ["rocq"] (NoArg rocqOpt)
             "Output a Rocq file."
-          , Option [] ["no-blocks"] (NoArg noBlocksOpt) 
+          , Option [] ["no-blocks"] (NoArg noBlocksOpt)
             "Disable constructors as blocks."
           ]
       , isEnabled             = \ _ -> True