From c7a7eb0a58c804471a8899ca0265463dd4242044 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Wed, 9 Jun 2010 13:57:17 +0200 Subject: [PATCH] Export Symbol contract into HtDP teaching languages. --- collects/lang/htdp-advanced.rkt | 2 +- collects/lang/htdp-beginner-abbr.rkt | 2 +- collects/lang/htdp-beginner.rkt | 2 +- collects/lang/htdp-intermediate-lambda.rkt | 2 +- collects/lang/htdp-intermediate.rkt | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/collects/lang/htdp-advanced.rkt b/collects/lang/htdp-advanced.rkt index dfa6406199..2c8bf12fcd 100644 --- a/collects/lang/htdp-advanced.rkt +++ b/collects/lang/htdp-advanced.rkt @@ -60,7 +60,7 @@ empty true false contract : -> mixed one-of predicate combined - Number Real Rational Integer Natural Boolean True False String Char Empty-list + Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list property) ;; procedures: diff --git a/collects/lang/htdp-beginner-abbr.rkt b/collects/lang/htdp-beginner-abbr.rkt index 916f54a903..b17e6dc791 100644 --- a/collects/lang/htdp-beginner-abbr.rkt +++ b/collects/lang/htdp-beginner-abbr.rkt @@ -44,7 +44,7 @@ empty true false contract : -> mixed one-of predicate combined - Number Real Rational Integer Natural Boolean True False String Char Empty-list + Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list property) ;; procedures: diff --git a/collects/lang/htdp-beginner.rkt b/collects/lang/htdp-beginner.rkt index 32280ade34..d9306622fe 100644 --- a/collects/lang/htdp-beginner.rkt +++ b/collects/lang/htdp-beginner.rkt @@ -45,7 +45,7 @@ empty true false contract : -> mixed one-of predicate combined - Number Real Rational Integer Natural Boolean True False String Char Empty-list + Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list property) (require (for-syntax "private/firstorder.ss")) diff --git a/collects/lang/htdp-intermediate-lambda.rkt b/collects/lang/htdp-intermediate-lambda.rkt index 284fbac2df..6cc431ee3a 100644 --- a/collects/lang/htdp-intermediate-lambda.rkt +++ b/collects/lang/htdp-intermediate-lambda.rkt @@ -48,7 +48,7 @@ empty true false contract : -> mixed one-of predicate combined - Number Real Rational Integer Natural Boolean True False String Char Empty-list + Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list property) ;; procedures: diff --git a/collects/lang/htdp-intermediate.rkt b/collects/lang/htdp-intermediate.rkt index 25bf3c48b4..9e0025f20e 100644 --- a/collects/lang/htdp-intermediate.rkt +++ b/collects/lang/htdp-intermediate.rkt @@ -48,7 +48,7 @@ empty true false contract : -> mixed one-of predicate combined - Number Real Rational Integer Natural Boolean True False String Char Empty-list + Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list property) ;; procedures: