On Wednesday, 7 October 2015 20:06:41 UTC+2, bluescarni wrote: > > I think in FLINT you also have the issue that you are using tagged > pointers (last time I checked anyway). >
Yeah, we merged some patches recently to fix some of the issues here. I don't think we got them all yet. Sometimes compilers actually give warnings about this, but in a few cases I'm pretty convinced the compiler warning is actually incorrect. Eventually we'll sort it out. > > On 7 October 2015 at 20:03, Bill Hart <goodwi...@googlemail.com > <javascript:>> wrote: > >> >> >> On Wednesday, 7 October 2015 19:48:54 UTC+2, bluescarni wrote: >>> >>> PARI requires (required?) sizeof(mp_limb_t)==sizeof(void*), which is not >>> guaranteed and not enforceable by PARI (as it's up to GMP to decide what >>> exactly an mp_limb_t is). >>> >> >> I think I understand now. I was misled by the person claiming Pari >> required sizeof(long) == sizeof(void*) and Bill Allombert debunking it. >> Bill was of course correct (he is a Pari dev). >> >> As for assuming sizeof(mp_limb_t) == sizeof(void*) we probably have the >> same issue in Flint. We will very slowly address this and have been making >> patches here and there. It's not a priority. >> >> However, that issue is entirely irrelevant to MSYS2. By default on that >> system both sizeof(mp_limb_t) and sizeof(void*) are 8 on Windows 64. >> >> The x32 issue is only affecting people who are wanting to support this >> trendy new ABI. >> >> Bill. >> >> -- >> You received this message because you are subscribed to the Google Groups >> "sage-devel" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to sage-devel+...@googlegroups.com <javascript:>. >> To post to this group, send email to sage-...@googlegroups.com >> <javascript:>. >> Visit this group at http://groups.google.com/group/sage-devel. >> For more options, visit https://groups.google.com/d/optout. >> > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
