Re: GHC.Arr

2009-12-18 Thread Simon Marlow
From: Simon Marlow [mailto:marlo...@gmail.com] | Sent: 18 December 2009 09:31 | To: Duncan Coutts | Cc: Simon Peyton-Jones; Simon Marlow; cvs-ghc@haskell.org | Subject: Re: GHC.Arr | | On 18/12/09 05:48, Duncan Coutts wrote: |> On Thu, 2009-12-17 at 18:03 +, Simon Peyton-Jones wrote: |&

RE: GHC.Arr

2009-12-18 Thread Simon Peyton-Jones
bject: Re: GHC.Arr | | On 18/12/09 05:48, Duncan Coutts wrote: | > On Thu, 2009-12-17 at 18:03 +, Simon Peyton-Jones wrote: | >> Simon | >> | >> I'm puzzling over GHC.Arr.safeIndex | >> | >> It calls the overloaded method 'index' which does bound

Re: GHC.Arr

2009-12-18 Thread Simon Marlow
On 18/12/09 05:48, Duncan Coutts wrote: On Thu, 2009-12-17 at 18:03 +, Simon Peyton-Jones wrote: Simon I'm puzzling over GHC.Arr.safeIndex It calls the overloaded method 'index' which does bound checks on the "semantic range", by checking that i is in the range (l,u). But then safeIndex d

Re: GHC.Arr

2009-12-17 Thread Duncan Coutts
On Thu, 2009-12-17 at 18:03 +, Simon Peyton-Jones wrote: > Simon > > I'm puzzling over GHC.Arr.safeIndex > > It calls the overloaded method 'index' which does bound checks on the > "semantic range", by checking that i is in the range (l,u). But then > safeIndex does *another* range check, on