Expose HasSignAndSize through Internals

leepike · May 26, 2011 · 57ff77c · 57ff77c
1 parent ce7bcd1
commit 57ff77c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Data/SBV/Internals.hs b/Data/SBV/Internals.hs
@@ -16,15 +16,15 @@ module Data.SBV.Internals (
    -- * Running symbolic programs /manually/
     Result, runSymbolic
     -- * Other internal structures useful for low-level programming
-  , SBV(..), CW, mkConstCW, genFree, genFree_
+  , SBV(..), HasSignAndSize(..), CW, mkConstCW, genFree, genFree_
   -- * Compilation to C
   , compileToC', compileToCLib', CgPgmBundle(..), CgPgmKind(..)
     -- * Integrating with the test framework
     -- $testFramework
   , module Data.SBV.Utils.SBVTest
   ) where
 
-import Data.SBV.BitVectors.Data   (Result, runSymbolic, SBV(..), CW, mkConstCW)
+import Data.SBV.BitVectors.Data   (Result, runSymbolic, SBV(..), HasSignAndSize(..), CW, mkConstCW)
 import Data.SBV.BitVectors.Model  (genFree, genFree_)
 import Data.SBV.Compilers.C       (compileToC', compileToCLib')
 import Data.SBV.Compilers.CodeGen (CgPgmBundle(..), CgPgmKind(..))