make struct-exec a little more interesting

svn: r14828

original commit: 7a24d39348fc652863895491310d101cfd7513cd
This commit is contained in:
Sam Tobin-Hochstadt 2009-05-15 15:47:57 +00:00
parent 936629c1b1
commit 3a21f89ecd

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