suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add simple test

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-12 17:05:09 -04:00
parent 6f7e88cfef
commit 499f36ee69
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/tests/typed-scheme/succeed/even-odd.rkt
View File

@ -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)))