Hi guys, This is a little tricky to explain, so I’ll give a small example:
[define/contract [foo x) (-> integer? not-x/c) body …) In this case the not-x/c is what I’m asking about. Some way that the contract can refer to a previous argument value? Ordinarily this would be a predicate, but the parameters don’t appear to be in the scope of the contract. so ((λ (v) (not (= v x))) won’t work here, but it gets at the issue I”m interested in. I could of course interrogate the arguments inside the body of the function, but was wondering if a contract could do so. Kevin -- 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/33F99A77-8609-4C37-AF59-E407A38A066A%40gmail.com. For more options, visit https://groups.google.com/d/optout.
