Regression test: TH with cbits

Author: aherrmann

tests/template-haskell-with-cbits/BUILD.bazel

@@ -0,0 +1,19 @@
+load(
+    "@rules_haskell//haskell:defs.bzl",
+    "haskell_test",
+)
+
+package(default_testonly = 1)
+
+haskell_test(
+    name = "template-haskell-with-cbits",
+    srcs = [
+        "Main.hs",
+        "TH.hs",
+    ],
+    deps = [
+        "//tests/data:ourclibrary",
+        "//tests/hackage:base",
+        "//tests/hackage:template-haskell",
+    ],
+)

tests/template-haskell-with-cbits/Main.hs

@@ -0,0 +1,14 @@
+{-# LANGUAGE TemplateHaskell #-}
+
+module Main where
+
+import Control.Monad (unless)
+import System.Exit (exitFailure)
+import System.IO (hPutStrLn, stderr)
+import TH (value)
+
+main :: IO ()
+main =
+  unless ($(value) == 42) $ do
+    hPutStrLn stderr "Expected 42"
+    exitFailure

tests/template-haskell-with-cbits/TH.hs

@@ -0,0 +1,10 @@
+{-# LANGUAGE TemplateHaskell #-}
+
+module TH where
+
+import Language.Haskell.TH
+
+foreign import ccall "c_add_one" c_add_one' :: Int -> Int
+
+value :: Q Exp
+value = [| c_add_one' 41 |]