Browse thread
How to read different ints from a Bigarray?
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2009-10-28 (16:05) |
From: | Sylvain Le Gall <sylvain@l...> |
Subject: | Re: How to read different ints from a Bigarray? |
Hello, On 28-10-2009, Olivier Andrieu <oandrieu@nerim.net> wrote: > On Wed, Oct 28, 2009 at 14:54, Goswin von Brederlow <goswin-v-b@web.de> wrote: >> Yes. > > really ? Given the number of Pbigarray* constructors in the compiler > code, I'd be surprised :) > No I think that for some cases like "accessing a 64bits bigarray on a > 32bits arch" result in a C call, but otherwise it's handled by the > compiler. > Indeed I just test and you are right. I must have experienced this behavior with int64 or something like this. Regards, Sylvain Le Gall