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/CAE8gKofUXLECAnJmCBOSfZ3UZP70PzZBKNwcV3U9DBv4jkQ5LA%40mail.gmail.com.
