finally fix CI in the dumbest possible way

justfile

@@ -19,4 +19,7 @@ run:
     ghcid -c "cabal v2-repl exe:converter" --warnings -T :main
 
 bnfc:
-    rm -rf templatespiler-bnf/src && bnfc --haskell --text-token --functor --generic -d  -p Language -o templatespiler-bnf/src templatespiler.cf && mv templatespiler-bnf/src/Language/Templatespiler/Test.hs templatespiler-bnf/src/Main.hs # stupid dumb hack to make cabal work
+    rm -rf templatespiler-bnf/src
+    bnfc --haskell --text-token --functor --generic -d  -p Language -o templatespiler-bnf/src templatespiler.cf
+    mv templatespiler-bnf/src/Language/Templatespiler/Test.hs templatespiler-bnf/src/Main.hs # stupid dumb hack to make cabal work
+    find templatespiler-bnf -name "*.hs" -exec sed -i "1s/^/{- HLINT ignore -}\n{- FOURMOLU_DISABLE -}\n/" {} + # stupid dumb hack to make hlint and fourmolu work (we just skip them for generated code)

templatespiler-bnf/bnf.cabal

@@ -8,7 +8,7 @@ author:        Alexander Wood
 category:      Web
 
 common shared
-  hs-source-dirs:     .src
+  hs-source-dirs:     src
   build-depends:
     , array
     , base

templatespiler-bnf/.src/Language/Templatespiler/Abs.hs → templatespiler-bnf/src/Language/Templatespiler/Abs.hs

@@ -1,4 +1,7 @@
+{- HLINT ignore -}
+{- FOURMOLU_DISABLE -}
 -- File generated by the BNF Converter (bnfc 2.9.4.1).
+
 {-# LANGUAGE DeriveDataTypeable #-}
 {-# LANGUAGE DeriveGeneric #-}
 {-# LANGUAGE DeriveTraversable #-}
@@ -8,32 +11,27 @@
 {-# LANGUAGE PatternSynonyms #-}
 
 -- | The abstract syntax of language templatespiler.
+
 module Language.Templatespiler.Abs where
 
-import Data.String qualified
 import Prelude (Integer, String)
-import Prelude qualified as C (
-  Eq,
-  Foldable,
-  Functor,
-  Int,
-  Maybe (..),
-  Ord,
-  Read,
-  Show,
-  Traversable,
- )
-
-import Data.Data qualified as C (Data, Typeable)
-import Data.Text qualified
-import GHC.Generics qualified as C (Generic)
+import qualified Prelude as C
+  ( Eq, Ord, Show, Read
+  , Functor, Foldable, Traversable
+  , Int, Maybe(..)
+  )
+import qualified Data.String
+
+import qualified Data.Text
+import qualified Data.Data    as C (Data, Typeable)
+import qualified GHC.Generics as C (Generic)
 
 type Type = Type' BNFC'Position
 data Type' a
-  = IntegerType a
-  | StringType a
-  | FloatType a
-  | CombinatorType a (Combinator' a)
+    = IntegerType a
+    | StringType a
+    | FloatType a
+    | CombinatorType a (Combinator' a)
   deriving (C.Eq, C.Ord, C.Show, C.Read, C.Functor, C.Foldable, C.Traversable, C.Data, C.Typeable, C.Generic)
 
 type Binding = Binding' BNFC'Position
@@ -46,17 +44,17 @@ data BindingGroup' a = BindingGroup a [Binding' a]
 
 type BindingOrCombinator = BindingOrCombinator' BNFC'Position
 data BindingOrCombinator' a
-  = NamedBinding a (Binding' a)
-  | ParenBinding a (Binding' a)
-  | UnnamedBinding a (Combinator' a)
+    = NamedBinding a (Binding' a)
+    | ParenBinding a (Binding' a)
+    | UnnamedBinding a (Combinator' a)
   deriving (C.Eq, C.Ord, C.Show, C.Read, C.Functor, C.Foldable, C.Traversable, C.Data, C.Typeable, C.Generic)
 
 type Combinator = Combinator' BNFC'Position
 data Combinator' a
-  = ParenCombinator a (Combinator' a)
-  | ArrayCombinator a (VarOrConstInt' a) (BindingOrCombinator' a)
-  | SepByCombinator a String (BindingGroup' a)
-  | ListCombinator a (BindingOrCombinator' a)
+    = ParenCombinator a (Combinator' a)
+    | ArrayCombinator a (VarOrConstInt' a) (BindingOrCombinator' a)
+    | SepByCombinator a String (BindingGroup' a)
+    | ListCombinator a (BindingOrCombinator' a)
   deriving (C.Eq, C.Ord, C.Show, C.Read, C.Functor, C.Foldable, C.Traversable, C.Data, C.Typeable, C.Generic)
 
 type VarOrConstInt = VarOrConstInt' BNFC'Position
@@ -71,6 +69,7 @@ newtype Ident = Ident Data.Text.Text
   deriving (C.Eq, C.Ord, C.Show, C.Read, C.Data, C.Typeable, C.Generic, Data.String.IsString)
 
 -- | Start position (line, column) of something.
+
 type BNFC'Position = C.Maybe (C.Int, C.Int)
 
 pattern BNFC'NoPosition :: BNFC'Position
@@ -80,6 +79,7 @@ pattern BNFC'Position :: C.Int -> C.Int -> BNFC'Position
 pattern BNFC'Position line col = C.Just (line, col)
 
 -- | Get the start position of something.
+
 class HasPosition a where
   hasPosition :: a -> BNFC'Position
 
@@ -119,3 +119,4 @@ instance HasPosition VarOrConstInt where
 instance HasPosition BindingList where
   hasPosition = \case
     BindingList p _ -> p
+

templatespiler-bnf/.src/Language/Templatespiler/ErrM.hs → templatespiler-bnf/src/Language/Templatespiler/ErrM.hs

@@ -1,4 +1,7 @@
+{- HLINT ignore -}
+{- FOURMOLU_DISABLE -}
 -- File generated by the BNF Converter (bnfc 2.9.4.1).
+
 {-# LANGUAGE CPP #-}
 
 #if __GLASGOW_HASKELL__ >= 708