17 lines
298 B
Racket
17 lines
298 B
Racket
#lang scheme/load
|
|
|
|
(module m typed-scheme
|
|
(define-struct: x ([f : (Number -> Number)]))
|
|
(: my-x x)
|
|
(define my-x (make-x (lambda: ([z : Number]) z)))
|
|
(provide (all-defined-out)))
|
|
|
|
(module n2 scheme/base
|
|
|
|
(require 'm scheme/match)
|
|
(match my-x
|
|
[(struct x (f)) (f 7)]))
|
|
|
|
|
|
(require 'n2)
|