From ca46d80189058d612d0ecbae650dba59d8dc7546 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 2 Oct 2015 15:32:50 -0600 Subject: [PATCH] fix use of `code:contract` Unlike `code:comment`, which wants a string or other content, `code:contract` wants datums. --- .../scribblings/guide/typed-untyped-interaction.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-doc/typed-racket/scribblings/guide/typed-untyped-interaction.scrbl b/typed-racket-doc/typed-racket/scribblings/guide/typed-untyped-interaction.scrbl index 7066d788..d046be40 100644 --- a/typed-racket-doc/typed-racket/scribblings/guide/typed-untyped-interaction.scrbl +++ b/typed-racket-doc/typed-racket/scribblings/guide/typed-untyped-interaction.scrbl @@ -104,7 +104,7 @@ function: (module increment racket (provide increment) - (code:contract "increment : exact-integer? -> exact-integer?") + (code:contract increment : exact-integer? -> exact-integer?) (define (increment x) "this is broken")) ]