From 5308710cd14e44fae2a7e9b2daa91defc597a037 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 22 Oct 2008 21:07:31 +0000 Subject: [PATCH] Fix tests with even? Add test for struct syntax info. svn: r12095 original commit: 24c4d0b3fc067072677cd6037657247a315aaccb --- collects/tests/typed-scheme/succeed/barland.ss | 2 +- collects/tests/typed-scheme/succeed/little-schemer.ss | 3 ++- collects/tests/typed-scheme/succeed/struct-out.ss | 3 +++ 3 files changed, 6 insertions(+), 2 deletions(-) create mode 100644 collects/tests/typed-scheme/succeed/struct-out.ss diff --git a/collects/tests/typed-scheme/succeed/barland.ss b/collects/tests/typed-scheme/succeed/barland.ss index 52e41e04..6658888c 100644 --- a/collects/tests/typed-scheme/succeed/barland.ss +++ b/collects/tests/typed-scheme/succeed/barland.ss @@ -6,7 +6,7 @@ (define: (element-of? [elt : top] [s : set]) : top (s elt)) -(define: (evens [elt : top]) : top (and (number? elt) (even? elt))) +(define: (evens [elt : top]) : top (and (integer? elt) (even? elt))) (define-typed-struct pr ([fst : top] [snd : top])) diff --git a/collects/tests/typed-scheme/succeed/little-schemer.ss b/collects/tests/typed-scheme/succeed/little-schemer.ss index 95b19e8b..72725185 100644 --- a/collects/tests/typed-scheme/succeed/little-schemer.ss +++ b/collects/tests/typed-scheme/succeed/little-schemer.ss @@ -334,9 +334,10 @@ (build (second (first pair)) (second pair)))) +;; changed to test for integer? before even? check. (define: (collatz [n : number]) : number (cond [(one? n) 1] - [(even? n) (collatz (/ n 2))] + [(and (integer? n) (even? n)) (collatz (/ n 2))] [else (collatz (add1 (* 3 n)))])) diff --git a/collects/tests/typed-scheme/succeed/struct-out.ss b/collects/tests/typed-scheme/succeed/struct-out.ss new file mode 100644 index 00000000..eff477ad --- /dev/null +++ b/collects/tests/typed-scheme/succeed/struct-out.ss @@ -0,0 +1,3 @@ +#lang typed-scheme +(require-typed-struct posn ([x : Number] [y : Number]) lang/posn) +(provide (struct-out posn))