Always enable Template Haskell

ChangeLog.md

@@ -4,6 +4,9 @@
 
 * Add support for GHC 9.8 and 9.10
 
+* Get rid of the `use-template-haskell` flag.
+  Template Haskell is now always used.
+
 ## 0.9.3.0
 
 * Headless Host: Generalize to allow returning arbitrary types

cabal.haskell-ci

@@ -6,9 +6,6 @@ installed:     -all
 -- https://github.com/haskell/cabal/issues/6106
 install-dependencies: False
 
-constraint-set no-th
-  constraints: reflex -use-template-haskell
-
 constraint-set old-these
   ghc: <8.8
   constraints: these <1

reflex.cabal

@@ -36,11 +36,6 @@ flag use-reflex-optimizer
   default: False
   manual: True
 
-flag use-template-haskell
-  description: Use template haskell to generate lenses
-  default: True
-  manual: True
-
 flag debug-trace-events
   description: Add instrumentation that outputs the stack trace of the definition of an event whenever it is subscribed to. Warning: It is very slow!
   default: False
@@ -100,7 +95,13 @@ library
     time >= 1.4 && < 1.13,
     transformers >= 0.5 && < 0.7,
     unbounded-delays >= 0.1.0.0 && < 0.2,
-    witherable >= 0.4 && < 0.5
+    witherable >= 0.4 && < 0.5,
+    haskell-src-exts >= 1.16 && < 1.24,
+    haskell-src-meta >= 0.6 && < 0.9,
+    template-haskell >= 2.9 && < 2.23
+
+  other-extensions:
+    TemplateHaskell
 
   if flag(split-these)
     build-depends:     these >= 1 && <1.3,
@@ -124,6 +125,7 @@ library
     Reflex.BehaviorWriter.Class,
     Reflex.Collection,
     Reflex.Dynamic,
+    Reflex.Dynamic.TH,
     Reflex.Dynamic.Uniq,
     Reflex.DynamicWriter,
     Reflex.DynamicWriter.Base,
@@ -184,16 +186,6 @@ library
   if flag(debug-cycles)
     cpp-options: -DDEBUG_CYCLES
 
-  if flag(use-template-haskell)
-    cpp-options: -DUSE_TEMPLATE_HASKELL
-    build-depends:
-      haskell-src-exts >= 1.16 && < 1.24,
-      haskell-src-meta >= 0.6 && < 0.9,
-      template-haskell >= 2.9 && < 2.23
-    exposed-modules:
-      Reflex.Dynamic.TH
-    other-extensions: TemplateHaskell
-
   if flag(fast-weak) && impl(ghcjs)
     cpp-options: -DGHCJS_FAST_WEAK
 

src/Reflex.hs

@@ -13,9 +13,7 @@ import Reflex.Collection as X
 import Reflex.Dynamic as X
 import Reflex.EventWriter.Base as X
 import Reflex.EventWriter.Class as X
-#ifdef USE_TEMPLATE_HASKELL
 import Reflex.Dynamic.TH as X
-#endif
 import Reflex.Dynamic.Uniq as X
 import Reflex.DynamicWriter.Base as X
 import Reflex.DynamicWriter.Class as X

src/Reflex/Spider/Internal.hs

@@ -261,7 +261,7 @@
 -- caching; if the computation function is very cheap, this is (much) more
 -- efficient than 'push'
 {-# INLINE [1] pushCheap #-}
 pushCheap :: HasSpiderTimeline x => (a -> ComputeM x (Maybe b)) -> Event x a -> Event x b
 pushCheap !f e = Event $ \sub -> do
   (subscription, occ) <- subscribeAndRead e $ debugSubscriber' "push" $ sub
     { subscriberPropagate = \a -> do
@@ -1165,9 +1165,7 @@
             , switchSubscribed :: !(IORef (Maybe (SwitchSubscribed x a)))
             }
 
-#ifdef USE_TEMPLATE_HASKELL
 {-# ANN CoincidenceSubscribed "HLint: ignore Redundant bracket" #-}
-#endif
 data CoincidenceSubscribed x a
    = CoincidenceSubscribed { coincidenceSubscribedCachedSubscribed :: !(IORef (Maybe (CoincidenceSubscribed x a)))
                            , coincidenceSubscribedOccurrence :: !(IORef (Maybe a))
@@ -1616,9 +1614,7 @@
       occ <- getOcc
       return (sln, subscribed, occ)
 
-#ifdef USE_TEMPLATE_HASKELL
 {-# ANN cleanupRootSubscribed "HLint: ignore Redundant bracket" #-}
-#endif
 cleanupRootSubscribed :: RootSubscribed x a -> IO ()
 cleanupRootSubscribed self@RootSubscribed { rootSubscribedKey = k, rootSubscribedCachedSubscribed = cached } = do
   rootSubscribedUninit self
@@ -2614,7 +2610,7 @@
   headE e = runFrame . runSpiderHostFrame $ Reflex.Class.headE e
   {-# INLINABLE now #-}
   now = runFrame . runSpiderHostFrame $ Reflex.Class.now
-  
+
 
 instance HasSpiderTimeline x => Reflex.Class.MonadSample (SpiderTimeline x) (SpiderHostFrame x) where
   sample = SpiderHostFrame . readBehaviorUntracked . unSpiderBehavior --TODO: This can cause problems with laziness, so we should get rid of it if we can

src/Reflex/Time.hs

@@ -8,9 +8,7 @@
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE TupleSections #-}
 {-# LANGUAGE TypeFamilies #-}
-#ifdef USE_TEMPLATE_HASKELL
 {-# LANGUAGE TemplateHaskell #-}
-#endif
 -- |
 -- Module:
 --   Reflex.Time
@@ -366,18 +364,4 @@ throttleBatchWithLag lag e = do
       delayed <- lag (void outE)
   return outE
 
-#ifdef USE_TEMPLATE_HASKELL
 makeLensesWith (lensRules & simpleLenses .~ True) ''TickInfo
-#else
-tickInfo_lastUTC :: Lens' TickInfo UTCTime
-tickInfo_lastUTC f (TickInfo x1 x2 x3) = (\y -> TickInfo y x2 x3) <$> f x1
-{-# INLINE tickInfo_lastUTC #-}
-
-tickInfo_n :: Lens' TickInfo Integer
-tickInfo_n f (TickInfo x1 x2 x3) = (\y -> TickInfo x1 y x3) <$> f x2
-{-# INLINE tickInfo_n #-}
-
-tickInfo_alreadyElapsed :: Lens' TickInfo NominalDiffTime
-tickInfo_alreadyElapsed f (TickInfo x1 x2 x3) = (\y -> TickInfo x1 x2 y) <$> f x3
-{-# INLINE tickInfo_alreadyElapsed #-}
-#endif

test/hlint.hs

@@ -22,7 +22,6 @@ main = do
         , "--ignore=Use unless"
         , "--ignore=Reduce duplication"
         , "--ignore=Replace case with maybe"
-        , "--cpp-define=USE_TEMPLATE_HASKELL"
         , "--cpp-define=DEBUG"
         , "--ignore=Use tuple-section"
         ]