Re-enable QuickCheck + hspec tests

I can put the tests in `Main.hs` without seeing it come up in the size,
provided it's not exported or used from `main`:

-rwxr-xr-x 1 chris chris 9.1M Dec 15 08:56 hell-static-hspec-quickcheck-imported-not-used
-rwxr-xr-x 1 chris chris 9.1M Dec 15 08:56 hell-static-hspec-quickcheck-imported-used
-rwxr-xr-x 1 chris chris 9.1M Dec 15 08:58 hell-static-hspec-quickcheck-imported-used-more
-rwxr-xr-x 1 chris chris 9.1M Dec 15 08:55 hell-static-hspec-quickcheck-no-import
-rwxr-xr-x 1 chris chris 9.1M Dec 15 08:52 hell-static-no-hspec

If I use the tests in `main`, then it shows up:

-rwxr-xr-x 1 chris chris  12M Dec 15 09:01 hell-static-hspec-quickcheck-imported-used-in-main

Author: chrisdone

Hell.hs

@@ -45,6 +45,9 @@ import Data.Constraint
 import GHC.Types
 import Type.Reflection (SomeTypeRep(..), TypeRep, typeRepKind, typeRep, pattern TypeRep)
 
+import Test.Hspec
+import Test.QuickCheck
+
 --------------------------------------------------------------------------------
 -- Untyped AST
 
@@ -413,17 +416,17 @@ applyTypes (SomeTypeRep f) (SomeTypeRep a) = do
      pure $ SomeTypeRep $ Type.App f a
    | otherwise -> Nothing
 
--- desugarTypeSpec :: Spec
--- desugarTypeSpec = do
---   it "desugarType" $ do
---     shouldBe (try "Bool") (Right (SomeStarType $ typeRep @Bool))
---     shouldBe (try "Int") (Right (SomeStarType $ typeRep @Int))
---     shouldBe (try "Bool -> Int") (Right (SomeStarType $ typeRep @(Bool -> Int)))
---     shouldBe (try "()") (Right (SomeStarType $ typeRep @()))
---     shouldBe (try "[Int]") (Right (SomeStarType $ typeRep @[Int]))
---   where try e = case fmap desugarType $ HSE.parseType e of
---            HSE.ParseOk r -> r
---            _ -> error "Parse failed."
+desugarTypeSpec :: Spec
+desugarTypeSpec = do
+  it "desugarType" $ do
+    shouldBe (try "Bool") (Right (SomeStarType $ typeRep @Bool))
+    shouldBe (try "Int") (Right (SomeStarType $ typeRep @Int))
+    shouldBe (try "Bool -> Int") (Right (SomeStarType $ typeRep @(Bool -> Int)))
+    shouldBe (try "()") (Right (SomeStarType $ typeRep @()))
+    shouldBe (try "[Int]") (Right (SomeStarType $ typeRep @[Int]))
+  where try e = case fmap desugarType $ HSE.parseType e of
+           HSE.ParseOk r -> r
+           _ -> error "Parse failed."
 
 --------------------------------------------------------------------------------
 -- Desugar all bindings
@@ -454,19 +457,19 @@ stronglyConnected =
   Graph.stronglyConnComp .
   map \thing@(name, e) -> (thing, name, freeVariables e)
 
--- anyCyclesSpec :: Spec
--- anyCyclesSpec = do
---  it "anyCycles" do
---    shouldBe (try [("foo","\\z -> x * Z.y"), ("bar","\\z -> Main.bar * Z.y")]) True
---    shouldBe (try [("foo","\\z -> Main.bar * Z.y"), ("bar","\\z -> Main.foo * Z.y")]) True
---    shouldBe (try [("foo","\\z -> x * Z.y"), ("bar","\\z -> Main.mu * Z.y")]) False
---    shouldBe (try [("foo","\\z -> x * Z.y"), ("bar","\\z -> Main.foo * Z.y")]) False
+anyCyclesSpec :: Spec
+anyCyclesSpec = do
+ it "anyCycles" do
+   shouldBe (try [("foo","\\z -> x * Z.y"), ("bar","\\z -> Main.bar * Z.y")]) True
+   shouldBe (try [("foo","\\z -> Main.bar * Z.y"), ("bar","\\z -> Main.foo * Z.y")]) True
+   shouldBe (try [("foo","\\z -> x * Z.y"), ("bar","\\z -> Main.mu * Z.y")]) False
+   shouldBe (try [("foo","\\z -> x * Z.y"), ("bar","\\z -> Main.foo * Z.y")]) False
 
---   where
---    try named =
---     case traverse (\(n, e) -> (n, ) <$> HSE.parseExp e) named of
---       HSE.ParseOk decls -> anyCycles decls
---       _ -> error "Parse failed."
+  where
+   try named =
+    case traverse (\(n, e) -> (n, ) <$> HSE.parseExp e) named of
+      HSE.ParseOk decls -> anyCycles decls
+      _ -> error "Parse failed."
 
 --------------------------------------------------------------------------------
 -- Get free variables of an HSE expression
@@ -480,21 +483,21 @@ freeVariables =
       HSE.Qual _ (HSE.ModuleName _ "Main") (HSE.Ident _ name) -> pure name
       _ -> Nothing
 
--- freeVariablesSpec :: Spec
--- freeVariablesSpec = do
---  it "freeVariables" $ shouldBe (try "\\z -> Main.x * Z.y") ["x"]
---   where try e = case fmap freeVariables $ HSE.parseExp e of
---            HSE.ParseOk names -> names
---            _ -> error "Parse failed."
+freeVariablesSpec :: Spec
+freeVariablesSpec = do
+ it "freeVariables" $ shouldBe (try "\\z -> Main.x * Z.y") ["x"]
+  where try e = case fmap freeVariables $ HSE.parseExp e of
+           HSE.ParseOk names -> names
+           _ -> error "Parse failed."
 
 --------------------------------------------------------------------------------
 -- Test everything
 
--- spec :: Spec
--- spec = do
---   anyCyclesSpec
---   freeVariablesSpec
---   desugarTypeSpec
+spec :: Spec
+spec = do
+  anyCyclesSpec
+  freeVariablesSpec
+  desugarTypeSpec
 
 --------------------------------------------------------------------------------
 -- Supported type constructors

brossa.cabal

@@ -18,14 +18,16 @@ executable hell
       Paths_brossa
   ghc-options: -threaded -rtsopts -with-rtsopts=-N
   build-depends:
-      async
+      QuickCheck
+    , async
     , base >=4.17.2.1
     , bytestring
     , constraints
     , containers
     , directory
     , ghc-prim
     , haskell-src-exts
+    , hspec
     , mtl
     , optparse-applicative
     , syb

package.yaml

@@ -18,6 +18,8 @@ dependencies:
 - constraints
 - typed-process
 - optparse-applicative
+- hspec
+- QuickCheck
 
 executables:
   hell: