Put SSEXPTYPE in a separate module

tweag · Jan 18, 2024 · f45f5d9 · f45f5d9
1 parent 3c10e90
commit f45f5d9
Showing 1 changed file with 26 additions and 0 deletions.
diff --git a/inline-r/src/Foreign/R/Type/Singletons.hs b/inline-r/src/Foreign/R/Type/Singletons.hs
@@ -0,0 +1,26 @@
+{-# LANGUAGE ConstraintKinds #-}
+{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE ExistentialQuantification #-}
+{-# LANGUAGE GADTs #-}
+{-# LANGUAGE KindSignatures #-}
+{-# LANGUAGE StandaloneKindSignatures #-}
+{-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE TypeFamilies #-}
+
+{-# OPTIONS_GHC -Wunused-top-binds #-}
+-- |
+-- Copyright: (C) 2013 Amgen, Inc.
+--
+-- Definition of 'SSEXPTYPE'
+--
+-- This is done in a separate module to avoid errors in LH
+-- after calling genSingletons from Foreign.R.Type
+--
+module Foreign.R.Type.Singletons
+  ( SSEXPTYPE(..)
+  ) where
+
+import Foreign.R.Type
+import Data.Singletons.TH
+
+genSingletons [''SEXPTYPE]