10 lines
238 B
Racket
10 lines
238 B
Racket
#lang racket/load
|
|
(module stream typed/racket
|
|
(define-type (Stream a) (Rec s (Promise (U Null (Pair a s)))))
|
|
(provide Stream))
|
|
(module m typed/racket
|
|
(require 'stream)
|
|
(: x (Stream Integer))
|
|
(define x (delay '())))
|
|
(require 'm)
|