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

Test for appropriate predicates for invariant structs.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2012-09-27 17:26:10 -04:00
parent ee4ba2e3dd
commit cab90c16d5
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
collects/tests/typed-racket/succeed/structs-variance.rkt Normal file
View File

@ -0,0 +1,14 @@
#lang typed/racket
(struct: (A) x ([f : (A -> A)]))
(struct: (B) y ([f : (x B)]))
(: f : (U Integer (y Integer)) -> Integer)
(define (f v)
(if (y? v)
((x-f (y-f v)) 0)
v))
(f 17)
(f (y (x (lambda: ([n : Integer]) (+ 2 n)))))