make struct-exec a little more interesting

svn: r14828
This commit is contained in:
Sam Tobin-Hochstadt 2009-05-15 15:47:57 +00:00
parent ddefd28d6d
commit 7a24d39348

View File

@ -1,3 +1,3 @@
#lang typed-scheme
(define-typed-struct/exec X ([a : Number] [b : Boolean]) [(lambda: ([x : X]) (+ 3 )) : (X -> Number)])
(define-typed-struct/exec X ([a : Number] [b : Boolean]) [(lambda: ([x : X]) (+ 3 (X-a x))) : (X -> Number)])
((make-X 1 #f))