From 499f36ee69a9946a0ad06cc23110bb8362668c44 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 12 May 2010 17:05:09 -0400 Subject: [PATCH] add simple test --- collects/tests/typed-scheme/succeed/even-odd.rkt | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/collects/tests/typed-scheme/succeed/even-odd.rkt b/collects/tests/typed-scheme/succeed/even-odd.rkt index b26a054bf8..f9a57574fb 100644 --- a/collects/tests/typed-scheme/succeed/even-odd.rkt +++ b/collects/tests/typed-scheme/succeed/even-odd.rkt @@ -7,6 +7,10 @@ (define-type EvenParity (Rec Even (U '() (Z Even) (O (Rec Odd (U (Z Odd) (O Even))))))) (define-type OddParity (Rec Odd (U (Z Odd) (O (Rec Even (U '() (Z Even) (O Odd))))))) +(define: x : (Z EvenParity) (make-Z null)) +(Z-b x) + + (: append-one (case-lambda (EvenParity -> OddParity) (OddParity -> EvenParity) (Bitstring -> Bitstring)))