Permalink
Browse files

comments

  • Loading branch information...
jmchapman committed Jan 10, 2019
1 parent cb2ae09 commit 37ef9040e9df3fd4b192bb7f2f9f3d910781b4d5
Showing with 16 additions and 1 deletion.
  1. +16 −1 Builtin/Constant/Type.lagda
@@ -49,15 +49,30 @@ postulate
{-# COMPILE GHC ByteString = type BS.ByteString #-}
{-# COMPILE GHC length = toInteger . BS.length #-}

-- no binding needed for addition
-- no binding needed for subtract
-- no binding needed for multiply
{-# COMPILE GHC div = div #-}
{-# COMPILE GHC quot = quot #-}
{-# COMPILE GHC rem = rem #-}
{-# COMPILE GHC mod = mod #-}
-- no binding needed for lessthan
-- no binding needed for lessthaneq
-- no binding needed for greaterthan
-- no binding needed for greaterthaneq
-- no binding needed for equals
-- no binding needed for resize
-- no binding needed for sizeOf
-- TODO: intToByteString

{-# COMPILE GHC append = BS.append #-}
{-# COMPILE GHC take = BS.take . fromIntegral #-}
{-# COMPILE GHC drop = BS.drop . fromIntegral #-}

-- TODO: sha2-256
-- TODO: sha3-256
-- TODO: verifySig
-- TODO: resizeByteString
-- no binding needed for equalsByteString
{-# COMPILE GHC empty = BS.empty #-}
\end{code}

0 comments on commit 37ef904

Please sign in to comment.