Fix cabal check output

Author: sgraf812

.travis.yml

@@ -42,7 +42,6 @@ jobs:
       addons: {"apt":{"sources":[{"sourceline":"deb http://ppa.launchpad.net/hvr/ghc/ubuntu xenial main","key_url":"https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x063dab2bdc0b3f9fcebc378bff3aeacef6f88286"}],"packages":["ghc-8.2.2","cabal-install-2.4"]}}
       os: linux
 before_install:
-  - set -x
   - HC=$(echo "/opt/$CC/bin/ghc" | sed 's/-/\//')
   - WITHCOMPILER="-w $HC"
   - HADDOCK=$(echo "/opt/$CC/bin/haddock" | sed 's/-/\//')

datafix.cabal

@@ -104,7 +104,6 @@ test-suite tests
                      Analyses.Syntax.MkCoreFromFile
                      Analyses.Templates.LetDn
                      SetRecurrences.FirstFollow
-                     SetRecurrences.FirstFollow
                      Fib
                      Fac
                      Mutual
@@ -185,8 +184,9 @@ benchmark benchmarks
 executable firstfollow-example
   default-language:  Haskell2010
   hs-source-dirs:    examples
-  main-is:           SetRecurrences/FirstFollow.hs
-  ghc-options:       -Wall -threaded -rtsopts -with-rtsopts=-N -main-is SetRecurrences.FirstFollow
+  main-is:           SetRecurrences/FirstFollow/Main.hs
+  ghc-options:       -Wall -threaded -rtsopts -with-rtsopts=-N
+  other-modules:     SetRecurrences.FirstFollow
   build-depends:     base
                    , containers
                    , datafix

examples/SetRecurrences/FirstFollow.hs

@@ -20,7 +20,6 @@ module SetRecurrences.FirstFollow
   , llsll
   , emptyL
   , leftrec
-  , main
   ) where
 
 import           Prelude hiding (words)
@@ -203,19 +202,3 @@ leftrec = augmentGrammar 'O' $ mkGrammar
   , ('A', "c")
   ]
   'S'
-
-main :: IO ()
-main = do
-  (k:_) <- map read <$> getArgs
-  let uncurry3 f (x,y,z) = f x y z
-  let analyse name gr (s :: Char) = do
-        printf "%s:\n" name
-        printf "  first_%d(%s): %s\n" k (show s) (show $ first k gr [NT s])
-        printf "  follow_%d(%s): %s\n" k (show s) (show $ follow k gr s)
-        putStrLn ""
-  mapM_ (uncurry3 analyse) $
-    [ ("Dyck", dyck, 'S')
-    , ("LL(1), not SLL(k)", llsll, 'A')
-    , ("empty", emptyL, 'A')
-    , ("left recursive", leftrec, 'S')
-    ]

examples/SetRecurrences/FirstFollow/Main.hs

@@ -0,0 +1,23 @@
+{-# LANGUAGE ScopedTypeVariables   #-}
+{-# LANGUAGE FlexibleContexts      #-}
+
+import           System.Environment
+import           Text.Printf
+import           SetRecurrences.FirstFollow
+
+main :: IO ()
+main = do
+  (k:_) <- map read <$> getArgs
+  let uncurry3 f (x,y,z) = f x y z
+  let analyse name gr (s :: Char) = do
+        printf "%s:\n" name
+        printf "  first_%d(%s): %s\n" k (show s) (show $ first k gr [NT s])
+        printf "  follow_%d(%s): %s\n" k (show s) (show $ follow k gr s)
+        putStrLn ""
+  mapM_ (uncurry3 analyse) $
+    [ ("Dyck", dyck, 'S')
+    , ("LL(1), not SLL(k)", llsll, 'A')
+    , ("empty", emptyL, 'A')
+    , ("left recursive", leftrec, 'S')
+    ]
+