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

add simple test

Browse Source 
original commit: 499f36ee69a9946a0ad06cc23110bb8362668c44
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-12 17:05:09 -04:00
parent 136f0942bd
commit 0517b50456
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)))