From e7f68472e5f1d98363250b23c3c777e3865202cc Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 13 Apr 2017 09:37:00 -0500 Subject: [PATCH] the "I don't konw what name to give" name has changed; update the guide to reflect that closes #1661 --- .../scribblings/guide/contracts/simple-function.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/racket-doc/scribblings/guide/contracts/simple-function.scrbl b/pkgs/racket-doc/scribblings/guide/contracts/simple-function.scrbl index 1e4269a60c..9c77252b11 100644 --- a/pkgs/racket-doc/scribblings/guide/contracts/simple-function.scrbl +++ b/pkgs/racket-doc/scribblings/guide/contracts/simple-function.scrbl @@ -363,7 +363,7 @@ on a value other than an integer, then the server is to blame. @; ---------------------------------------------------------------------- -@ctc-section[#:tag "flat-named-contracts"]{Contract Messages with ``tempN''} +@ctc-section[#:tag "flat-named-contracts"]{Contract Messages with ``???''} You wrote your module. You added contracts. You put them into the interface so that client programmers have all the information from interfaces. It's a @@ -389,7 +389,7 @@ message: (require 'bank-server) (deposit -10)] -What is the @racketerror{temp7} doing there? Wouldn't it be nice if +What is the @racketerror{???} doing there? Wouldn't it be nice if we had a name for this class of data much like we have string, number, and so on?