Update re Robby
This commit is contained in:
parent
b055db088c
commit
26943d9735
|
@ -1,4 +1,6 @@
|
||||||
#lang racket
|
#lang racket/base
|
||||||
|
(require racket/contract/base)
|
||||||
|
|
||||||
(define-struct event () #:prefab)
|
(define-struct event () #:prefab)
|
||||||
(define-struct (stdout event) (bytes) #:prefab)
|
(define-struct (stdout event) (bytes) #:prefab)
|
||||||
(define-struct (stderr event) (bytes) #:prefab)
|
(define-struct (stderr event) (bytes) #:prefab)
|
||||||
|
@ -11,7 +13,11 @@
|
||||||
(- (status-end s) (status-start s)))
|
(- (status-end s) (status-start s)))
|
||||||
|
|
||||||
(provide/contract
|
(provide/contract
|
||||||
[struct event ()]
|
;; Notice the event? is basically (or/c stdout? stderr?) because
|
||||||
|
;; event is not exposed, so the only event?s that can exist are these
|
||||||
|
;; two.
|
||||||
|
[event?
|
||||||
|
(-> any/c boolean?)]
|
||||||
[struct (stdout event) ([bytes bytes?])]
|
[struct (stdout event) ([bytes bytes?])]
|
||||||
[struct (stderr event) ([bytes bytes?])]
|
[struct (stderr event) ([bytes bytes?])]
|
||||||
[struct status ([start number?]
|
[struct status ([start number?]
|
||||||
|
|
Loading…
Reference in New Issue
Block a user