@@ -12,7 +12,6 @@
12{-# LANGUAGE TypeFamilies #-}
12{-# LANGUAGE TypeFamilies #-}
13{-# LANGUAGE TypeOperators #-}
13{-# LANGUAGE TypeOperators #-}
14{-# LANGUAGE UndecidableInstances #-}
14{-# LANGUAGE UndecidableInstances #-}
15−module Reflex.Test.CrossImpl (test) where
17import Prelude hiding (and, foldl, mapM, mapM_, sequence, sequence_)
16import Prelude hiding (and, foldl, mapM, mapM_, sequence, sequence_)
@@ -26,7 +25,6 @@ import qualified Reflex.Spider.Internal as S
26import Control.Arrow (second, (&&&))
25import Control.Arrow (second, (&&&))
27import Control.Monad.Identity hiding (forM, forM_, mapM, mapM_, sequence, sequence_)
26import Control.Monad.Identity hiding (forM, forM_, mapM, mapM_, sequence, sequence_)
28import Control.Monad.State.Strict hiding (forM, forM_, mapM, mapM_, sequence, sequence_)
27import Control.Monad.State.Strict hiding (forM, forM_, mapM, mapM_, sequence, sequence_)
29−import Control.Monad.Writer hiding (forM, forM_, mapM, mapM_, sequence, sequence_)
30import Data.Dependent.Map (DSum (..))
28import Data.Dependent.Map (DSum (..))
31import Data.Foldable
29import Data.Foldable
32import Data.Map.Strict (Map)
30import Data.Map.Strict (Map)
@@ -248,8 +246,8 @@ splitRecombineEvent e =
248 in leftmost [ea, eb]
246 in leftmost [ea, eb]
251−test :: IO ()
249+main :: IO ()
252−test = do
250+main = do
253 results <- forM testCases $ \(name, TestCase inputs builder) -> do
251 results <- forM testCases $ \(name, TestCase inputs builder) -> do
254 putStrLn $ "Test: " <> name
252 putStrLn $ "Test: " <> name
255 testAgreement builder inputs
253 testAgreement builder inputs