> On Dec 15, 2016, at 3:16 PM, Robby Findler <ro...@eecs.northwestern.edu> > wrote: > > But if you want to know more about how they could be different, you > might want to consider this example from section 1 of the paper. It > will (randomly) assign blame to any of the three submodules.
Hmm. That example is helpful to see, but I’m still a little confused. How is its behavior any different from a picky dependent contract? It seems to me like that behavior would be the same, but I can’t know for sure, since Racket does not provide a picky dependent contract combinator. -- 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.
