Remove dead code
authorRoman Leshchinskiy <rl@cse.unsw.edu.au>
Thu, 29 Dec 2011 11:16:17 +0000 (11:16 +0000)
committerRoman Leshchinskiy <rl@cse.unsw.edu.au>
Thu, 29 Dec 2011 11:16:17 +0000 (11:16 +0000)
Data/Vector/Internal/Check.hs
include/vector.h

index 948e46b..2205ade 100644 (file)
@@ -16,7 +16,7 @@ module Data.Vector.Internal.Check (
   Checks(..), doChecks,
 
   error, emptyStream,
-  check, assert, checkIndex, checkLength, checkSlice
+  check, checkIndex, checkLength, checkSlice
 ) where
 
 import GHC.Base( Int(..) )
@@ -74,13 +74,6 @@ check file line kind loc msg cond x
   | not (doChecks kind) || cond = x
   | otherwise = error file line kind loc msg
 
-assert_msg :: String
-assert_msg = "assertion failure"
-
-assert :: String -> Int -> Checks -> String -> Bool -> a -> a
-{-# INLINE assert #-}
-assert file line kind loc = check file line kind loc assert_msg
-
 checkIndex_msg :: Int -> Int -> String
 {-# INLINE checkIndex_msg #-}
 checkIndex_msg (I# i#) (I# n#) = checkIndex_msg# i# n#
index a8666c5..a04bc0b 100644 (file)
@@ -9,23 +9,15 @@ import qualified Data.Vector.Internal.Check as Ck
 #endif
 
 #define ERROR(f)  (Ck.f __FILE__ __LINE__)
-#define ASSERT (Ck.assert __FILE__ __LINE__)
-#define ENSURE (Ck.f __FILE__ __LINE__)
 #define CHECK(f) (Ck.f __FILE__ __LINE__)
 
 #define BOUNDS_ERROR(f) (ERROR(f) Ck.Bounds)
-#define BOUNDS_ASSERT (ASSERT Ck.Bounds)
-#define BOUNDS_ENSURE (ENSURE Ck.Bounds)
 #define BOUNDS_CHECK(f) (CHECK(f) Ck.Bounds)
 
 #define UNSAFE_ERROR(f) (ERROR(f) Ck.Unsafe)
-#define UNSAFE_ASSERT (ASSERT Ck.Unsafe)
-#define UNSAFE_ENSURE (ENSURE Ck.Unsafe)
 #define UNSAFE_CHECK(f) (CHECK(f) Ck.Unsafe)
 
 #define INTERNAL_ERROR(f) (ERROR(f) Ck.Internal)
-#define INTERNAL_ASSERT (ASSERT Ck.Internal)
-#define INTERNAL_ENSURE (ENSURE Ck.Internal)
 #define INTERNAL_CHECK(f) (CHECK(f) Ck.Internal)