Initial

7 files changed, 44 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..c33954f
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+dist-newstyle/
diff --git a/cabal.project b/cabal.project
new file mode 100644
index 0000000..25dd1f1
--- /dev/null
+++ b/cabal.project
@@ -0,0 +1,2 @@
+packages: .
+with-compiler: ghc-9.8.2
diff --git a/cbits/arith.c b/cbits/arith.c
new file mode 100644
index 0000000..f1faa51
--- /dev/null
+++ b/cbits/arith.c
@@ -0,0 +1 @@
+void some_c_function(void) {}
diff --git a/repro.cabal b/repro.cabal
new file mode 100644
index 0000000..3a22448
--- /dev/null
+++ b/repro.cabal
@@ -0,0 +1,18 @@
+cabal-version:   3.0
+name:            repro
+version:         0.1.0.0
+author:          Tom Smeding
+license:         BSD-3-Clause
+build-type:      Simple
+
+library
+  exposed-modules: F A B
+  build-depends: base, template-haskell,
+  hs-source-dirs: src
+  c-sources: cbits/arith.c
+
+  cc-options: -O3 -Wall -Wextra -std=c99
+
+  default-language: Haskell2010
+  ghc-options: -Wall
+  other-extensions: TemplateHaskell
diff --git a/src/A.hs b/src/A.hs
new file mode 100644
index 0000000..3b994e1
--- /dev/null
+++ b/src/A.hs
@@ -0,0 +1,9 @@
+module A where
+
+import Language.Haskell.TH
+
+import F
+
+
+kaas :: Exp
+kaas = LitE (StringL "kaas")
diff --git a/src/B.hs b/src/B.hs
new file mode 100644
index 0000000..1b88325
--- /dev/null
+++ b/src/B.hs
@@ -0,0 +1,8 @@
+{-# LANGUAGE TemplateHaskell #-}
+module B where
+
+import A
+
+
+-- $([d| foo = $(LitE . StringL . show . isRelevant <$> [t| Ranked 4 Double |]) |])
+$([d| foo = $(return $ kaas) |])
diff --git a/src/F.hs b/src/F.hs
new file mode 100644
index 0000000..911a3db
--- /dev/null
+++ b/src/F.hs
@@ -0,0 +1,5 @@
+{-# LANGUAGE ForeignFunctionInterface #-}
+module F where
+
+
+foreign import ccall "some_c_function" c_some_c_function :: IO ()