* nat too big?
@ 2007-06-22 22:37 skaller
2007-06-22 22:42 ` [Caml-list] " skaller
0 siblings, 1 reply; 4+ messages in thread
From: skaller @ 2007-06-22 22:37 UTC (permalink / raw)
To: caml-list
I'm getting an error in Win64 native code compiler generated code:
output_value: nat too big
What does that mean? Looks like a Marshalling bug?
--
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [Caml-list] nat too big?
2007-06-22 22:37 nat too big? skaller
@ 2007-06-22 22:42 ` skaller
2007-06-22 22:47 ` skaller
0 siblings, 1 reply; 4+ messages in thread
From: skaller @ 2007-06-22 22:42 UTC (permalink / raw)
To: caml-list
On Sat, 2007-06-23 at 08:37 +1000, skaller wrote:
> I'm getting an error in Win64 native code compiler generated code:
>
> output_value: nat too big
>
> What does that mean? Looks like a Marshalling bug?
Woops... that's an error in Ocs_scheme .. sorry for noise..
--
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [Caml-list] nat too big?
2007-06-22 22:42 ` [Caml-list] " skaller
@ 2007-06-22 22:47 ` skaller
2007-06-22 22:58 ` skaller
0 siblings, 1 reply; 4+ messages in thread
From: skaller @ 2007-06-22 22:47 UTC (permalink / raw)
To: caml-list
On Sat, 2007-06-23 at 08:42 +1000, skaller wrote:
> On Sat, 2007-06-23 at 08:37 +1000, skaller wrote:
> > I'm getting an error in Win64 native code compiler generated code:
> >
> > output_value: nat too big
> >
> > What does that mean? Looks like a Marshalling bug?
>
> Woops... that's an error in Ocs_scheme .. sorry for noise..
Double woops .. not it isn't ;(
--
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [Caml-list] nat too big?
2007-06-22 22:47 ` skaller
@ 2007-06-22 22:58 ` skaller
0 siblings, 0 replies; 4+ messages in thread
From: skaller @ 2007-06-22 22:58 UTC (permalink / raw)
To: caml-list
On Sat, 2007-06-23 at 08:47 +1000, skaller wrote:
> On Sat, 2007-06-23 at 08:42 +1000, skaller wrote:
> > On Sat, 2007-06-23 at 08:37 +1000, skaller wrote:
> > > I'm getting an error in Win64 native code compiler generated code:
> > >
> > > output_value: nat too big
> > >
> > > What does that mean? Looks like a Marshalling bug?
> >
> > Woops... that's an error in Ocs_scheme .. sorry for noise..
>
> Double woops .. not it isn't ;(
Hmm .. found it: in ocaml/otherlibs/num/nat_stubs.c,
this code is wrong:
#ifdef ARCH_SIXTYFOUR
len = len * 2; /* two 32-bit words per 64-bit digit */
if (len >= (1L << 32))
failwith("output_value: nat too big");
#endif
because 1L << 32 will overflow on _WIN64 because long
integers are still only 32 bits.
[in bugtracker]
--
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2007-06-22 22:58 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-06-22 22:37 nat too big? skaller
2007-06-22 22:42 ` [Caml-list] " skaller
2007-06-22 22:47 ` skaller
2007-06-22 22:58 ` skaller
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox