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

Changed TR test to use struct with struct info instead of HTDP struct.

Browse Source
This commit is contained in:
Eric Dobson 2011-07-02 14:54:08 -04:00 committed by Vincent St-Amour
parent 805e1fb309
commit b25ee81d79
1 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
collects/tests/typed-scheme/succeed/struct-out.rkt
View File

@ -1,3 +1,11 @@
#lang typed-scheme #lang racket/load
(require-typed-struct posn ([x : Number] [y : Number]) #:extra-constructor-name make-posn lang/posn)
(provide (struct-out posn)) (module untyped racket/base
(struct posn (x y))
(provide (struct-out posn)))
(module typed typed/racket/base
(require-typed-struct posn ((x : Real) (y : Real)) 'untyped)
(provide (struct-out posn)))
(require 'typed)