Awesome, thanks Matthew! On Sun, May 10, 2020 at 2:05 PM Matthew Flatt <mfl...@cs.utah.edu> wrote:
> Although `_double*` isn't currently meant to be handled there --- > there's no `ptr-ref/_double` specialization --- you're right that the > problem is in the `ptr-ref/double` and similar specializations in CS. > > I've pushed a repair. > > Thanks for the report, Laurent! > > At Sun, 10 May 2020 13:57:50 +0200, Jens Axel Søgaard wrote: > > I can confirm that the bug is present in the latest snapshot of Racket CS > > on macOS. > > > > FWIW _double* is missing in this list, but I am not sure it whether it > is > > supposed to be handled here. > > > https://github.com/racket/racket/blob/920c899ba866ce59a0387862286521e3cc1dabfb/ > > racket/src/schemify/ptr-ref-set.rkt#L46 > > > > /Jens Axel > > > > Den søn. 10. maj 2020 kl. 10.51 skrev Laurent <laurent.ors...@gmail.com > >: > > > > > Correction: > > > It's not Mac vs Linux, it's Racket BC (works) vs CS (doesn't work) > > > > > > On Sun, May 10, 2020 at 9:49 AM Laurent <laurent.ors...@gmail.com> > wrote: > > > > > >> Hi all, > > >> > > >> We're trying to figure out why the last case below doesn't work on > > >> Linux, but works on MacOS. Does anyone have an explanation? > > >> The docs suggest that _double* shouldn't be different from _double for > > >> _reading_ values. > > >> > > >> More precisely, > > >> > > >> #lang racket > > >> (require ffi/unsafe) > > >> > > >> (define N 10) > > >> (define pt (malloc N _double 'atomic-interior)) > > >> (for ([i (in-range N)]) > > >> (ptr-set! pt _double* i (+ 2. i))) > > >> > > >> ;; works > > >> (for/list ([i (in-range N)]) > > >> (ptr-ref pt _double i)) > > >> > > >> ;; works > > >> (for/list ([i (in-range N)]) > > >> (ptr-ref (ptr-add pt i _double) _double*)) > > >> > > >> ;; doesn't work! > > >> (for/list ([i (in-range N)]) > > >> (ptr-ref (ptr-add pt i _double) _double)) > > >> > > >> ------ > > >> Output: > > >> (2.0 3.0 4.0 5.0 6.0 7.0 8.0 9.0 10.0 11.0) > > >> (2.0 3.0 4.0 5.0 6.0 7.0 8.0 9.0 10.0 11.0) > > >> (2.0 2.0 2.0 2.0 2.0 2.0 2.0 2.0 2.0 2.0) > > >> > > >> -- > > > You received this message because you are subscribed to the Google > Groups > > > "Racket Users" group. > > > To unsubscribe from this group and stop receiving emails from it, send > an > > > email to racket-users+unsubscr...@googlegroups.com. > > > To view this discussion on the web visit > > > > > > https://groups.google.com/d/msgid/racket-users/CABNTSaFmfgTpTrWzfcxL%2BxQCqtge5 > > Ls1eKW%2Bp0ftd%3D0q554ALg%40mail.gmail.com > > > > > < > https://groups.google.com/d/msgid/racket-users/CABNTSaFmfgTpTrWzfcxL%2BxQCqtge > > 5Ls1eKW%2Bp0ftd%3D0q554ALg% > 40mail.gmail.com?utm_medium=email&utm_source=footer> > > > . > > > > > > > > > -- > > -- > > Jens Axel Søgaard > > > > -- > > You received this message because you are subscribed to the Google > Groups > > "Racket Users" group. > > To unsubscribe from this group and stop receiving emails from it, send > an > > email to racket-users+unsubscr...@googlegroups.com. > > To view this discussion on the web visit > > > https://groups.google.com/d/msgid/racket-users/CABefVgzNsmOEx3LV%3DvmV--gu3UD6k > > HZsRCfPQm0kn32Vo_ziKw%40mail.gmail.com. > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/5eb7fc00.1c69fb81.a8f09.1621SMTPIN_ADDED_MISSING%40gmr-mx.google.com > . > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CABNTSaEvYoB%3DY8-NNLgD2GnHmcUXTqQhfS4drxgzFA%3D07Cuj-g%40mail.gmail.com.
