From 907c44ca14e479e5fa64d712703b8fbad19d1e04 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Fri, 7 Sep 2007 23:33:30 +0000 Subject: [PATCH] Fix assertions in RtClosureInspect --- compiler/ghci/RtClosureInspect.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/ghci/RtClosureInspect.hs b/compiler/ghci/RtClosureInspect.hs index 4025aa2..a05830e 100644 --- a/compiler/ghci/RtClosureInspect.hs +++ b/compiler/ghci/RtClosureInspect.hs @@ -179,7 +179,7 @@ getClosureData a = ptrsList = Array 0 (elems - 1) elems ptrs nptrs_data = [W# (indexWordArray# nptrs i) | I# i <- [0.. fromIntegral (BCI.nptrs itbl)] ] - ASSERT(fromIntegral elems >= 0) return () + ASSERT(elems >= 0) return () ptrsList `seq` return (Closure tipe (Ptr iptr) itbl ptrsList nptrs_data) @@ -766,7 +766,7 @@ unlessM condM acc = condM >>= \c -> unless c acc -- Strict application of f at index i appArr :: Ix i => (e -> a) -> Array i e -> Int -> a -appArr f (Array _ _ _ ptrs#) (I# i#) +appArr f a@(Array _ _ _ ptrs#) i@(I# i#) = ASSERT (i < length(elems a)) case indexArray# ptrs# i# of (# e #) -> f e -- 1.7.10.4