Got it. Thank you. On Thu, Jun 24, 2021 at 10:04 AM Matthew Flatt <mfl...@cs.utah.edu> wrote:
> Procedures with contracts are usually implemented by structs that have > `prop:procedure`. Those applicable structs are not procedures from Chez > Scheme's perspective. So, in the "Rumble" layer that bridges Chez > Scheme and Racket, care must be taken to use a special `|#%app|` form > instead of direct function application when the function to call might > be from the Racket layer and implemented as an applicable struct. > > Parameters are implemented in the Rumble layer, but applying a > parameter's guard procedure didn't use `|#%app|` as it should have. The > repair was to add `|#%app|`. > > At Thu, 24 Jun 2021 09:55:39 -0400, David Storrs wrote: > > Great! You're the best, Matt. What was the issue, if it's simple enough > to > > explain? > > > > On Wed, Jun 23, 2021, 11:53 PM Matthew Flatt <mfl...@cs.utah.edu> wrote: > > > > > Hi David, > > > > > > Thanks for the report! This is fixed for the next release and in > > > the current snapshots. > > > > > > The repair was commit > > > > > > cb959879de21406571fb0127ded88c54e171c0eb > > > > > > See also https://github.com/racket/racket/issues/3865 > > > > > > > > > Matthew > > > > > > > > > At Wed, 23 Jun 2021 22:30:53 -0400, David Storrs wrote: > > > > I'm seeing an "invalid memory reference. Some debugging context > lost" > > > > error when using a parameter that has a guard function AND the guard > > > > function is user-defined AND the guard function has a contract on it. > > > What > > > > is the right place to file this aside from the list? > > > > > > > > Demonstration: > > > > > > > > #lang racket/base > > > > > > > > (require racket/contract) > > > > > > > > (define p1 (make-parameter "")) > > > > (displayln "before set p1") > > > > (p1 "ok") > > > > (displayln "before read p1") > > > > (p1) > > > > > > > > (define/contract p2 (parameter/c string?) (make-parameter "")) > > > > (displayln "before set p2") > > > > (p2 "ok") > > > > (displayln "before read p2") > > > > (p2) > > > > > > > > > > > > (define/contract p3 (parameter/c string? integer?) (make-parameter > "7" > > > > string->number )) > > > > (displayln "before set p3") > > > > (p3 "8") > > > > (displayln "before read p3") > > > > (p3) > > > > > > > > (define (uncontracted-string->number v) > > > > (string->number v)) > > > > > > > > (define/contract (contracted-string->number v) > > > > (-> string? number?) > > > > (string->number v)) > > > > > > > > (define/contract p4 (parameter/c string? integer?) (make-parameter > "7" > > > > uncontracted-string->number)) > > > > (displayln "before set p4") > > > > (p4 "8") > > > > (displayln "before read p4") > > > > (p4) > > > > > > > > (define/contract p5 (parameter/c string? integer?) (make-parameter > "7" > > > > contracted-string->number)) > > > > (displayln "before set p5") > > > > (p5 "8") > > > > (displayln "before read p5") > > > > (p5) ; invalid memory reference. Some debugging context lost > > > > > > > > -- > > > > 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/CAE8gKoegLAOk9mHjKRNAJniki_6DHXJe > > > > OKcjPFa75vPkJqemjw%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/CAE8gKodFEaCLcviocskdiQ1iac7icxqt5sKyBD89Tafw%3DRZn6Q%40mail.gmail.com.
