suzanne.soy/typed-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 
original commit: b25ee81d790ac3d8388cbe80bb708b6b5841d83f
This commit is contained in:
Eric Dobson 2011-07-02 14:54:08 -04:00 committed by Vincent St-Amour
parent 9e1e05efad
commit 9830474a58
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
(require-typed-struct posn ([x : Number] [y : Number]) #:extra-constructor-name make-posn lang/posn)
(provide (struct-out posn))
#lang racket/load
(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)