Re: What are the preconditions of newArray#

2011-08-23 Thread Simon Marlow
An Array# of size zero is a perfectly reasonable thing. If it doesn't work, it should (and I vaguely recall making it work at some point in the past, but perhaps I failed to add a test and as a result it has rotted...) Cheers, Simon On 22/08/11 17:08, Johan Tibell wrote: I agree

Re: What are the preconditions of newArray#

2011-08-23 Thread Johan Tibell
It could well be that it's some later primop that's failing due to the empty size, like my new copyArray# primop. If that's the case I could fix it but I would probably would have to add a branch to the copyArray# primop, which I'm reluctant to do. On Tue, Aug 23, 2011 at 9:47 PM, Simon Marlow

Re: What are the preconditions of newArray#

2011-08-23 Thread Simon Marlow
You could make it a precondition of copyArray#, although that's slightly less pleasant from a user's perspective. Cheers, Simon On 23/08/11 21:04, Johan Tibell wrote: It could well be that it's some later primop that's failing due to the empty size, like my new copyArray# primop. If

Re: What are the preconditions of newArray#

2011-08-23 Thread Johan Tibell
Right. That's an option. On Tue, Aug 23, 2011 at 10:31 PM, Simon Marlow marlo...@gmail.com wrote: You could make it a precondition of copyArray#, although that's slightly less pleasant from a user's perspective. Cheers,        Simon On 23/08/11 21:04, Johan Tibell wrote: It could well be

Re: What are the preconditions of newArray#

2011-08-22 Thread Johan Tibell
On Mon, Aug 22, 2011 at 5:55 AM, Edward Z. Yang ezy...@mit.edu wrote: stg_newArrayzh in rts/PrimOps.cmm doesn't appear to give any indication, so this might be a good patch to add.  But I'm curious: what would allocating Array#s of size 0 do? Null pointers? That sounds dangerous... I would

Re: What are the preconditions of newArray#

2011-08-22 Thread Edward Kmett
It would still be nice to have a consistent base case. On Mon, Aug 22, 2011 at 3:43 AM, Johan Tibell johan.tib...@gmail.comwrote: On Mon, Aug 22, 2011 at 5:55 AM, Edward Z. Yang ezy...@mit.edu wrote: stg_newArrayzh in rts/PrimOps.cmm doesn't appear to give any indication, so this might be a

Re: What are the preconditions of newArray#

2011-08-22 Thread Johan Tibell
I agree (unless it has a performance cost). I had to fix a couple of bugs in my code associated with generating zero-length arrays. On Mon, Aug 22, 2011 at 5:54 PM, Edward Kmett ekm...@gmail.com wrote: It would still be nice to have a consistent base case. On Mon, Aug 22, 2011 at 3:43 AM,

Re: What are the preconditions of newArray#

2011-08-21 Thread Edward Z. Yang
, I'm seeing a segfault which I suspect is due to allocating Array#s of size 0, using newArray#. Are zero length arrays allowed? What are the preconditions of newArray#? It'd be great if they were documented. -- Johan ___ Glasgow-haskell-users

What are the preconditions of newArray#

2011-08-19 Thread Johan Tibell
Hi, I'm seeing a segfault which I suspect is due to allocating Array#s of size 0, using newArray#. Are zero length arrays allowed? What are the preconditions of newArray#? It'd be great if they were documented. -- Johan ___ Glasgow-haskell-users