> On Jul 23, 2017, at 10:50 PM, Philip McGrath <phi...@philipmcgrath.com> wrote:
>
> If I'm following correctly, I think that's what I was trying to do, but I'm
> unclear how to give `make-deserialize-info` a variant of `make-adder` that
> has a contract. The initial example with `define/contract` was the closest
> I've come: it at least reported violations in terms of `make-adder` rather
> than `+`, but (as I now understand) it blamed the `server` module for all
> violations.
>
> -Philip
>
> On Sun, Jul 23, 2017 at 9:27 PM, Matthew Flatt <mfl...@cs.utah.edu
> <mailto:mfl...@cs.utah.edu>> wrote:
> The original example had an explicit deserializer:
>
> At Sun, 23 Jul 2017 19:54:43 -0500, Philip McGrath wrote:
> > (define deserialize-info:adder-v0
> > (make-deserialize-info make-adder
> > (λ () (error 'adder
> > "can't have cycles"))))
>
> You're constructing the deserializer with `make-adder` --- the variant
> from inside the `server` module, so it doesn't have a contract.
>
> I think this is where you want to draw a new boundary by giving
> `make-deserialize-info` a variant of `make-adder` that has a contract.
Don’t you just want this:
#lang racket
(module server racket
(require racket/serialize)
(provide (contract-out
[adder (-> natural-number/c (-> natural-number/c
natural-number/c))]))
(struct adder (base)
#:property prop:procedure
(λ (this x) (+ (adder-base this) x))
#:property prop:serializable
(make-serialize-info (λ (this) (vector (adder-base this)))
#'deserialize-info:adder-v0
#f
(or (current-load-relative-directory)
(current-directory))))
(define deserialize-info:adder-v0
(make-deserialize-info adder (λ () (error 'adder "can't have cycles"))))
(module+ deserialize-info
(provide deserialize-info:adder-v0)))
(require (submod "." server) racket/serialize)
(local ((define serialize values)
(define deserialize values))
(define x (serialize (adder 5)))
(define f (deserialize x))
(f 'not-a-number))
--
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.
For more options, visit https://groups.google.com/d/optout.
