typed-racket/typed-racket-test/succeed/pr11509.rkt
2014-12-16 10:07:25 -05:00

26 lines
507 B
Racket

#lang racket/load
(module server racket
(define-struct pt [x y])
(define-struct (cpt pt) [color])
(provide (all-defined-out)))
(module client racket
(require 'server)
(match (cpt 100 200 'red)
[(cpt x y c) (list x y c)]))
(module tclient typed/racket
(require-typed-struct
pt ([x : Integer] [y : Integer])
'server)
(require-typed-struct
(cpt pt) ([color : Symbol])
'server)
(match (cpt 100 200 'red)
[(cpt x y c) (list x y c)]))
(require 'client)
(require 'tclient)