From 852aaed2ea8041b983e8609328f0d204a55b9fb8 Mon Sep 17 00:00:00 2001 From: Matthias Felleisen Date: Wed, 13 Oct 2010 12:48:43 -0400 Subject: [PATCH] removed signatures for now --- collects/lang/htdp-beginner-abbr.rkt | 11 ++++++----- collects/lang/htdp-beginner.rkt | 11 ++++++----- collects/lang/htdp-intermediate-lambda.rkt | 11 ++++++----- collects/lang/htdp-intermediate.rkt | 11 ++++++----- 4 files changed, 24 insertions(+), 20 deletions(-) diff --git a/collects/lang/htdp-beginner-abbr.rkt b/collects/lang/htdp-beginner-abbr.rkt index 9a82f1e8c4..535c223984 100644 --- a/collects/lang/htdp-beginner-abbr.rkt +++ b/collects/lang/htdp-beginner-abbr.rkt @@ -43,11 +43,12 @@ #%top-interaction empty true false - signature : -> mixed one-of predicate combined - Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list Any - cons-of - Property - check-property for-all ==> expect expect-within expect-member-of expect-range) +; signature : -> mixed one-of predicate combined +; Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list Any +; cons-of +; Property +; check-property for-all ==> expect expect-within expect-member-of expect-range + ) ;; procedures: (provide-and-document diff --git a/collects/lang/htdp-beginner.rkt b/collects/lang/htdp-beginner.rkt index 6107921f64..69086007b3 100644 --- a/collects/lang/htdp-beginner.rkt +++ b/collects/lang/htdp-beginner.rkt @@ -44,11 +44,12 @@ #%top-interaction empty true false - signature : -> mixed one-of predicate combined - Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list Any - cons-of - Property - check-property for-all ==> expect expect-within expect-member-of expect-range) +; signature : -> mixed one-of predicate combined +; Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list Any +; cons-of +; Property +; check-property for-all ==> expect expect-within expect-member-of expect-range + ) (require (for-syntax "private/firstorder.ss")) diff --git a/collects/lang/htdp-intermediate-lambda.rkt b/collects/lang/htdp-intermediate-lambda.rkt index ee2696b58d..7a1acb3200 100644 --- a/collects/lang/htdp-intermediate-lambda.rkt +++ b/collects/lang/htdp-intermediate-lambda.rkt @@ -47,11 +47,12 @@ #%top-interaction empty true false - signature : -> mixed one-of predicate combined - Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list Any - cons-of - Property - check-property for-all ==> expect expect-within expect-member-of expect-range) +; signature : -> mixed one-of predicate combined +; Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list Any +; cons-of +; Property +; check-property for-all ==> expect expect-within expect-member-of expect-range + ) ;; procedures: (provide-and-document diff --git a/collects/lang/htdp-intermediate.rkt b/collects/lang/htdp-intermediate.rkt index f60e643d97..8c9c806b34 100644 --- a/collects/lang/htdp-intermediate.rkt +++ b/collects/lang/htdp-intermediate.rkt @@ -47,11 +47,12 @@ #%top-interaction empty true false - signature : -> mixed one-of predicate combined - Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list Any - cons-of - Property - check-property for-all ==> expect expect-within expect-member-of expect-range) +; signature : -> mixed one-of predicate combined +; Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list Any +; cons-of +; Property +; check-property for-all ==> expect expect-within expect-member-of expect-range + ) ;; procedures: (provide-and-document