From d2a58bc05fe1b4e295ca67522aa65d57acf8c055 Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Mon, 8 Aug 2011 16:08:40 -0500 Subject: [PATCH] Restores the explanation of define-relation contracts. --- collects/redex/redex.scrbl | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/collects/redex/redex.scrbl b/collects/redex/redex.scrbl index f5c738681f..77c8787cd8 100644 --- a/collects/redex/redex.scrbl +++ b/collects/redex/redex.scrbl @@ -1224,7 +1224,12 @@ Similar to @racket[define-judgment-form] but suitable only when every position is an input. There is no associated form corresponding to @racket[judgment-holds]; querying the result uses the same syntax as metafunction application. - + +The contract specification for a relation restricts the patterns that can +be used as input to a relation. For each argument to the relation, there +should be a single pattern, using @racket[x] or @racket[×] to separate +the argument contracts. + @examples[ #:eval redex-eval (define-language types