fixes

Author: angerman

bench/data/Tuple.bcbin

@@ -59,22 +59,19 @@ test-suite spec
                     -- , data-bitcode-llvm
   default-language:  Haskell2010
 
+
 benchmark writer
   type: exitcode-stdio-1.0
-  main-is: Bench.hs
+  main-is: Prof.hs
   hs-source-dirs:
-      bench/src
-  ghc-options: -main-is Bench
+      prof/src
+  ghc-options: -main-is Prof
   build-depends:
       base >= 4.10 && < 5
-    , pretty >= 1.1
-    , bytestring >= 0.10
-    , binary >= 0.8
-    , containers >= 0.5
-    , criterion
+    , binary              
     , data-bitcode
   other-modules:
-      Bench
+      Prof
   default-language: Haskell2010
 
 benchmark bitcode

bench/data/Types.bcbin

@@ -0,0 +1,16 @@
+{-# LANGUAGE LambdaCase #-}
+module Prof where
+
+import qualified Data.BitCode.Writer.Monad as Bitcode (writeFile, withHeader)
+import qualified Data.BitCode.Writer as Bitcode (emitTopLevel)
+
+import System.Environment (getArgs)
+import Data.Binary (decodeFile)
+
+main :: IO ()
+main = getArgs >>= \case
+  [inf, outf] -> Bitcode.writeFile outf
+                 . Bitcode.withHeader True
+                 . Bitcode.emitTopLevel =<< decodeFile inf
+  _   -> putStrLn "expected InputFile OutputFile"
+

data-bitcode.cabal

@@ -170,6 +170,9 @@ lookupRecord e bs = lookup (fromEnum e) [(c,v) | NRec c v <- bs]
 class ToVal a where
   toVal :: a -> [Val]
 
+instance ToVal Word64 where
+  toVal = pure
+
 instance {-# OVERLAPPABLE #-} (Enum a) => ToVal a where
   toVal = pure . fromIntegral . fromEnum