Skip to content

Instantly share code, notes, and snippets.

@takikawa

takikawa/Typed

Last active August 29, 2015 14:20
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save takikawa/3e20d8382adc855f2eb0 to your computer and use it in GitHub Desktop.
Save takikawa/3e20d8382adc855f2eb0 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Typed
(begin
(module run-t ....
(require (lib "typed/racket.rkt")
(lib "benchmark-util/main.rkt")
"t-view.rkt"
"../base/t-view-types.rkt"
(submod (lib "typed-racket/private/type-contract.rkt") predicates)
(lib "typed-racket/utils/utils.rkt")
(lib "typed-racket/utils/any-wrap.rkt")
(lib "typed-racket/utils/struct-type-c.rkt")
(lib "typed-racket/utils/opaque-object.rkt")
(lib "typed-racket/utils/evt-contract.rkt")
(lib "unstable/contract.rkt")
(lib "racket/contract/parametric.rkt")
(for-syntax
(lib "typed-racket/utils/utils.rkt")
(lib "typed-racket/utils/redirect-contract.rkt")
(submod "." #%contract-defs-reference)))
(provide (rename-out (run-t.84 run-t))
(rename-out (PATH.82 PATH))
(rename-out (DISABLE.80 DISABLE))
(rename-out (ENABLE.78 ENABLE))
(rename-out (DONE.76 DONE))
(rename-out (EOM.74 EOM)))
(module #%contract-defs-reference ....
(require (lib "racket/base.rkt")
(lib "racket/runtime-path.rkt")
(for-syntax (lib "racket/base.rkt")))
(provide contract-defs-submod)
(module configure-runtime ....
(require #0='#%kernel (lib "racket/runtime-config.rkt"))
(provide)
(print-as-expression '#t))
(begin
(begin-for-syntax
(let ()
(|_register-ext-files@(lib "racket/runtime-path.rkt")/1|
(#%variable-reference #%linkage)
(list
(list
'module
'(submod ".." #%contract-defs)
(#%variable-reference #%linkage)))))))
(define-values
(_contract-defs-submod)
(let ((local36
(list
'module
'(submod ".." #%contract-defs)
(#%variable-reference #%linkage))))
(apply
values
(|_resolve-paths:P@(lib "racket/runtime-path.rkt")|
(#%variable-reference #%linkage)
void
(list (#%sfs-clear local36)))))))
(module configure-runtime ....
(require #0# (lib "racket/runtime-config.rkt"))
(provide)
(print-as-expression '#t))
(begin
(begin-for-syntax (let () '#<void>))
(begin-for-syntax
(let ()
(|_add-mod!:P@(lib "typed-racket/env/env-req.rkt")|
(variable-reference->module-path-index
(#%variable-reference #%linkage)))))
(begin-for-syntax
(let ()
(define-values
(_make-redirect24.38)
(|_make-make-redirect-to-contract:P@(lib "typed-racket/utils/redirect-contract.rkt")|
|_contract-defs-submod:f@(submod "." #%contract-defs-reference)|))))
(define-syntaxes
(status-check)
(let ()
(define stx50
(#%decode-syntax
{wrap
({wrap
let
.
#1={#2=(phase-shift
0
#<module-path-index>
#<module-path-index>
#f)
#3=(module-rename
2
normal
9519
(#4=#s((all-from-module zo 0)
#<module-path-index>
2
0
()
#f
())
#4#
#4#)
()
()
#f)
#5=(module-rename #f normal 9519 () () () #f)
#6=(module-rename
1
normal
9519
(#7=#s((all-from-module zo 0)
#<module-path-index>
1
0
()
#f
())
#7#
#7#)
#8=((make-redirect24.38
.
#s((phased-module-binding module-binding 0 zo 0)
#<module-path-index>
1
make-redirect24.38
#9=#s((simple-nominal-path nominal-path 0 zo 0)
#<module-path-index>)
make-redirect24.38)))
((make-redirect24 ((9520 57598) . make-redirect24.38)))
#f)
#10=(module-rename
0
normal
9519
(#11=#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
())
#12=#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
())
#13=#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
())
#14=#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
())
#11#
#12#
#13#
#14#
#14#)
((run-t
.
#15=#s((simple-module-binding module-binding 0 zo 0)
#<module-path-index>))
(lifted.0.2 . #15#)
(lifted.2.4 . #15#)
(status-check . #15#)
(lifted.4.6 . #15#)
(lifted.6.8 . #15#)
(PATH . #15#)
(DISABLE . #15#)
(ENABLE . #15#)
(DONE . #15#)
(EOM . #15#)
(manage . #15#))
((blame23 ((9520 57597) . blame23.67))
(g36 ((9520 57628) . g36.72))
(ENABLE
((9520 57607 9520) . ENABLE.78)
((9520 57609 9520) . ENABLE.77))
(lifted.0 (57037 . lifted.0.2))
(lifted.4 (57128 . lifted.4.6))
(DONE
((9520 57603 9520) . DONE.76)
((9520 57605 9520) . DONE.75))
(g32 ((9520 57624) . g32.68))
(g34 ((9520 57626) . g34.70))
(lifted.6 (57168 . lifted.6.8))
(g35 ((9520 57627) . g35.71))
(DISABLE
((9520 57611 9520) . DISABLE.80)
((9520 57613 9520) . DISABLE.79))
(PATH
((9520 57615 9520) . PATH.82)
((9520 57617 9520) . PATH.81))
(EOM
((9520 57599 9520) . EOM.74)
((9520 57601 9520) . EOM.73))
(g33 ((9520 57625) . g33.69))
(lifted.2 (57088 . lifted.2.4))
(run-t
((9520 57619 9520) . run-t.84)
((9520 57621 9520) . run-t.83)))
#f)
#16=(module-rename
0
marked
9519
()
()
((blame23 ((9520 57597) . blame23.67))
(g36 ((9520 57628) . g36.72))
(ENABLE
((9520 57607 9520) . ENABLE.78)
((9520 57609 9520) . ENABLE.77))
(lifted.0 (57037 . lifted.0.2))
(lifted.4 (57128 . lifted.4.6))
(DONE
((9520 57603 9520) . DONE.76)
((9520 57605 9520) . DONE.75))
(g32 ((9520 57624) . g32.68))
(g34 ((9520 57626) . g34.70))
(lifted.6 (57168 . lifted.6.8))
(g35 ((9520 57627) . g35.71))
(DISABLE
((9520 57611 9520) . DISABLE.80)
((9520 57613 9520) . DISABLE.79))
(PATH
((9520 57615 9520) . PATH.82)
((9520 57617 9520) . PATH.81))
(EOM
((9520 57599 9520) . EOM.74)
((9520 57601 9520) . EOM.73))
(g33 ((9520 57625) . g33.69))
(lifted.2 (57088 . lifted.2.4))
(run-t
((9520 57619 9520) . run-t.84)
((9520 57621 9520) . run-t.83)))
#f)
(lexical
(remove-from-disabled . env5353)
(enabled . env5353))
#17=(module-rename
2
marked
9519
(#s((all-from-module zo 0)
#<module-path-index>
1
1
()
#f
#((9520) 5901)))
()
()
#f)
#18=(module-rename
1
marked
9519
(#s((all-from-module zo 0)
#<module-path-index>
0
1
()
#f
#((9520) 6235))
#s((all-from-module zo 0)
#<module-path-index>
0
1
()
#f
#((9520) 6235))
#s((all-from-module zo 0)
#<module-path-index>
0
1
()
#f
#((9520) 5901))
#s((all-from-module zo 0)
#<module-path-index>
1
0
()
#f
#((9520) 5901)))
#8#
((make-redirect24 ((9520 57598) . make-redirect24.38)))
#f)
#19=(module-rename
0
marked
9519
(#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) 5901))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) 5901))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) 5901))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) 5901))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) 5901))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) 5901))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) 5901))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) 5901)))
((lifted.0.2 . #15#)
(EOM.74 . #15#)
(DISABLE.80 . #15#)
(lifted.2.4 . #15#)
(run-t.84 . #15#)
(PATH.81 . #15#)
(run-t.83 . #15#)
(PATH.82 . #15#)
(DONE.75 . #15#)
(DISABLE.79 . #15#)
(g32.68 . #15#)
(g33.69 . #15#)
(g34.70 . #15#)
(lifted.6.8 . #15#)
(g36.72 . #15#)
(lifted.4.6 . #15#)
(ENABLE.77 . #15#)
(DONE.76 . #15#)
(ENABLE.78 . #15#)
(g35.71 . #15#)
(EOM.73 . #15#)
(blame23.67 . #15#))
((blame23 ((9520 57597) . blame23.67))
(g36 ((9520 57628) . g36.72))
(ENABLE
((9520 57607 9520) . ENABLE.78)
((9520 57609 9520) . ENABLE.77))
(lifted.0 (57037 . lifted.0.2))
(lifted.4 (57128 . lifted.4.6))
(DONE
((9520 57603 9520) . DONE.76)
((9520 57605 9520) . DONE.75))
(g32 ((9520 57624) . g32.68))
(g34 ((9520 57626) . g34.70))
(lifted.6 (57168 . lifted.6.8))
(g35 ((9520 57627) . g35.71))
(DISABLE
((9520 57611 9520) . DISABLE.80)
((9520 57613 9520) . DISABLE.79))
(PATH
((9520 57615 9520) . PATH.82)
((9520 57617 9520) . PATH.81))
(EOM
((9520 57599 9520) . EOM.74)
((9520 57601 9520) . EOM.73))
(g33 ((9520 57625) . g33.69))
(lifted.2 (57088 . lifted.2.4))
(run-t
((9520 57619 9520) . run-t.84)
((9520 57621 9520) . run-t.83)))
#f)}}
.
{wrap
({wrap
({wrap
({wrap status . #1#}
.
{wrap
({wrap
({wrap send . #1#}
.
{wrap
({wrap manage . #1#}
.
{wrap
({wrap _pat2 . #1#}
.
{wrap ({wrap _pat1 . #1#}) . #1#})
.
#1#})
.
#1#})
.
#1#})
.
#1#})
.
#1#})
.
#1#}
.
{wrap _pat3 . #1#})
.
#1#})
.
#1#}))
(define stx51
(#%decode-syntax
{wrap
({wrap
({wrap if . #1#}
.
{wrap
({wrap
({wrap boolean? . #1#}
.
#20={wrap ({wrap status . #1#}) . #1#})
.
#1#}
.
{wrap
({wrap
(#21={wrap displayln . #1#}
.
{wrap ({wrap DONE . #1#}) . #1#})
.
#1#}
.
{wrap ({wrap (#21# . #20#) . #1#}) . #1#})
.
#1#})
.
#1#})
.
#1#})
#2#
(module-rename 2 normal 20677 () () () #f)
(module-rename #f normal 20677 () () () #f)
(module-rename
1
normal
20677
(#s((all-from-module zo 0) #<module-path-index> 0 1 () #f ())
#s((all-from-module zo 0) #<module-path-index> 0 1 () #f ())
#s((all-from-module zo 0) #<module-path-index> 0 1 () #f ())
#s((all-from-module zo 0) #<module-path-index> 0 1 () #f ())
#s((all-from-module zo 0) #<module-path-index> 0 1 () #f ()))
((<lifted>
.
#s((phased-module-binding module-binding 0 zo 0)
#<module-path-index>
1
<lifted>
#9#
<lifted>))
(gen-template
.
#s((phased-module-binding module-binding 0 zo 0)
#<module-path-index>
1
gen-template
#9#
gen-template))
(<lifted>
.
#s((phased-module-binding module-binding 0 zo 0)
#<module-path-index>
1
<lifted>
#9#
<lifted>))
(<lifted>
.
#s((phased-module-binding module-binding 0 zo 0)
#<module-path-index>
1
<lifted>
#9#
<lifted>)))
()
#f)
(module-rename
0
normal
20677
(#s((all-from-module zo 0) #<module-path-index> 0 0 () #f ())
#s((all-from-module zo 0) #<module-path-index> 0 0 () #f ())
#s((all-from-module zo 0) #<module-path-index> 0 0 () #f ())
#s((all-from-module zo 0) #<module-path-index> 0 0 () #f ())
#s((all-from-module zo 0) #<module-path-index> 0 0 () #f ())
#22=#s((all-from-module zo 0) #<module-path-index> 0 0 () #f ())
#22#)
((datum . #15#)
(syntax . #15#)
(interp-gen-match . #15#)
(apply-pattern-substitute . #15#)
(catch-ellipsis-error . #15#)
(datum->syntax/shape . #15#)
(pattern-substitute . #15#)
(interp-match . #15#)
(interp-s-match . #15#)
(substitute-stop . #15#)
(syntax-case** . #15#))
()
#f)
(lexical (x . env65497) (s-exp? . env65497))
(lexical (here-stx . rnv65499))
(phase-shift 1 #<module-path-index> #<module-path-index> #f)
57022
(lexical (r . env5358))
#17#
#18#
#19#
(lexical (r . env5578))}))
(lambda (arg0-52)
'(captures:
(val/ref #%globals)
(#%syntax
|_pattern-failure@(lib "racket/private/misc.rkt")/1|
|_apply-pattern-substitute:p@(lib "racket/private/stxcase.rkt")|
|_relocate:P@(lib "racket/private/stxloc.rkt")|
|_syntax-protect:P@(lib "racket/private/stxcase-scheme.rkt")|
|_stx-null/#f:P@(lib "racket/private/stx.rkt")|
|_stx-cdr:P@(lib "racket/private/stx.rkt")|
|_stx-car:P@(lib "racket/private/stx.rkt")|
|_stx-pair?:P@(lib "racket/private/stx.rkt")|))
(let ((local53
(if (|_stx-pair?:P@(lib "racket/private/stx.rkt")| arg0-52)
(begin
(let ((unused55
(|_stx-car:P@(lib "racket/private/stx.rkt")|
arg0-52)))
'#<void>)
(let ((local57
(|_stx-cdr:P@(lib "racket/private/stx.rkt")|
arg0-52)))
(if (|_stx-pair?:P@(lib "racket/private/stx.rkt")|
local57)
(let ((local60
(|_stx-car:P@(lib "racket/private/stx.rkt")|
local57)))
(let ((local62
(let ((local63
(|_stx-cdr:P@(lib "racket/private/stx.rkt")|
(#%sfs-clear local57))))
(if (|_stx-pair?:P@(lib "racket/private/stx.rkt")|
local63)
(let ((local66
(|_stx-car:P@(lib "racket/private/stx.rkt")|
local63)))
(if local66
(if (|_stx-null/#f:P@(lib "racket/private/stx.rkt")|
(|_stx-cdr:P@(lib "racket/private/stx.rkt")|
(#%sfs-clear local63)))
local66
'#f)
'#f))
'#f))))
(if local62 (cons local60 local62) '#f)))
'#f)))
'#f)))
(if local53
(|_syntax-protect:P@(lib "racket/private/stxcase-scheme.rkt")|
(|_relocate:P@(lib "racket/private/stxloc.rkt")|
(#%sfs-clear arg0-52)
(let ((local75
(list*
(unsafe-cdr local53)
(unsafe-car (#%sfs-clear local53)))))
(|_apply-pattern-substitute:p@(lib "racket/private/stxcase.rkt")|
stx50
'(_pat2 _pat1 _pat3)
(cdr local75)
(unsafe-car (#%sfs-clear local75))
stx51))))
(begin
(#%sfs-clear local53)
(|_pattern-failure@(lib "racket/private/misc.rkt")/1|
(#%sfs-clear arg0-52)
'(remove-from-disabled enabled))))))))
(define-syntaxes
(EOM.73)
(let ()
(define stx89
(#%decode-syntax
{wrap
EOM
#2#
#3#
#5#
#6#
#10#
#16#
9520
57600
9520
#17#
#18#
#19#}))
((#%checked _make-redirect24.38) stx89)))
(define-syntaxes
(EOM.74)
(let ()
(define stx91
(#%decode-syntax
{wrap
EOM
#2#
#3#
#5#
#6#
#10#
#16#
9520
57601
9520
#17#
#18#
#19#}))
(define stx92
(#%decode-syntax
{wrap EOM . #23={#2# #3# #5# #6# #10# #16# #17# #18# #19#}}))
(let ((local93 stx91))
(if (unbox
|_typed-context?:f@(lib "typed-racket/utils/tc-utils.rkt")|)
(|_renamer:p@(lib "typed-racket/typecheck/renamer.rkt")|
stx92
(#%sfs-clear local93))
(|_renamer:p@(lib "typed-racket/typecheck/renamer.rkt")|
(#%sfs-clear local93))))))
(define-syntaxes
(DONE.75)
(let ()
(define stx98
(#%decode-syntax
{wrap
DONE
#2#
#3#
#5#
#6#
#10#
#16#
9520
57604
9520
#17#
#18#
#19#}))
((#%checked _make-redirect24.38) stx98)))
(define-syntaxes
(DONE.76)
(let ()
(define stx100
(#%decode-syntax
{wrap
DONE
#2#
#3#
#5#
#6#
#10#
#16#
9520
57605
9520
#17#
#18#
#19#}))
(define stx101 (#%decode-syntax {wrap DONE . #23#}))
(let ((local102 stx100))
(if (unbox
|_typed-context?:f@(lib "typed-racket/utils/tc-utils.rkt")|)
(|_renamer:p@(lib "typed-racket/typecheck/renamer.rkt")|
stx101
(#%sfs-clear local102))
(|_renamer:p@(lib "typed-racket/typecheck/renamer.rkt")|
(#%sfs-clear local102))))))
(define-syntaxes
(ENABLE.77)
(let ()
(define stx107
(#%decode-syntax
{wrap
ENABLE
#2#
#3#
#5#
#6#
#10#
#16#
9520
57608
9520
#17#
#18#
#19#}))
((#%checked _make-redirect24.38) stx107)))
(define-syntaxes
(ENABLE.78)
(let ()
(define stx109
(#%decode-syntax
{wrap
ENABLE
#2#
#3#
#5#
#6#
#10#
#16#
9520
57609
9520
#17#
#18#
#19#}))
(define stx110 (#%decode-syntax {wrap ENABLE . #23#}))
(let ((local111 stx109))
(if (unbox
|_typed-context?:f@(lib "typed-racket/utils/tc-utils.rkt")|)
(|_renamer:p@(lib "typed-racket/typecheck/renamer.rkt")|
stx110
(#%sfs-clear local111))
(|_renamer:p@(lib "typed-racket/typecheck/renamer.rkt")|
(#%sfs-clear local111))))))
(define-syntaxes
(DISABLE.79)
(let ()
(define stx116
(#%decode-syntax
{wrap
DISABLE
#2#
#3#
#5#
#6#
#10#
#16#
9520
57612
9520
#17#
#18#
#19#}))
((#%checked _make-redirect24.38) stx116)))
(define-syntaxes
(DISABLE.80)
(let ()
(define stx118
(#%decode-syntax
{wrap
DISABLE
#2#
#3#
#5#
#6#
#10#
#16#
9520
57613
9520
#17#
#18#
#19#}))
(define stx119 (#%decode-syntax {wrap DISABLE . #23#}))
(let ((local120 stx118))
(if (unbox
|_typed-context?:f@(lib "typed-racket/utils/tc-utils.rkt")|)
(|_renamer:p@(lib "typed-racket/typecheck/renamer.rkt")|
stx119
(#%sfs-clear local120))
(|_renamer:p@(lib "typed-racket/typecheck/renamer.rkt")|
(#%sfs-clear local120))))))
(define-syntaxes
(PATH.81)
(let ()
(define stx125
(#%decode-syntax
{wrap
PATH
#2#
#3#
#5#
#6#
#10#
#16#
9520
57616
9520
#17#
#18#
#19#}))
((#%checked _make-redirect24.38) stx125)))
(define-syntaxes
(PATH.82)
(let ()
(define stx127
(#%decode-syntax
{wrap
PATH
#2#
#3#
#5#
#6#
#10#
#16#
9520
57617
9520
#17#
#18#
#19#}))
(define stx128 (#%decode-syntax {wrap PATH . #23#}))
(let ((local129 stx127))
(if (unbox
|_typed-context?:f@(lib "typed-racket/utils/tc-utils.rkt")|)
(|_renamer:p@(lib "typed-racket/typecheck/renamer.rkt")|
stx128
(#%sfs-clear local129))
(|_renamer:p@(lib "typed-racket/typecheck/renamer.rkt")|
(#%sfs-clear local129))))))
(define-syntaxes
(run-t.83)
(let ()
(define stx134
(#%decode-syntax
{wrap
run-t
#2#
#3#
#5#
#6#
#10#
#16#
9520
57620
9520
#17#
#18#
#19#}))
((#%checked _make-redirect24.38) stx134)))
(define-syntaxes
(run-t.84)
(let ()
(define stx136
(#%decode-syntax
{wrap
run-t
#2#
#3#
#5#
#6#
#10#
#16#
9520
57621
9520
#17#
#18#
#19#}))
(define stx137 (#%decode-syntax {wrap run-t . #23#}))
(let ((local138 stx136))
(if (unbox
|_typed-context?:f@(lib "typed-racket/utils/tc-utils.rkt")|)
(|_renamer:p@(lib "typed-racket/typecheck/renamer.rkt")|
stx137
(#%sfs-clear local138))
(|_renamer:p@(lib "typed-racket/typecheck/renamer.rkt")|
(#%sfs-clear local138)))))))
(define-values
(_blame23.67)
(|_module-name-fixup:P@(lib "syntax/location.rkt")|
(|_variable-reference->module-source/submod:P@(lib "syntax/location.rkt")|
(#%variable-reference #%linkage))
'()))
(define-values (_PATH) '#rx"from (.*) to (.*)$")
(define-values (_DISABLE) '#rx"disable (.*)$")
(define-values (_ENABLE) '#rx"enable (.*)$")
(define-values (_DONE) '"done")
(define-values (_EOM) '"eom")
(define-values () (values))
(define-values
(_lifted.0.2)
(|_module-name-fixup:P@(lib "syntax/location.rkt")|
(|_variable-reference->module-source/submod:P@(lib "syntax/location.rkt")|
(#%variable-reference #%linkage))
'()))
(define-values
(_manage)
(|_do-make-object:p@(lib "racket/private/class-internal.rkt")|
_lifted.0.2
|_manage%:f@"t-view.rkt"|
'()
'()))
(define-values () (values))
(define-values
(_g32.68)
(|_flat-named-contract:p@(lib "racket/contract/private/misc.rkt")|
'String
(|_flat-contract-predicate:p@(lib "racket/contract/private/misc.rkt")|
string?)))
(define-values
(_g33.69)
(|_flat-named-contract:p@(lib "racket/contract/private/misc.rkt")|
'()
(#%closed
closure27
(lambda (arg0-158)
'(flags: preserves-marks single-result)
(null? arg0-158)))))
(define-values
(_g34.70)
(|_cons/c/proc.30:p@(lib "racket/contract/private/misc.rkt")|
_g32.68
_g33.69))
(define-values
(_g35.71)
(|_cons/c/proc.30:p@(lib "racket/contract/private/misc.rkt")|
_g32.68
_g34.70))
(define-values
(_g36.72)
(|_cons/c/proc.30:p@(lib "racket/contract/private/misc.rkt")|
_g32.68
_g35.71))
(define-values (_lifted.2.4) _g36.72)
(define-values (_lifted.4.6) _g35.71)
(define-values (_lifted.6.8) _g35.71)
(define-values
(lift28)
(lambda (arg0-166 arg1-167 arg2-168 arg3-169)
'#(core5
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt>
35
0
858
986
#f)
'(captures:
(val/ref #%modvars)
(|_wrapped-object-object@(lib "racket/private/class-wrapped.rkt")|
|_wrapped-object-neg-party@(lib "racket/private/class-wrapped.rkt")|
|_wrapped-object?@(lib "racket/private/class-wrapped.rkt")|
|_third:P@(lib "racket/list.rkt")|
|_second:P@(lib "racket/list.rkt")|
|_find-method/who:p@(lib "racket/private/class-internal.rkt")|
|_displayln:p@(lib "racket/private/misc.rkt")|
|_apply-contract:p@(lib "racket/contract/private/base.rkt")|
|_extend-parameterization@(quote #%paramz)|
|_parameterization-key@(quote #%paramz)|
_g36.72
_g35.71
_manage))
(begin
(#%sfs-clear arg3-169)
(#%sfs-clear arg2-168)
(thread
(begin0
(lambda ()
'#(...on1111/run-t.rkt:37:3
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt>
37
3
958
884
#t)
'(flags: single-result)
'(captures:
(val/ref arg0-166)
(val/ref arg1-167)
(val/ref #%modvars)
(|_wrapped-object-object@(lib "racket/private/class-wrapped.rkt")|
|_wrapped-object-neg-party@(lib "racket/private/class-wrapped.rkt")|
|_wrapped-object?@(lib "racket/private/class-wrapped.rkt")|
|_third:P@(lib "racket/list.rkt")|
|_second:P@(lib "racket/list.rkt")|
|_find-method/who:p@(lib "racket/private/class-internal.rkt")|
|_displayln:p@(lib "racket/private/misc.rkt")|
|_apply-contract:p@(lib "racket/contract/private/base.rkt")|
|_extend-parameterization@(quote #%paramz)|
|_parameterization-key@(quote #%paramz)|
_g36.72
_g35.71
_manage))
(with-continuation-mark
|_parameterization-key@(quote #%paramz)|
(|_extend-parameterization@(quote #%paramz)|
(continuation-mark-set-first
'#f
|_parameterization-key@(quote #%paramz)|)
current-input-port
(#%sfs-clear arg0-166)
current-output-port
(#%sfs-clear arg1-167))
(let ((local178 (read-line)))
(if (eof-object? local178)
'#<void>
(begin
(let ((local180
(regexp-match '#rx"from (.*) to (.*)$" local178)))
(if local180
(begin
(#%sfs-clear local178)
(let ((local183
(|_apply-contract:p@(lib "racket/contract/private/base.rkt")|
_g36.72
local180
'cast
'typed-world
(#%sfs-clear local180)
(srcloc
'"/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt"
'45
'27
'1249
'36))))
(|_displayln:p@(lib "racket/private/misc.rkt")|
(let ((local196
(|_find-method/who:p@(lib "racket/private/class-internal.rkt")|
'send
_manage
'find)))
(let ((local200
(|_second:P@(lib "racket/list.rkt")|
local183)))
(let ((local202
(|_third:P@(lib "racket/list.rkt")|
(#%sfs-clear local183))))
(if (|_wrapped-object?@(lib "racket/private/class-wrapped.rkt")|
_manage)
(if local196
((#%sfs-clear local196)
(|_wrapped-object-neg-party@(lib "racket/private/class-wrapped.rkt")|
_manage)
(|_wrapped-object-object@(lib "racket/private/class-wrapped.rkt")|
_manage)
(#%sfs-clear local200)
(#%sfs-clear local202))
(begin
(#%sfs-clear local196)
(let ((local211
(|_wrapped-object-object@(lib "racket/private/class-wrapped.rkt")|
_manage)))
((|_find-method/who:p@(lib "racket/private/class-internal.rkt")|
'send
local211
'find)
(#%sfs-clear local211)
(#%sfs-clear local200)
(#%sfs-clear local202)))))
((#%sfs-clear local196)
_manage
(#%sfs-clear local200)
(#%sfs-clear local202)))))))))
(begin
(#%sfs-clear local180)
(let ((local222
(regexp-match '#rx"disable (.*)$" local178)))
(if local222
(begin
(#%sfs-clear local178)
(let ((local225
(|_apply-contract:p@(lib "racket/contract/private/base.rkt")|
_g35.71
local222
'cast
'typed-world
(#%sfs-clear local222)
(srcloc
'"/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt"
'49
'27
'1453
'29))))
(let ((local237
(|_find-method/who:p@(lib "racket/private/class-internal.rkt")|
'send
_manage
'add-to-disabled)))
(let ((local241
(|_second:P@(lib "racket/list.rkt")|
(#%sfs-clear local225))))
(let ((local243
(if (|_wrapped-object?@(lib "racket/private/class-wrapped.rkt")|
_manage)
(if local237
((#%sfs-clear local237)
(|_wrapped-object-neg-party@(lib "racket/private/class-wrapped.rkt")|
_manage)
(|_wrapped-object-object@(lib "racket/private/class-wrapped.rkt")|
_manage)
(#%sfs-clear local241))
(begin
(#%sfs-clear local237)
(let ((local250
(|_wrapped-object-object@(lib "racket/private/class-wrapped.rkt")|
_manage)))
((|_find-method/who:p@(lib "racket/private/class-internal.rkt")|
'send
local250
'add-to-disabled)
(#%sfs-clear local250)
(#%sfs-clear
local241)))))
((#%sfs-clear local237)
_manage
(#%sfs-clear local241)))))
(if (boolean? local243)
(begin
(#%sfs-clear local243)
(|_displayln:p@(lib "racket/private/misc.rkt")|
'"done"))
(|_displayln:p@(lib "racket/private/misc.rkt")|
(#%sfs-clear local243))))))))
(begin
(#%sfs-clear local222)
(let ((local262
(regexp-match
'#rx"enable (.*)$"
(#%sfs-clear local178))))
(if local262
(let ((local265
(|_apply-contract:p@(lib "racket/contract/private/base.rkt")|
_g35.71
local262
'cast
'typed-world
(#%sfs-clear local262)
(srcloc
'"/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt"
'53
'27
'1638
'29))))
(let ((local277
(|_find-method/who:p@(lib "racket/private/class-internal.rkt")|
'send
_manage
'remove-from-disabled)))
(let ((local281
(|_second:P@(lib "racket/list.rkt")|
(#%sfs-clear local265))))
(let ((local283
(if (|_wrapped-object?@(lib "racket/private/class-wrapped.rkt")|
_manage)
(if local277
((#%sfs-clear local277)
(|_wrapped-object-neg-party@(lib "racket/private/class-wrapped.rkt")|
_manage)
(|_wrapped-object-object@(lib "racket/private/class-wrapped.rkt")|
_manage)
(#%sfs-clear local281))
(begin
(#%sfs-clear local277)
(let ((local290
(|_wrapped-object-object@(lib "racket/private/class-wrapped.rkt")|
_manage)))
((|_find-method/who:p@(lib "racket/private/class-internal.rkt")|
'send
local290
'remove-from-disabled)
(#%sfs-clear
local290)
(#%sfs-clear
local281)))))
((#%sfs-clear local277)
_manage
(#%sfs-clear local281)))))
(if (boolean? local283)
(begin
(#%sfs-clear local283)
(|_displayln:p@(lib "racket/private/misc.rkt")|
'"done"))
(|_displayln:p@(lib "racket/private/misc.rkt")|
(#%sfs-clear local283)))))))
(begin
(#%sfs-clear local262)
(|_displayln:p@(lib "racket/private/misc.rkt")|
'"message not understood"))))))))))
(|_displayln:p@(lib "racket/private/misc.rkt")| '"eom")
(flush-output))))))
(#%sfs-clear arg0-166)
(#%sfs-clear arg1-167))))))
(define-values
(_run-t)
(case-lambda
(()
'#(run-t
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt>
35
0
858
986
#f)
'(captures: (val/ref #%modvars) (lift28))
(lift28 '#f '#f '#f '#f))
((arg0-308 arg1-309)
'#(run-t
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt>
35
0
858
986
#f)
'(captures: (val/ref #%modvars) (lift28))
(lift28 (#%sfs-clear arg0-308) (#%sfs-clear arg1-309) '#t '#t))
((arg0-314)
'#(run-t
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt>
35
0
858
986
#f)
'(captures: (val/ref #%modvars) (lift28))
(lift28 (#%sfs-clear arg0-314) '#f '#t '#f))))
(module*
#%type-decl
....
(require (lib "typed-racket/types/numeric-tower.rkt")
(lib "typed-racket/env/type-name-env.rkt")
(lib "typed-racket/env/global-env.rkt")
(lib "typed-racket/env/type-alias-env.rkt")
(lib "typed-racket/types/struct-table.rkt")
(lib "typed-racket/types/abbrev.rkt")
(lib "racket/private/sort.rkt")
(for-meta -1 (submod "..")))
(provide)
(define stx319
(#%decode-syntax
#24={wrap
graph?
#2#
(module-rename 2 normal 57433 (#4# #4# #4#) () () #f)
(module-rename #f normal 57433 () () () #f)
(module-rename
1
normal
57433
(#7# #7# #7#)
#25=((make-redirect4.3
.
#s((phased-module-binding module-binding 0 zo 0)
#<module-path-index>
1
make-redirect4.3
#9#
make-redirect4.3)))
((make-redirect4 ((57434 57435) . make-redirect4.3)))
#f)
(module-rename
0
normal
57433
(#14# #14# #14#)
((Station . #15#)
(Line . #15#)
(Colors->Lines . #15#)
(Graph . #15#)
(Line* . #15#)
(graph? . #15#)
(Path . #15#)
(Station-x-Line . #15#)
(Station* . #15#)
(MBTA . #15#))
((pred-cnt (#(57437 57436) . pred-cnt.1))
(graph?1 ((57437 57438) . graph?1.5))
(graph? ((57439 57440 57439) . graph?.2))
(lifted.2 (57441 . lifted.2.4))
(blame3 ((57434 57442) . blame3.6)))
#f)
(module-rename
0
marked
57433
()
((lifted.2.4 . #15#)
(graph?1.5 . #15#)
(pred-cnt.1 . #15#)
(graph?.2
.
#26=#s((exported-nominal-module-binding module-binding 0 zo 0)
#<module-path-index>
graph?
#s((simple-nominal-path nominal-path 0 zo 0)
#<module-path-index>)
graph?)))
((pred-cnt (#(57437 57436) . pred-cnt.1))
(graph?1 ((57437 57438) . graph?1.5))
(graph? ((57439 57440 57439) . graph?.2))
(lifted.2 (57441 . lifted.2.4))
(blame3 ((57434 57442) . blame3.6)))
#f)
57437
57434
(module-rename
1
marked
57433
(#s((all-from-module zo 0)
#<module-path-index>
0
1
()
#f
#((57434) 57443))
#s((all-from-module zo 0)
#<module-path-index>
0
1
()
#f
#((57434) 57443)))
#25#
((make-redirect4 ((57434 57435) . make-redirect4.3)))
#f)
(module-rename
0
marked
57433
()
((pred-cnt.1 . #15#)
(graph?.2 . #26#)
(graph?1.5 . #15#)
(lifted.2.4 . #15#)
(blame3.6 . #15#))
((pred-cnt (#(57437 57436) . pred-cnt.1))
(graph?1 ((57437 57438) . graph?1.5))
(graph? ((57439 57440 57439) . graph?.2))
(lifted.2 (57441 . lifted.2.4))
(blame3 ((57434 57442) . blame3.6)))
#f)
#27=(phase-shift -1 #<module-path-index> #<module-path-index> #f)
(module-rename
1
marked
57444
()
()
((make-redirect4 ((57434 57435) . make-redirect4.1)))
#f)
(module-rename
0
marked
57444
(#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57434) (57433 57443)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57434) (57433 57443)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57434) (57433 57443)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57434) (57433 57443)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57434) (57433 57443)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57434) (57433 57443))))
((raw-sort.298
.
#28=#s((exported-module-binding module-binding 0 zo 0)
#<module-path-index>
sort))
(g860.299 . #15#))
((pred-cnt (#(57437 57436) . pred-cnt.3))
(graph?1 ((57437 57438) . graph?1.1))
(raw-sort (#(57434 (57433 57443)) . raw-sort.298))
(lifted.2 (57441 . lifted.2.2))
(g860 (#(57434 (57433 57445)) . g860.299))
(blame3 ((57434 57442) . blame3.4)))
#f)
(phase-shift 1 #<module-path-index> #<module-path-index> #f)
57446
(module-rename 0 marked 57447 () () () #f)
(module-rename
1
marked
57447
(#s((all-from-module zo 0)
#<module-path-index>
0
1
()
#f
#((57446) 57448))
#s((all-from-module zo 0)
#<module-path-index>
0
1
()
#f
#((57446) 57448))
#s((all-from-module zo 0)
#<module-path-index>
0
1
()
#f
#((57446) 57449))
#s((all-from-module zo 0)
#<module-path-index>
1
0
()
#f
#((57446) 57449)))
((make-redirect107.38
.
#s((phased-module-binding module-binding 0 zo 0)
#<module-path-index>
1
make-redirect107.38
#9#
make-redirect107.38)))
((make-redirect107 ((57446 57450) . make-redirect107.38)))
#f)
(module-rename
0
marked
57447
(#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57446) 57449))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57446) 57449))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57446) 57449))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57446) 57449))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57446) 57449))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57446) 57449))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57446) 57449))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57446) 57449)))
((g133.106 . #15#)
(unweighted-graph/directed1.6 . #15#)
(in-neighbors.9
.
#s((exported-nominal-module-binding module-binding 0 zo 0)
#<module-path-index>
in-neighbors
#29=#s((simple-nominal-path nominal-path 0 zo 0)
#<module-path-index>)
in-neighbors))
(in-neighbors2.12 . #15#)
(attach-edge-property3.18 . #15#)
(partial-line4.19 . #15#)
(g134.107 . #15#)
(read-t-graph.109 . #15#)
(read-t-graph.110 . #15#)
(lifted.6.8 . #15#)
(lifted.12.14 . #15#)
(lifted.3.5 . #15#)
(lifted.19.21 . #15#)
(g118.91 . #15#)
(g119.92 . #15#)
(g110.85 . #15#)
(g111.86 . #15#)
(g112.87 . #15#)
(g122.95 . #15#)
(g123.96 . #15#)
(g124.97 . #15#)
(g125.98 . #15#)
(lifted.9.11 . #15#)
(lifted.0.2 . #15#)
(lifted.23.25 . #15#)
(g128.101 . #15#)
(g129.102 . #15#)
(g120.93 . #15#)
(lifted.21.23 . #15#)
(g131.104 . #15#)
(g132.105 . #15#)
(blame106.84 . #15#)
(g114.88 . #15#)
(g115.89 . #15#)
(g116.90 . #15#)
(attach-edge-property.15
.
#s((exported-module-binding module-binding 0 zo 0)
#<module-path-index>
attach-edge-property))
(g136.108 . #15#)
(g126.99 . #15#)
(g127.100 . #15#)
(g121.94 . #15#)
(lifted.15.17 . #15#)
(g130.103 . #15#)
(unweighted-graph/directed.3
.
#s((exported-nominal-module-binding module-binding 0 zo 0)
#<module-path-index>
mk-unweighted-graph/directed
#29#
unweighted-graph/directed)))
((lifted.23 (57451 . lifted.23.25))
(lifted.21 (57452 . lifted.21.23))
(g110 ((57446 57453) . g110.85))
(lifted.15 (57454 . lifted.15.17))
(g121 ((57446 57455) . g121.94))
(read-t-graph
((57446 57457 57446) . read-t-graph.110)
((57446 57456 57446) . read-t-graph.109))
(g115 ((57446 57458) . g115.89))
(unweighted-graph/directed
((57459 57460 57459) . unweighted-graph/directed.3))
(g119 ((57446 57461) . g119.92))
(attach-edge-property
((57462 57463 57462) . attach-edge-property.15))
(g124 ((57446 57464) . g124.97))
(blame106 ((57446 57465) . blame106.84))
(g132 ((57446 57466) . g132.105))
(g123 ((57446 57467) . g123.96))
(g125 ((57446 57468) . g125.98))
(lifted.9 (57469 . lifted.9.11))
(lifted.0 (57470 . lifted.0.2))
(g111 ((57446 57471) . g111.86))
(g116 ((57446 57472) . g116.90))
(g127 ((57446 57473) . g127.100))
(g118 ((57446 57474) . g118.91))
(lifted.12 (57475 . lifted.12.14))
(g129 ((57446 57476) . g129.102))
(in-neighbors ((57477 57478 57477) . in-neighbors.9))
(g122 ((57446 57481) . g122.95))
(attach-edge-property3
((57482 57483) . attach-edge-property3.18))
(g128 ((57446 57497) . g128.101))
(g133 ((57446 57484) . g133.106))
(g120 ((57446 57485) . g120.93))
(g136 ((57446 57486) . g136.108))
(g131 ((57446 57487) . g131.104))
(lifted.6 (57488 . lifted.6.8))
(g126 ((57446 57489) . g126.99))
(g130 ((57446 57490) . g130.103))
(lifted.3 (57491 . lifted.3.5))
(unweighted-graph/directed1
((57499 57500) . unweighted-graph/directed1.6))
(g112 ((57446 57493) . g112.87))
(partial-line4 ((57494 57495) . partial-line4.19))
(g114 ((57446 57496) . g114.88))
(in-neighbors2 ((57479 57480) . in-neighbors2.12))
(g134 ((57446 57498) . g134.107))
(lifted.19 (57492 . lifted.19.21)))
#f)
#27#
(module-rename
1
marked
57501
()
()
((make-redirect107 ((57446 57450) . make-redirect107.1)))
#f)
(module-rename
0
marked
57501
(#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57446) (57447 57448)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57446) (57447 57448)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57446) (57447 57448)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57446) (57447 57448)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57446) (57447 57448)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57446) (57447 57448))))
((raw-sort.334 . #28#) (g2722.335 . #15#))
((lifted.23 (57451 . lifted.23.4))
(lifted.21 (57452 . lifted.21.5))
(g110 ((57446 57453) . g110.39))
(lifted.15 (57454 . lifted.15.9))
(g121 ((57446 57455) . g121.24))
(read-t-graph
((57446 57456 57446) . read-t-graph.2)
((57446 57457 57446) . read-t-graph.1))
(g115 ((57446 57458) . g115.32))
(g2722 (#(57446 (57447 57502)) . g2722.335))
(g119 ((57446 57461) . g119.26))
(in-neighbors2 ((57479 57480) . in-neighbors2.28))
(g124 ((57446 57464) . g124.21))
(blame106 ((57446 57465) . blame106.40))
(g132 ((57446 57466) . g132.13))
(g123 ((57446 57467) . g123.22))
(g125 ((57446 57468) . g125.20))
(g130 ((57446 57490) . g130.15))
(lifted.0 (57470 . lifted.0.36))
(g111 ((57446 57471) . g111.38))
(g128 ((57446 57497) . g128.17))
(g127 ((57446 57473) . g127.18))
(g118 ((57446 57474) . g118.27))
(g126 ((57446 57489) . g126.19))
(lifted.6 (57488 . lifted.6.30))
(lifted.12 (57475 . lifted.12.10))
(g122 ((57446 57481) . g122.23))
(attach-edge-property3
((57482 57483) . attach-edge-property3.8))
(g133 ((57446 57484) . g133.12))
(g116 ((57446 57472) . g116.31))
(g120 ((57446 57485) . g120.25))
(g136 ((57446 57486) . g136.7))
(g131 ((57446 57487) . g131.14))
(g129 ((57446 57476) . g129.16))
(raw-sort (#(57446 (57447 57448)) . raw-sort.334))
(lifted.9 (57469 . lifted.9.29))
(lifted.3 (57491 . lifted.3.35))
(g112 ((57446 57493) . g112.37))
(partial-line4 ((57494 57495) . partial-line4.3))
(g114 ((57446 57496) . g114.33))
(unweighted-graph/directed1
((57499 57500) . unweighted-graph/directed1.34))
(g134 ((57446 57498) . g134.11))
(lifted.19 (57492 . lifted.19.6)))
#f)
(phase-shift 1 #<module-path-index> #<module-path-index> #f)
57424
(module-rename
1
marked
57426
(#s((all-from-module zo 0)
#<module-path-index>
0
1
()
#f
#((57424) 57427))
#s((all-from-module zo 0)
#<module-path-index>
0
1
()
#f
#((57424) 57427)))
((make-redirect224.3
.
#s((phased-module-binding module-binding 0 zo 0)
#<module-path-index>
1
make-redirect224.3
#9#
make-redirect224.3)))
((make-redirect224 ((57424 57425) . make-redirect224.3)))
#f)
(module-rename
0
marked
57426
()
((blame223.1 . #15#) (manage%.2 . #15#) (manage%.3 . #15#))
((blame223 ((57424 57428) . blame223.1))
(manage%
((57424 57429 57424) . manage%.2)
((57424 57430 57424) . manage%.3)))
#f)
#27#
(module-rename
1
marked
57423
()
()
((make-redirect224 ((57424 57425) . make-redirect224.1)))
#f)
(module-rename
0
marked
57423
(#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57424) (57426 57427)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57424) (57426 57427)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57424) (57426 57427)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57424) (57426 57427)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57424) (57426 57427)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((57424) (57426 57427))))
((raw-sort.299 . #28#) (g3850.300 . #15#) (g3851.301 . #15#))
((blame223 ((57424 57428) . blame223.5))
(g3850 (#(57424 (57426 57431)) . g3850.300))
(manage%
((57424 57430 57424) . manage%.1)
((57424 57429 57424) . manage%.4))
(raw-sort (#(57424 (57426 57427)) . raw-sort.299))
(g3851 (#(57424 (57426 57431)) . g3851.301)))
#f)
(phase-shift 1 #<module-path-index> #<module-path-index> #f)
9520
#17#
#18#
#19#
#27#
#30=(module-rename
1
marked
58237
()
()
((make-redirect24 ((9520 57598) . make-redirect24.1)))
#f)
#31=(module-rename
0
marked
58237
(#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) (9519 6235)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) (9519 6235)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) (9519 6235)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) (9519 6235)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) (9519 6235)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) (9519 6235))))
((g4001.318 . #15#) (g4000.317 . #15#) (raw-sort.316 . #28#))
((lifted.6 (57168 . lifted.6.13))
(g36 ((9520 57628) . g36.16))
(g35 ((9520 57627) . g35.17))
(lifted.0 (57037 . lifted.0.21))
(lifted.4 (57128 . lifted.4.14))
(raw-sort (#(9520 (9519 6235)) . raw-sort.316))
(g4001 (#(9520 (9519 7759)) . g4001.318))
(g4000 (#(9520 (9519 7759)) . g4000.317))
(g32 ((9520 57624) . g32.20))
(EOM
((9520 57601 9520) . EOM.12)
((9520 57599 9520) . EOM.11))
(DONE
((9520 57605 9520) . DONE.10)
((9520 57603 9520) . DONE.9))
(ENABLE
((9520 57609 9520) . ENABLE.8)
((9520 57607 9520) . ENABLE.7))
(DISABLE
((9520 57613 9520) . DISABLE.6)
((9520 57611 9520) . DISABLE.5))
(PATH
((9520 57617 9520) . PATH.4)
((9520 57615 9520) . PATH.3))
(blame23 ((9520 57597) . blame23.22))
(g34 ((9520 57626) . g34.18))
(g33 ((9520 57625) . g33.19))
(lifted.2 (57088 . lifted.2.15))
(run-t
((9520 57621 9520) . run-t.2)
((9520 57619 9520) . run-t.1)))
#f)}))
(define stx320 (#%decode-syntax #24#))
(define stx321
(#%decode-syntax
{wrap
EOM
.
#32={#2# #3# #5# #6# #10# #16# #17# #18# #19# #27# #30# #31#}}))
(define stx322 (#%decode-syntax {wrap ENABLE . #32#}))
(define stx323
(#%decode-syntax
{wrap lifted.0 57037 #10# #17# #18# #19# #27# #30# #31#}))
(define stx324
(#%decode-syntax
{wrap lifted.6 57168 #10# #17# #18# #19# #27# #30# #31#}))
(define stx325 (#%decode-syntax {wrap manage . #32#}))
(define stx326 (#%decode-syntax {wrap DONE . #32#}))
(define stx327 (#%decode-syntax {wrap DISABLE . #32#}))
(define stx328 (#%decode-syntax {wrap PATH . #32#}))
(define stx329 (#%decode-syntax {wrap run-t . #32#}))
(define stx330
(#%decode-syntax
{wrap lifted.4 57128 #10# #17# #18# #19# #27# #30# #31#}))
(define stx331
(#%decode-syntax
{wrap lifted.2 57088 #10# #17# #18# #19# #27# #30# #31#}))
(define-values
(_g4000.317)
(|_Class*:p@(lib "typed-racket/rep/type-rep.rkt")|
'#f
(list
(list
'G
(|_*Opaque:f@(lib "typed-racket/rep/type-rep.rkt")| stx319)
'#f)
(list
'stations
(|_make-Listof:p@(lib "typed-racket/types/base-abbrev.rkt")|
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|)
'#f)
(list
'connection-on
(|_simple->:p@(lib "typed-racket/types/base-abbrev.rkt")|
(list
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|)
(|_*Set:f@(lib "typed-racket/rep/type-rep.rkt")|
(|_*Union:f@(lib "typed-racket/rep/type-rep.rkt")|
(|_sort:f@(lib "racket/private/sort.rkt")|
(list
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"green")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"E")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"D")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"C")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"B")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"red")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"Mattapan")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"Braintree")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"orange")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"blue"))
<
|_Rep-seq@(lib "typed-racket/rep/rep-utils.rkt")|
'#f))))
'#f)
(list
'bundles
(|_make-Listof:p@(lib "typed-racket/types/base-abbrev.rkt")|
(|_*Pair:f@(lib "typed-racket/rep/type-rep.rkt")|
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|
(|_*Pair:f@(lib "typed-racket/rep/type-rep.rkt")|
(|_*Set:f@(lib "typed-racket/rep/type-rep.rkt")|
(|_*Union:f@(lib "typed-racket/rep/type-rep.rkt")|
(|_sort:f@(lib "racket/private/sort.rkt")|
(list
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"green")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"E")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"D")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"C")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"B")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"red")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"Mattapan")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")|
'"Braintree")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"orange")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"blue"))
<
|_Rep-seq@(lib "typed-racket/rep/rep-utils.rkt")|
'#f)))
|_-Null:f@(lib "typed-racket/types/base-abbrev.rkt")|)))
'#f))
(list
(list 'G (|_*Opaque:f@(lib "typed-racket/rep/type-rep.rkt")| stx320))
(list
'bundles
(|_make-Listof:p@(lib "typed-racket/types/base-abbrev.rkt")|
(|_*Pair:f@(lib "typed-racket/rep/type-rep.rkt")|
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|
(|_*Pair:f@(lib "typed-racket/rep/type-rep.rkt")|
(|_*Set:f@(lib "typed-racket/rep/type-rep.rkt")|
(|_*Union:f@(lib "typed-racket/rep/type-rep.rkt")|
(|_sort:f@(lib "racket/private/sort.rkt")|
(list
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"green")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"E")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"D")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"C")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"B")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"red")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"Mattapan")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")|
'"Braintree")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"orange")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"blue"))
<
|_Rep-seq@(lib "typed-racket/rep/rep-utils.rkt")|
'#f)))
|_-Null:f@(lib "typed-racket/types/base-abbrev.rkt")|))))
(list
'connection-on
(|_simple->:p@(lib "typed-racket/types/base-abbrev.rkt")|
(list
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|)
(|_*Set:f@(lib "typed-racket/rep/type-rep.rkt")|
(|_*Union:f@(lib "typed-racket/rep/type-rep.rkt")|
(|_sort:f@(lib "racket/private/sort.rkt")|
(list
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"green")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"E")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"D")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"C")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"B")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"red")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"Mattapan")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"Braintree")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"orange")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"blue"))
<
|_Rep-seq@(lib "typed-racket/rep/rep-utils.rkt")|
'#f)))))
(list
'stations
(|_make-Listof:p@(lib "typed-racket/types/base-abbrev.rkt")|
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|)))
(list
(list
'find-path
(|_simple->:p@(lib "typed-racket/types/base-abbrev.rkt")|
(list
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|)
(|_make-Listof:p@(lib "typed-racket/types/base-abbrev.rkt")|
(|_make-Listof:p@(lib "typed-racket/types/base-abbrev.rkt")|
(|_*Pair:f@(lib "typed-racket/rep/type-rep.rkt")|
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|
(|_*Pair:f@(lib "typed-racket/rep/type-rep.rkt")|
(|_*Set:f@(lib "typed-racket/rep/type-rep.rkt")|
(|_*Union:f@(lib "typed-racket/rep/type-rep.rkt")|
(|_sort:f@(lib "racket/private/sort.rkt")|
(list
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"green")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"E")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"D")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"C")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"B")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"red")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")|
'"Mattapan")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")|
'"Braintree")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"orange")
(|_*Value:f@(lib "typed-racket/rep/type-rep.rkt")| '"blue"))
<
|_Rep-seq@(lib "typed-racket/rep/rep-utils.rkt")|
'#f)))
|_-Null:f@(lib "typed-racket/types/base-abbrev.rkt")|))))))
(list
'render
(|_simple->:p@(lib "typed-racket/types/base-abbrev.rkt")|
(list
(|_*Set:f@(lib "typed-racket/rep/type-rep.rkt")|
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|))
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|))
(list
'station
(|_simple->:p@(lib "typed-racket/types/base-abbrev.rkt")|
(list |_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|)
(|_*Union:f@(lib "typed-racket/rep/type-rep.rkt")|
(|_sort:f@(lib "racket/private/sort.rkt")|
(list
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|
(|_make-Listof:p@(lib "typed-racket/types/base-abbrev.rkt")|
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|))
<
|_Rep-seq@(lib "typed-racket/rep/rep-utils.rkt")|
'#f))))
(list
'station?
(|_simple->:p@(lib "typed-racket/types/base-abbrev.rkt")|
(list |_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|)
|_-Boolean:f@(lib "typed-racket/types/abbrev.rkt")|)))
'()
'#f))
(define-values
(_g4001.318)
(|_Class*:p@(lib "typed-racket/rep/type-rep.rkt")|
'#f
'()
(list
(list
'disabled
(|_make-Listof:p@(lib "typed-racket/types/base-abbrev.rkt")|
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|))
(list
'mbta-subways
(|_*Instance:f@(lib "typed-racket/rep/type-rep.rkt")| _g4000.317)))
(list
(list
'add-to-disabled
(|_simple->:p@(lib "typed-racket/types/base-abbrev.rkt")|
(list |_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|)
(|_*Union:f@(lib "typed-racket/rep/type-rep.rkt")|
(|_sort:f@(lib "racket/private/sort.rkt")|
(list
|_-False:f@(lib "typed-racket/types/base-abbrev.rkt")|
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|)
<
|_Rep-seq@(lib "typed-racket/rep/rep-utils.rkt")|
'#f))))
(list
'find
(|_simple->:p@(lib "typed-racket/types/base-abbrev.rkt")|
(list
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|)
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|))
(list
'remove-from-disabled
(|_simple->:p@(lib "typed-racket/types/base-abbrev.rkt")|
(list |_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|)
(|_*Union:f@(lib "typed-racket/rep/type-rep.rkt")|
(|_sort:f@(lib "racket/private/sort.rkt")|
(list
|_-False:f@(lib "typed-racket/types/base-abbrev.rkt")|
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|)
<
|_Rep-seq@(lib "typed-racket/rep/rep-utils.rkt")|
'#f)))))
'()
'#f))
(|_register-type:p@(lib "typed-racket/env/global-env.rkt")|
stx321
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|)
(|_register-type:p@(lib "typed-racket/env/global-env.rkt")|
stx322
|_-Regexp:f@(lib "typed-racket/types/abbrev.rkt")|)
(|_register-type:p@(lib "typed-racket/env/global-env.rkt")|
stx323
|_Univ:f@(lib "typed-racket/types/base-abbrev.rkt")|)
(|_register-type:p@(lib "typed-racket/env/global-env.rkt")|
stx324
|_-False:f@(lib "typed-racket/types/base-abbrev.rkt")|)
(|_register-type:p@(lib "typed-racket/env/global-env.rkt")|
stx325
(|_*Instance:f@(lib "typed-racket/rep/type-rep.rkt")| _g4001.318))
(|_register-type:p@(lib "typed-racket/env/global-env.rkt")|
stx326
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|)
(|_register-type:p@(lib "typed-racket/env/global-env.rkt")|
stx327
|_-Regexp:f@(lib "typed-racket/types/abbrev.rkt")|)
(|_register-type:p@(lib "typed-racket/env/global-env.rkt")|
stx328
|_-Regexp:f@(lib "typed-racket/types/abbrev.rkt")|)
(|_register-type:p@(lib "typed-racket/env/global-env.rkt")|
stx329
(|_simple->:p@(lib "typed-racket/types/base-abbrev.rkt")|
(list
|_-Input-Port:f@(lib "typed-racket/types/abbrev.rkt")|
|_-Output-Port:f@(lib "typed-racket/types/abbrev.rkt")|)
|_-Thread:f@(lib "typed-racket/types/abbrev.rkt")|))
(|_register-type:p@(lib "typed-racket/env/global-env.rkt")|
stx330
|_-False:f@(lib "typed-racket/types/base-abbrev.rkt")|)
(|_register-type:p@(lib "typed-racket/env/global-env.rkt")|
stx331
|_-False:f@(lib "typed-racket/types/base-abbrev.rkt")|))
(module*
#%contract-defs
....
(require (submod "..")
(submod
(lib "typed-racket/private/type-contract.rkt")
predicates)
(lib "typed-racket/utils/utils.rkt")
(lib "typed-racket/utils/any-wrap.rkt")
(lib "typed-racket/utils/struct-type-c.rkt")
(lib "typed-racket/utils/opaque-object.rkt")
(lib "typed-racket/utils/evt-contract.rkt")
(lib "unstable/contract.rkt")
(lib "racket/contract/parametric.rkt")
(for-syntax (lib "typed-racket/utils/utils.rkt")))
(provide (rename-out (run-t.102 run-t))
(rename-out (PATH.96 PATH))
(rename-out (DISABLE.93 DISABLE))
(rename-out (ENABLE.90 ENABLE))
(rename-out (DONE.87 DONE))
(rename-out (EOM.84 EOM)))
(begin
(define-syntaxes
(EOM.84)
(let ()
(define stx632
(#%decode-syntax
{wrap
EOM
#2#
#3#
#5#
#6#
#10#
#16#
9520
57600
9520
#17#
#18#
#19#
#33=(phase-shift 0 #<module-path-index> #<module-path-index> #f)
#34=(module-rename
2
marked
62562
(#s((all-from-module zo 0)
#<module-path-index>
1
1
()
#f
#((9520) (9519 5901))))
()
()
#f)
#35=(module-rename
1
marked
62562
(#s((all-from-module zo 0)
#<module-path-index>
0
1
()
#f
#((9520) (9519 5901)))
#s((all-from-module zo 0)
#<module-path-index>
1
0
()
#f
#((9520) (9519 5901))))
()
((make-redirect24 ((9520 57598) . make-redirect24.1)))
#f)
#36=(module-rename
0
marked
62562
(#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) (9519 5901)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) (9519 5901)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) (9519 5901)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) (9519 5901)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) (9519 5901)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) (9519 5901)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) (9519 5901)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) (9519 5901))))
((EOM.84 . #15#)
(generated-contract28.91 . #15#)
(idZ12.92 . #15#)
(DISABLE.93 . #15#)
(generated-contract29.94 . #15#)
(idZ15.95 . #15#)
(PATH.96 . #15#)
(idX16.108 . #15#)
(g46.97 . #15#)
(g47.98 . #15#)
(g48.99 . #15#)
(generated-contract30.100 . #15#)
(idZ18.101 . #15#)
(run-t.102 . #15#)
(idX1.103 . #15#)
(idX4.104 . #15#)
(idX7.105 . #15#)
(idX10.106 . #15#)
(idX13.107 . #15#)
(idZ6.86 . #15#)
(generated-contract26.85 . #15#)
(DONE.87 . #15#)
(g40.81 . #15#)
(generated-contract25.82 . #15#)
(idZ3.83 . #15#)
(generated-contract27.88 . #15#)
(idZ9.89 . #15#)
(ENABLE.90 . #15#))
((idZ15 ((62621 62624) . idZ15.95))
(idZ12 ((62610 62613) . idZ12.92))
(blame23 ((9520 57597) . blame23.22))
(generated-contract27
(#((9520 57610) 9519) . generated-contract27.88))
(idX1 ((62577 62578) . idX1.103))
(idX10 ((62610 62611) . idX10.106))
(lifted.2 (57088 . lifted.2.15))
(idX4 ((62588 62589) . idX4.104))
(idZ6 ((62588 62591) . idZ6.86))
(g32 ((9520 57624) . g32.20))
(EOM
(#((9520 57600 9520) 9519) . EOM.84)
((9520 57601 9520) . EOM.12)
((9520 57599 9520) . EOM.11))
(DONE
(#((9520 57604 9520) 9519) . DONE.87)
((9520 57605 9520) . DONE.10)
((9520 57603 9520) . DONE.9))
(g35 ((9520 57627) . g35.17))
(DISABLE
(#((9520 57612 9520) 9519) . DISABLE.93)
((9520 57613 9520) . DISABLE.6)
((9520 57611 9520) . DISABLE.5))
(PATH
(#((9520 57616 9520) 9519) . PATH.96)
((9520 57617 9520) . PATH.4)
((9520 57615 9520) . PATH.3))
(g40 (#((9520 57632) 9519) . g40.81))
(lifted.0 (57037 . lifted.0.21))
(ENABLE
(#((9520 57608 9520) 9519) . ENABLE.90)
((9520 57609 9520) . ENABLE.8)
((9520 57607 9520) . ENABLE.7))
(generated-contract25
(#((9520 57602) 9519) . generated-contract25.82))
(generated-contract30
(#((9520 57622) 9519) . generated-contract30.100))
(g36 ((9520 57628) . g36.16))
(generated-contract26
(#((9520 57606) 9519) . generated-contract26.85))
(lifted.4 (57128 . lifted.4.14))
(idZ18 ((62638 62641) . idZ18.101))
(idX16 ((62638 62639) . idX16.108))
(g33 ((9520 57625) . g33.19))
(idX13 ((62621 62622) . idX13.107))
(generated-contract28
(#((9520 57614) 9519) . generated-contract28.91))
(generated-contract29
(#((9520 57618) 9519) . generated-contract29.94))
(lifted.6 (57168 . lifted.6.13))
(g48 (#((9520 57640) 9519) . g48.99))
(g47 (#((9520 57639) 9519) . g47.98))
(g46 (#((9520 57638) 9519) . g46.97))
(idX7 ((62599 62600) . idX7.105))
(g34 ((9520 57626) . g34.18))
(idZ9 ((62599 62602) . idZ9.89))
(idZ3 ((62577 62580) . idZ3.83))
(run-t
(#((9520 57620 9520) 9519) . run-t.102)
((9520 57621 9520) . run-t.2)
((9520 57619 9520) . run-t.1)))
#f)}))
(define stx633
(#%decode-syntax {wrap idZ3 62580 62577 #34# #35# #36#}))
(define stx634
(#%decode-syntax
{wrap
EOM
.
#37={#2#
#3#
#5#
#6#
#10#
#16#
#17#
#18#
#19#
#33#
#34#
#35#
#36#}}))
(define stx635
(#%decode-syntax {wrap idX1 62578 62577 #34# #35# #36#}))
(|_make-provide/contract-transformer@(lib "racket/contract/private/provide.rkt")/1|
stx632
stx633
stx634
'#f
'#f
stx635)))
(define-syntaxes
(DONE.87)
(let ()
(define stx642
(#%decode-syntax
{wrap
DONE
#2#
#3#
#5#
#6#
#10#
#16#
9520
57604
9520
#17#
#18#
#19#
#33#
#34#
#35#
#36#}))
(define stx643
(#%decode-syntax {wrap idZ6 62591 62588 #34# #35# #36#}))
(define stx644 (#%decode-syntax {wrap DONE . #37#}))
(define stx645
(#%decode-syntax {wrap idX4 62589 62588 #34# #35# #36#}))
(|_make-provide/contract-transformer@(lib "racket/contract/private/provide.rkt")/1|
stx642
stx643
stx644
'#f
'#f
stx645)))
(define-syntaxes
(ENABLE.90)
(let ()
(define stx652
(#%decode-syntax
{wrap
ENABLE
#2#
#3#
#5#
#6#
#10#
#16#
9520
57608
9520
#17#
#18#
#19#
#33#
#34#
#35#
#36#}))
(define stx653
(#%decode-syntax {wrap idZ9 62602 62599 #34# #35# #36#}))
(define stx654 (#%decode-syntax {wrap ENABLE . #37#}))
(define stx655
(#%decode-syntax {wrap idX7 62600 62599 #34# #35# #36#}))
(|_make-provide/contract-transformer@(lib "racket/contract/private/provide.rkt")/1|
stx652
stx653
stx654
'#f
'#f
stx655)))
(define-syntaxes
(DISABLE.93)
(let ()
(define stx662
(#%decode-syntax
{wrap
DISABLE
#2#
#3#
#5#
#6#
#10#
#16#
9520
57612
9520
#17#
#18#
#19#
#33#
#34#
#35#
#36#}))
(define stx663
(#%decode-syntax {wrap idZ12 62613 62610 #34# #35# #36#}))
(define stx664 (#%decode-syntax {wrap DISABLE . #37#}))
(define stx665
(#%decode-syntax {wrap idX10 62611 62610 #34# #35# #36#}))
(|_make-provide/contract-transformer@(lib "racket/contract/private/provide.rkt")/1|
stx662
stx663
stx664
'#f
'#f
stx665)))
(define-syntaxes
(PATH.96)
(let ()
(define stx672
(#%decode-syntax
{wrap
PATH
#2#
#3#
#5#
#6#
#10#
#16#
9520
57616
9520
#17#
#18#
#19#
#33#
#34#
#35#
#36#}))
(define stx673
(#%decode-syntax {wrap idZ15 62624 62621 #34# #35# #36#}))
(define stx674 (#%decode-syntax {wrap PATH . #37#}))
(define stx675
(#%decode-syntax {wrap idX13 62622 62621 #34# #35# #36#}))
(|_make-provide/contract-transformer@(lib "racket/contract/private/provide.rkt")/1|
stx672
stx673
stx674
'#f
'#f
stx675)))
(define-syntaxes
(run-t.102)
(let ()
(define stx682
(#%decode-syntax
{wrap
run-t
#2#
#3#
#5#
#6#
#10#
#16#
9520
57620
9520
#17#
#18#
#19#
#33#
#34#
#35#
#36#}))
(define stx683
(#%decode-syntax {wrap idZ18 62641 62638 #34# #35# #36#}))
(define stx684 (#%decode-syntax {wrap run-t . #37#}))
(define stx685
(#%decode-syntax {wrap idX16 62639 62638 #34# #35# #36#}))
(|_make-provide/contract-transformer@(lib "racket/contract/private/provide.rkt")/1|
stx682
stx683
stx684
'#f
'#f
stx685))))
(define-values
(_g40.81)
|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|)
(define-values
(_generated-contract25.82)
(begin
'%%inline-variant%%
(lambda ()
'generated-contract25
'(flags: preserves-marks single-result)
'(captures:
(val/ref #%modvars)
(|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|))
|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|)
(lambda ()
'generated-contract25
'(flags: preserves-marks single-result)
'(captures:
(val/ref #%modvars)
(|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|))
|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|)))
(define-values
(_idZ3.83)
(let ((local692
(|_coerce-contract:P@(lib "racket/contract/private/guts.rkt")|
'define-module-boundary-contract
|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|)))
local692))
(define-values
(_generated-contract26.85)
(begin
'%%inline-variant%%
(lambda ()
'generated-contract26
'(flags: preserves-marks single-result)
'(captures:
(val/ref #%modvars)
(|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|))
|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|)
(lambda ()
'generated-contract26
'(flags: preserves-marks single-result)
'(captures:
(val/ref #%modvars)
(|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|))
|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|)))
(define-values
(_idZ6.86)
(let ((local695
(|_coerce-contract:P@(lib "racket/contract/private/guts.rkt")|
'define-module-boundary-contract
|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|)))
local695))
(define-values
(_generated-contract27.88)
(begin
'%%inline-variant%%
(lambda ()
'generated-contract27
'(flags: preserves-marks single-result)
'(captures:
(val/ref #%modvars)
(|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|))
|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|)
(lambda ()
'generated-contract27
'(flags: preserves-marks single-result)
'(captures:
(val/ref #%modvars)
(|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|))
|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|)))
(define-values
(_idZ9.89)
(let ((local698
(|_coerce-contract:P@(lib "racket/contract/private/guts.rkt")|
'define-module-boundary-contract
|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|)))
local698))
(define-values
(_generated-contract28.91)
(begin
'%%inline-variant%%
(lambda ()
'generated-contract28
'(flags: preserves-marks single-result)
'(captures:
(val/ref #%modvars)
(|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|))
|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|)
(lambda ()
'generated-contract28
'(flags: preserves-marks single-result)
'(captures:
(val/ref #%modvars)
(|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|))
|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|)))
(define-values
(_idZ12.92)
(let ((local701
(|_coerce-contract:P@(lib "racket/contract/private/guts.rkt")|
'define-module-boundary-contract
|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|)))
local701))
(define-values
(_generated-contract29.94)
(begin
'%%inline-variant%%
(lambda ()
'generated-contract29
'(flags: preserves-marks single-result)
'(captures:
(val/ref #%modvars)
(|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|))
|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|)
(lambda ()
'generated-contract29
'(flags: preserves-marks single-result)
'(captures:
(val/ref #%modvars)
(|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|))
|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|)))
(define-values
(_idZ15.95)
(let ((local704
(|_coerce-contract:P@(lib "racket/contract/private/guts.rkt")|
'define-module-boundary-contract
|_any/c/proc.57:f@(lib "racket/contract/private/misc.rkt")|)))
local704))
(define-values
(_g46.97)
(|_flat-named-contract:p@(lib "racket/contract/private/misc.rkt")|
'Input-Port
(|_flat-contract-predicate:p@(lib "racket/contract/private/misc.rkt")|
input-port?)))
(define-values
(_g47.98)
(|_flat-named-contract:p@(lib "racket/contract/private/misc.rkt")|
'Output-Port
(|_flat-contract-predicate:p@(lib "racket/contract/private/misc.rkt")|
output-port?)))
(define-values
(_g48.99)
(|_build-->:p@(lib "racket/contract/private/arrow-val-first.rkt")|
'->*
(list _g46.97 _g47.98)
'()
'()
'()
'()
'()
'#f
'#f
'#f
'#f
|_popular-plus-one-key-id8.15:P@(lib "racket/contract/private/arrow-val-first.rkt")|
|_popular-chaperone-key-id21.16:p@(lib "racket/contract/private/arrow-val-first.rkt")|))
(define-values
(_generated-contract30.100)
(begin
'%%inline-variant%%
(lambda ()
'generated-contract30
'(flags: preserves-marks single-result)
'(captures: (val/ref #%modvars) (_g48.99))
_g48.99)
(lambda ()
'generated-contract30
'(flags: preserves-marks single-result)
'(captures: (val/ref #%modvars) (_g48.99))
_g48.99)))
(define-values
(_idZ18.101)
(let ((local728
(|_coerce-contract:P@(lib "racket/contract/private/guts.rkt")|
'define-module-boundary-contract
_g48.99)))
local728))
(define-values
(_idX1.103)
(|_do-partial-app:p@(lib "racket/contract/private/provide.rkt")|
_idZ3.83
'"eom"
'EOM
|_blame23.67:f@(submod "..")|
(vector
'#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt>
'5
'1
'43
'3)))
(define-values
(_idX4.104)
(|_do-partial-app:p@(lib "racket/contract/private/provide.rkt")|
_idZ6.86
'"done"
'DONE
|_blame23.67:f@(submod "..")|
(vector
'#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt>
'6
'1
'48
'4)))
(define-values
(_idX7.105)
(|_do-partial-app:p@(lib "racket/contract/private/provide.rkt")|
_idZ9.89
'#rx"enable (.*)$"
'ENABLE
|_blame23.67:f@(submod "..")|
(vector
'#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt>
'11
'1
'141
'6)))
(define-values
(_idX10.106)
(|_do-partial-app:p@(lib "racket/contract/private/provide.rkt")|
_idZ12.92
'#rx"disable (.*)$"
'DISABLE
|_blame23.67:f@(submod "..")|
(vector
'#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt>
'10
'1
'132
'7)))
(define-values
(_idX13.107)
(|_do-partial-app:p@(lib "racket/contract/private/provide.rkt")|
_idZ15.95
'#rx"from (.*) to (.*)$"
'PATH
|_blame23.67:f@(submod "..")|
(vector
'#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt>
'9
'1
'125
'4)))
(define-values
(_idX16.108)
(|_do-partial-app:p@(lib "racket/contract/private/provide.rkt")|
_idZ18.101
|_run-t:p@(submod "..")|
'run-t
|_blame23.67:f@(submod "..")|
(vector
'#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt>
'15
'1
'278
'5))))
(module*
test
....
(require (submod "..")
(lib "typed/rackunit.rkt")
(for-syntax
(lib "typed-racket/utils/redirect-contract.rkt")
(submod "." #%contract-defs-reference)))
(provide)
(module #%contract-defs-reference ....
(require (lib "racket/base.rkt")
(lib "racket/runtime-path.rkt")
(for-syntax (lib "racket/base.rkt")))
(provide contract-defs-submod)
(module configure-runtime ....
(require #0# (lib "racket/runtime-config.rkt"))
(provide)
(print-as-expression '#t))
(begin
(begin-for-syntax
(let ()
(|_register-ext-files@(lib "racket/runtime-path.rkt")/1|
(#%variable-reference #%linkage)
(list
(list
'module
'(submod ".." #%contract-defs)
(#%variable-reference #%linkage)))))))
(define-values
(_contract-defs-submod)
(let ((local805
(list
'module
'(submod ".." #%contract-defs)
(#%variable-reference #%linkage))))
(apply
values
(|_resolve-paths:P@(lib "racket/runtime-path.rkt")|
(#%variable-reference #%linkage)
void
(list (#%sfs-clear local805)))))))
(module configure-runtime ....
(require #0# (lib "racket/runtime-config.rkt"))
(provide)
(print-as-expression '#t))
(begin
(begin-for-syntax (let () '#<void>))
(begin-for-syntax
(let ()
(|_add-mod!:P@(lib "typed-racket/env/env-req.rkt")|
(variable-reference->module-path-index
(#%variable-reference #%linkage)))))
(begin-for-syntax
(let ()
(define-values
(_make-redirect2.4)
(|_make-make-redirect-to-contract:P@(lib "typed-racket/utils/redirect-contract.rkt")|
|_contract-defs-submod:f@(submod "." #%contract-defs-reference)|)))))
(define-values
(_blame1.129)
(|_module-name-fixup:P@(lib "syntax/location.rkt")|
(|_variable-reference->module-source/submod:P@(lib "syntax/location.rkt")|
(#%variable-reference #%linkage))
'()))
(define-values (_DONE-RESULT.120) (string-append '"done" '"\n"))
(define-values () (values))
(define-values
(lift791)
(lambda ()
'#(...on1111/run-t.rkt:76:10
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt>
76
10
2413
81
#t)
'(captures: (val/ref #%modvars) (|_run-t:p@(submod "..")|))
(sync
(|_run-t:p@(submod "..")|
(current-input-port)
(current-output-port)))))
(define-values
(lift792)
(lambda ()
'#(...on1111/run-t.rkt:74:7
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt>
74
7
2360
136
#t)
'(captures:
(val/ref #%modvars)
(lift791 |_with-output-to-string:p@(lib "racket/port.rkt")|))
(|_with-output-to-string:p@(lib "racket/port.rkt")| lift791)))
(define-values
(_run-run-t-on.121)
(lambda (arg0-828)
'#(run-run-t-on
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt>
70
2
2262
358
#f)
'(flags: preserves-marks single-result)
'(captures:
(val/ref #%modvars)
(lift792 |_with-input-from-string:p@(lib "racket/port.rkt")|))
(let ((local829
(|_with-input-from-string:p@(lib "racket/port.rkt")|
(#%sfs-clear arg0-828)
lift792)))
(substring
local829
'0
(-
(unsafe-string-length local829)
(unsafe-string-length '"eom")
'1)))))
(define-values (_DISABLE-GOVERNMENT.122) '"disable Government")
(define-values (_ENABLE-GOVERNMENT.123) '"enable Government")
(define-values
(_AIRPORT-TO-NORTHEASTERN.124)
'"from Airport to Northeastern")
(define-values
(_AIRPORT-TO-NORTHEASTERN-GOV-DISABLED.125)
'"Airport Station, take blue\nMaverick Station, take blue\nAquarium Station, take blue\nState Station, take blue\n---switch from blue to orange\nDowntown Crossing Station, take orange\n---switch from orange to red\nPark Street Station, take red\n---switch from red to green\nBoylston Street Station, take green\nArlington Station, take green\nCopley Station, take green\n---ensure you are on E\nPrudential Station, take E\nSymphony Station, take E\nNortheastern University Station, take E\n")
(define-values
(lift793)
(lambda ()
'#(...on1111/run-t.rkt:76:10
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt>
76
10
2413
81
#t)
'(captures: (val/ref #%modvars) (|_run-t:p@(submod "..")|))
(sync
(|_run-t:p@(submod "..")|
(current-input-port)
(current-output-port)))))
(#%apply-values
|_print-values:p@(lib "racket/private/modbeg.rkt")|
(|_check-equal?41.30:f@(lib "typed/rackunit/main.rkt")|
(let ((local845
(|_with-input-from-string:p@(lib "racket/port.rkt")|
'"disable Government"
(lambda ()
'#(...on1111/run-t.rkt:74:7
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt>
74
7
2360
136
#t)
'(captures:
(val/ref #%modvars)
(lift793
|_with-output-to-string:p@(lib "racket/port.rkt")|))
(|_with-output-to-string:p@(lib "racket/port.rkt")|
lift793)))))
(substring
local845
'0
(-
(unsafe-string-length local845)
(unsafe-string-length '"eom")
'1)))
_DONE-RESULT.120))
(define-values
(lift794)
(lambda ()
'#(...on1111/run-t.rkt:76:10
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt>
76
10
2413
81
#t)
'(captures: (val/ref #%modvars) (|_run-t:p@(submod "..")|))
(sync
(|_run-t:p@(submod "..")|
(current-input-port)
(current-output-port)))))
(#%apply-values
|_print-values:p@(lib "racket/private/modbeg.rkt")|
(|_check-equal?41.30:f@(lib "typed/rackunit/main.rkt")|
(let ((local862
(|_with-input-from-string:p@(lib "racket/port.rkt")|
'"from Airport to Northeastern"
(lambda ()
'#(...on1111/run-t.rkt:74:7
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt>
74
7
2360
136
#t)
'(captures:
(val/ref #%modvars)
(lift794
|_with-output-to-string:p@(lib "racket/port.rkt")|))
(|_with-output-to-string:p@(lib "racket/port.rkt")|
lift794)))))
(substring
local862
'0
(-
(unsafe-string-length local862)
(unsafe-string-length '"eom")
'1)))
'"Airport Station, take blue\nMaverick Station, take blue\nAquarium Station, take blue\nState Station, take blue\n---switch from blue to orange\nDowntown Crossing Station, take orange\n---switch from orange to red\nPark Street Station, take red\n---switch from red to green\nBoylston Street Station, take green\nArlington Station, take green\nCopley Station, take green\n---ensure you are on E\nPrudential Station, take E\nSymphony Station, take E\nNortheastern University Station, take E\n"))
(define-values
(lift795)
(lambda ()
'#(...on1111/run-t.rkt:76:10
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt>
76
10
2413
81
#t)
'(captures: (val/ref #%modvars) (|_run-t:p@(submod "..")|))
(sync
(|_run-t:p@(submod "..")|
(current-input-port)
(current-output-port)))))
(#%apply-values
|_print-values:p@(lib "racket/private/modbeg.rkt")|
(|_check-equal?41.30:f@(lib "typed/rackunit/main.rkt")|
(let ((local879
(|_with-input-from-string:p@(lib "racket/port.rkt")|
'"enable Government"
(lambda ()
'#(...on1111/run-t.rkt:74:7
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt>
74
7
2360
136
#t)
'(captures:
(val/ref #%modvars)
(lift795
|_with-output-to-string:p@(lib "racket/port.rkt")|))
(|_with-output-to-string:p@(lib "racket/port.rkt")|
lift795)))))
(substring
local879
'0
(-
(unsafe-string-length local879)
(unsafe-string-length '"eom")
'1)))
_DONE-RESULT.120))
(define-values
(_AIRPORT-TO-NORTHEASTERN-PATH.126)
'"Airport Station, take blue\nMaverick Station, take blue\nAquarium Station, take blue\nState Station, take blue\nGovernment Center Station, take blue\n---switch from blue to green\nPark Street Station, take green\nBoylston Street Station, take green\nArlington Station, take green\nCopley Station, take green\n---ensure you are on E\nPrudential Station, take E\nSymphony Station, take E\nNortheastern University Station, take E\n")
(define-values
(lift796)
(lambda ()
'#(...on1111/run-t.rkt:76:10
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt>
76
10
2413
81
#t)
'(captures: (val/ref #%modvars) (|_run-t:p@(submod "..")|))
(sync
(|_run-t:p@(submod "..")|
(current-input-port)
(current-output-port)))))
(#%apply-values
|_print-values:p@(lib "racket/private/modbeg.rkt")|
(|_check-equal?41.30:f@(lib "typed/rackunit/main.rkt")|
(let ((local896
(|_with-input-from-string:p@(lib "racket/port.rkt")|
'"from Airport to Northeastern"
(lambda ()
'#(...on1111/run-t.rkt:74:7
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt>
74
7
2360
136
#t)
'(captures:
(val/ref #%modvars)
(lift796
|_with-output-to-string:p@(lib "racket/port.rkt")|))
(|_with-output-to-string:p@(lib "racket/port.rkt")|
lift796)))))
(substring
local896
'0
(-
(unsafe-string-length local896)
(unsafe-string-length '"eom")
'1)))
'"Airport Station, take blue\nMaverick Station, take blue\nAquarium Station, take blue\nState Station, take blue\nGovernment Center Station, take blue\n---switch from blue to green\nPark Street Station, take green\nBoylston Street Station, take green\nArlington Station, take green\nCopley Station, take green\n---ensure you are on E\nPrudential Station, take E\nSymphony Station, take E\nNortheastern University Station, take E\n"))
(define-values (_RUGGLES-TO-CENTRE.127) '"from Ruggles to Newton Centre")
(define-values
(_RUGGLES-TO-CENTRE-PATH.128)
'"Ruggles Station, take orange\nMassachusetts Avenue Station, take orange\nBack Bay Station, take orange\nTufts Medical Center Station, take orange\nChinatown Station, take orange\nDowntown Crossing Station, take orange\nState Station, take orange\nHaymarket Station, take orange\n---switch from orange to green\nGovernment Center Station, take green\nPark Street Station, take green\nBoylston Street Station, take green\nArlington Station, take green\nCopley Station, take green\n---ensure you are on C D B\nHynes Convention Center, take C D B\nKenmore Station, take C D B\n---ensure you are on D\nLongwood Station, take D\nBrookline Village Station, take D\nBrookline Hills Station, take D\nBeaconsfield Station, take D\nReservoir Station, take D\nChestnut Hill Station D Riverside Line, take D\nNewton Centre Station, take D\n")
(define-values
(lift797)
(lambda ()
'#(...on1111/run-t.rkt:76:10
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt>
76
10
2413
81
#t)
'(captures: (val/ref #%modvars) (|_run-t:p@(submod "..")|))
(sync
(|_run-t:p@(submod "..")|
(current-input-port)
(current-output-port)))))
(#%apply-values
|_print-values:p@(lib "racket/private/modbeg.rkt")|
(|_check-equal?41.30:f@(lib "typed/rackunit/main.rkt")|
(let ((local913
(|_with-input-from-string:p@(lib "racket/port.rkt")|
'"from Ruggles to Newton Centre"
(lambda ()
'#(...on1111/run-t.rkt:74:7
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation1111/run-t.rkt>
74
7
2360
136
#t)
'(captures:
(val/ref #%modvars)
(lift797
|_with-output-to-string:p@(lib "racket/port.rkt")|))
(|_with-output-to-string:p@(lib "racket/port.rkt")|
lift797)))))
(substring
local913
'0
(-
(unsafe-string-length local913)
(unsafe-string-length '"eom")
'1)))
'"Ruggles Station, take orange\nMassachusetts Avenue Station, take orange\nBack Bay Station, take orange\nTufts Medical Center Station, take orange\nChinatown Station, take orange\nDowntown Crossing Station, take orange\nState Station, take orange\nHaymarket Station, take orange\n---switch from orange to green\nGovernment Center Station, take green\nPark Street Station, take green\nBoylston Street Station, take green\nArlington Station, take green\nCopley Station, take green\n---ensure you are on C D B\nHynes Convention Center, take C D B\nKenmore Station, take C D B\n---ensure you are on D\nLongwood Station, take D\nBrookline Village Station, take D\nBrookline Hills Station, take D\nBeaconsfield Station, take D\nReservoir Station, take D\nChestnut Hill Station D Riverside Line, take D\nNewton Centre Station, take D\n"))
(module*
#%type-decl
....
(require (lib "typed-racket/types/numeric-tower.rkt")
(lib "typed-racket/env/type-name-env.rkt")
(lib "typed-racket/env/global-env.rkt")
(lib "typed-racket/env/type-alias-env.rkt")
(lib "typed-racket/types/struct-table.rkt")
(lib "typed-racket/types/abbrev.rkt")
(lib "racket/private/sort.rkt")
(for-meta -1 (submod "..")))
(provide)
(define stx925
(#%decode-syntax
{wrap
DISABLE-GOVERNMENT
.
#38={(phase-shift 0 #<module-path-index> #<module-path-index> #f)
(module-rename
2
normal
9519
(#39=#s((all-from-module zo 0)
#<module-path-index>
2
0
()
#f
())
#39#
#39#)
()
()
#f)
(module-rename #f normal 9519 () () () #f)
(module-rename
1
normal
9519
(#40=#s((all-from-module zo 0)
#<module-path-index>
1
0
()
#f
())
#40#
#40#)
#41=((make-redirect24.38
.
#s((phased-module-binding module-binding 0 zo 0)
#<module-path-index>
1
make-redirect24.38
#9#
make-redirect24.38)))
((make-redirect24 ((9520 57598) . make-redirect24.38)))
#f)
(module-rename
0
normal
9519
(#42=#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
())
#43=#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
())
#44=#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
())
#45=#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
())
#42#
#43#
#44#
#45#
#45#)
((run-t . #15#)
(lifted.0.2 . #15#)
(lifted.2.4 . #15#)
(status-check . #15#)
(lifted.4.6 . #15#)
(lifted.6.8 . #15#)
(PATH . #15#)
(DISABLE . #15#)
(ENABLE . #15#)
(DONE . #15#)
(EOM . #15#)
(manage . #15#))
((blame23 ((9520 57597) . blame23.67))
(g36 ((9520 57628) . g36.72))
(ENABLE
((9520 57607 9520) . ENABLE.78)
((9520 57609 9520) . ENABLE.77))
(lifted.0 (57037 . lifted.0.2))
(lifted.4 (57128 . lifted.4.6))
(DONE
((9520 57603 9520) . DONE.76)
((9520 57605 9520) . DONE.75))
(g32 ((9520 57624) . g32.68))
(g34 ((9520 57626) . g34.70))
(lifted.6 (57168 . lifted.6.8))
(g35 ((9520 57627) . g35.71))
(DISABLE
((9520 57611 9520) . DISABLE.80)
((9520 57613 9520) . DISABLE.79))
(PATH
((9520 57615 9520) . PATH.82)
((9520 57617 9520) . PATH.81))
(EOM
((9520 57599 9520) . EOM.74)
((9520 57601 9520) . EOM.73))
(g33 ((9520 57625) . g33.69))
(lifted.2 (57088 . lifted.2.4))
(run-t
((9520 57619 9520) . run-t.84)
((9520 57621 9520) . run-t.83)))
#f)
(module-rename
0
marked
9519
()
()
((blame23 ((9520 57597) . blame23.67))
(g36 ((9520 57628) . g36.72))
(ENABLE
((9520 57607 9520) . ENABLE.78)
((9520 57609 9520) . ENABLE.77))
(lifted.0 (57037 . lifted.0.2))
(lifted.4 (57128 . lifted.4.6))
(DONE
((9520 57603 9520) . DONE.76)
((9520 57605 9520) . DONE.75))
(g32 ((9520 57624) . g32.68))
(g34 ((9520 57626) . g34.70))
(lifted.6 (57168 . lifted.6.8))
(g35 ((9520 57627) . g35.71))
(DISABLE
((9520 57611 9520) . DISABLE.80)
((9520 57613 9520) . DISABLE.79))
(PATH
((9520 57615 9520) . PATH.82)
((9520 57617 9520) . PATH.81))
(EOM
((9520 57599 9520) . EOM.74)
((9520 57601 9520) . EOM.73))
(g33 ((9520 57625) . g33.69))
(lifted.2 (57088 . lifted.2.4))
(run-t
((9520 57619 9520) . run-t.84)
((9520 57621 9520) . run-t.83)))
#f)
(module-rename
2
marked
9519
(#s((all-from-module zo 0)
#<module-path-index>
1
1
()
#f
#((9520) 5901)))
()
()
#f)
(module-rename
1
marked
9519
(#s((all-from-module zo 0)
#<module-path-index>
0
1
()
#f
#((9520) 6235))
#s((all-from-module zo 0)
#<module-path-index>
0
1
()
#f
#((9520) 6235))
#s((all-from-module zo 0)
#<module-path-index>
0
1
()
#f
#((9520) 5901))
#s((all-from-module zo 0)
#<module-path-index>
1
0
()
#f
#((9520) 5901)))
#41#
((make-redirect24 ((9520 57598) . make-redirect24.38)))
#f)
(module-rename
0
marked
9519
(#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) 5901))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) 5901))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) 5901))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) 5901))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) 5901))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) 5901))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) 5901))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((9520) 5901)))
((lifted.0.2 . #15#)
(EOM.74 . #15#)
(DISABLE.80 . #15#)
(lifted.2.4 . #15#)
(run-t.84 . #15#)
(PATH.81 . #15#)
(run-t.83 . #15#)
(PATH.82 . #15#)
(DONE.75 . #15#)
(DISABLE.79 . #15#)
(g32.68 . #15#)
(g33.69 . #15#)
(g34.70 . #15#)
(lifted.6.8 . #15#)
(g36.72 . #15#)
(lifted.4.6 . #15#)
(ENABLE.77 . #15#)
(DONE.76 . #15#)
(ENABLE.78 . #15#)
(g35.71 . #15#)
(EOM.73 . #15#)
(blame23.67 . #15#))
((blame23 ((9520 57597) . blame23.67))
(g36 ((9520 57628) . g36.72))
(ENABLE
((9520 57607 9520) . ENABLE.78)
((9520 57609 9520) . ENABLE.77))
(lifted.0 (57037 . lifted.0.2))
(lifted.4 (57128 . lifted.4.6))
(DONE
((9520 57603 9520) . DONE.76)
((9520 57605 9520) . DONE.75))
(g32 ((9520 57624) . g32.68))
(g34 ((9520 57626) . g34.70))
(lifted.6 (57168 . lifted.6.8))
(g35 ((9520 57627) . g35.71))
(DISABLE
((9520 57611 9520) . DISABLE.80)
((9520 57613 9520) . DISABLE.79))
(PATH
((9520 57615 9520) . PATH.82)
((9520 57617 9520) . PATH.81))
(EOM
((9520 57599 9520) . EOM.74)
((9520 57601 9520) . EOM.73))
(g33 ((9520 57625) . g33.69))
(lifted.2 (57088 . lifted.2.4))
(run-t
((9520 57619 9520) . run-t.84)
((9520 57621 9520) . run-t.83)))
#f)
(phase-shift 0 #<module-path-index> #<module-path-index> #f)
(module-rename
1
marked
64657
()
()
((make-redirect2 ((64658 66949) . make-redirect2.4))
(make-redirect24 ((9520 57598) . make-redirect24.1)))
#f)
(module-rename
0
marked
64657
(#46=#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#(() 9519)))
((DONE-RESULT.120 . #15#)
(RUGGLES-TO-CENTRE.127 . #15#)
(run-run-t-on.121 . #15#)
(RUGGLES-TO-CENTRE-PATH.128 . #15#)
(DISABLE-GOVERNMENT.122 . #15#)
(ENABLE-GOVERNMENT.123 . #15#)
(AIRPORT-TO-NORTHEASTERN.124 . #15#)
(AIRPORT-TO-NORTHEASTERN-GOV-DISABLED.125 . #15#)
(AIRPORT-TO-NORTHEASTERN-PATH.126 . #15#))
((blame23 ((9520 57597) . blame23.22))
(blame1 ((64658 66948) . blame1.129))
(RUGGLES-TO-CENTRE-PATH
(#(() 9519) . RUGGLES-TO-CENTRE-PATH.128))
(lifted.2 (57088 . lifted.2.15))
(g32 ((9520 57624) . g32.20))
(EOM
((9520 57601 9520) . EOM.12)
((9520 57599 9520) . EOM.11))
(DONE
((9520 57605 9520) . DONE.10)
((9520 57603 9520) . DONE.9))
(g35 ((9520 57627) . g35.17))
(DISABLE
((9520 57613 9520) . DISABLE.6)
((9520 57611 9520) . DISABLE.5))
(PATH
((9520 57617 9520) . PATH.4)
((9520 57615 9520) . PATH.3))
(lifted.0 (57037 . lifted.0.21))
(ENABLE
((9520 57609 9520) . ENABLE.8)
((9520 57607 9520) . ENABLE.7))
(run-t
((9520 57621 9520) . run-t.2)
((9520 57619 9520) . run-t.1))
(g34 ((9520 57626) . g34.18))
(g36 ((9520 57628) . g36.16))
(lifted.4 (57128 . lifted.4.14))
(g33 ((9520 57625) . g33.19))
(RUGGLES-TO-CENTRE (#(() 9519) . RUGGLES-TO-CENTRE.127))
(AIRPORT-TO-NORTHEASTERN-PATH
(#(() 9519) . AIRPORT-TO-NORTHEASTERN-PATH.126))
(lifted.6 (57168 . lifted.6.13))
(AIRPORT-TO-NORTHEASTERN-GOV-DISABLED
(#(() 9519) . AIRPORT-TO-NORTHEASTERN-GOV-DISABLED.125))
(AIRPORT-TO-NORTHEASTERN
(#(() 9519) . AIRPORT-TO-NORTHEASTERN.124))
(ENABLE-GOVERNMENT (#(() 9519) . ENABLE-GOVERNMENT.123))
(DISABLE-GOVERNMENT (#(() 9519) . DISABLE-GOVERNMENT.122))
(run-run-t-on (#(() 9519) . run-run-t-on.121))
(DONE-RESULT (#(() 9519) . DONE-RESULT.120)))
#f)
(module-rename
1
marked
64657
(#s((all-from-module zo 0)
#<module-path-index>
0
1
()
#f
#((64658) 6235))
#s((all-from-module zo 0)
#<module-path-index>
0
1
()
#f
#((64658) 6235)))
((make-redirect2.4
.
#s((phased-module-binding module-binding 0 zo 0)
#<module-path-index>
1
make-redirect2.4
#9#
make-redirect2.4)))
((make-redirect2 ((64658 66949) . make-redirect2.4))
(make-redirect24 ((9520 57598) . make-redirect24.1)))
#f)
(module-rename
0
marked
64657
(#46#)
((DONE-RESULT.120 . #15#)
(blame1.129 . #15#)
(run-run-t-on.121 . #15#)
(RUGGLES-TO-CENTRE.127 . #15#)
(DISABLE-GOVERNMENT.122 . #15#)
(ENABLE-GOVERNMENT.123 . #15#)
(AIRPORT-TO-NORTHEASTERN.124 . #15#)
(AIRPORT-TO-NORTHEASTERN-GOV-DISABLED.125 . #15#)
(RUGGLES-TO-CENTRE-PATH.128 . #15#)
(AIRPORT-TO-NORTHEASTERN-PATH.126 . #15#))
((blame23 ((9520 57597) . blame23.22))
(blame1 ((64658 66948) . blame1.129))
(RUGGLES-TO-CENTRE-PATH
(#(() 9519) . RUGGLES-TO-CENTRE-PATH.128))
(lifted.2 (57088 . lifted.2.15))
(g32 ((9520 57624) . g32.20))
(EOM
((9520 57601 9520) . EOM.12)
((9520 57599 9520) . EOM.11))
(DONE
((9520 57605 9520) . DONE.10)
((9520 57603 9520) . DONE.9))
(g35 ((9520 57627) . g35.17))
(DISABLE
((9520 57613 9520) . DISABLE.6)
((9520 57611 9520) . DISABLE.5))
(PATH
((9520 57617 9520) . PATH.4)
((9520 57615 9520) . PATH.3))
(lifted.0 (57037 . lifted.0.21))
(ENABLE
((9520 57609 9520) . ENABLE.8)
((9520 57607 9520) . ENABLE.7))
(run-t
((9520 57621 9520) . run-t.2)
((9520 57619 9520) . run-t.1))
(g34 ((9520 57626) . g34.18))
(g36 ((9520 57628) . g36.16))
(lifted.4 (57128 . lifted.4.14))
(g33 ((9520 57625) . g33.19))
(RUGGLES-TO-CENTRE (#(() 9519) . RUGGLES-TO-CENTRE.127))
(AIRPORT-TO-NORTHEASTERN-PATH
(#(() 9519) . AIRPORT-TO-NORTHEASTERN-PATH.126))
(lifted.6 (57168 . lifted.6.13))
(AIRPORT-TO-NORTHEASTERN-GOV-DISABLED
(#(() 9519) . AIRPORT-TO-NORTHEASTERN-GOV-DISABLED.125))
(AIRPORT-TO-NORTHEASTERN
(#(() 9519) . AIRPORT-TO-NORTHEASTERN.124))
(ENABLE-GOVERNMENT (#(() 9519) . ENABLE-GOVERNMENT.123))
(DISABLE-GOVERNMENT (#(() 9519) . DISABLE-GOVERNMENT.122))
(run-run-t-on (#(() 9519) . run-run-t-on.121))
(DONE-RESULT (#(() 9519) . DONE-RESULT.120)))
#f)
(phase-shift -1 #<module-path-index> #<module-path-index> #f)
(module-rename
1
marked
67406
()
()
((make-redirect2 ((64658 66949) . make-redirect2.1)))
#f)
(module-rename
0
marked
67406
(#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((64658) (64657 6235)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((64658) (64657 6235)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((64658) (64657 6235)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((64658) (64657 6235)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((64658) (64657 6235)))
#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
#((64658) (64657 6235))))
((raw-sort.304
.
#s((exported-module-binding module-binding 0 zo 0)
#<module-path-index>
sort)))
((blame1 ((64658 66948) . blame1.10))
(raw-sort (#(64658 (64657 6235)) . raw-sort.304))
(AIRPORT-TO-NORTHEASTERN-GOV-DISABLED
(#(() 9519) . AIRPORT-TO-NORTHEASTERN-GOV-DISABLED.4))
(AIRPORT-TO-NORTHEASTERN
(#(() 9519) . AIRPORT-TO-NORTHEASTERN.5))
(DISABLE-GOVERNMENT (#(() 9519) . DISABLE-GOVERNMENT.7))
(ENABLE-GOVERNMENT (#(() 9519) . ENABLE-GOVERNMENT.6))
(AIRPORT-TO-NORTHEASTERN-PATH
(#(() 9519) . AIRPORT-TO-NORTHEASTERN-PATH.3))
(run-run-t-on (#(() 9519) . run-run-t-on.8))
(RUGGLES-TO-CENTRE-PATH
(#(() 9519) . RUGGLES-TO-CENTRE-PATH.1))
(DONE-RESULT (#(() 9519) . DONE-RESULT.9))
(RUGGLES-TO-CENTRE (#(() 9519) . RUGGLES-TO-CENTRE.2)))
#f)}}))
(define stx926
(#%decode-syntax {wrap AIRPORT-TO-NORTHEASTERN-PATH . #38#}))
(define stx927
(#%decode-syntax {wrap AIRPORT-TO-NORTHEASTERN-GOV-DISABLED . #38#}))
(define stx928 (#%decode-syntax {wrap DONE-RESULT . #38#}))
(define stx929 (#%decode-syntax {wrap RUGGLES-TO-CENTRE-PATH . #38#}))
(define stx930 (#%decode-syntax {wrap RUGGLES-TO-CENTRE . #38#}))
(define stx931 (#%decode-syntax {wrap AIRPORT-TO-NORTHEASTERN . #38#}))
(define stx932 (#%decode-syntax {wrap ENABLE-GOVERNMENT . #38#}))
(define stx933 (#%decode-syntax {wrap run-run-t-on . #38#}))
(|_register-type:p@(lib "typed-racket/env/global-env.rkt")|
stx925
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|)
(|_register-type:p@(lib "typed-racket/env/global-env.rkt")|
stx926
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|)
(|_register-type:p@(lib "typed-racket/env/global-env.rkt")|
stx927
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|)
(|_register-type:p@(lib "typed-racket/env/global-env.rkt")|
stx928
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|)
(|_register-type:p@(lib "typed-racket/env/global-env.rkt")|
stx929
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|)
(|_register-type:p@(lib "typed-racket/env/global-env.rkt")|
stx930
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|)
(|_register-type:p@(lib "typed-racket/env/global-env.rkt")|
stx931
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|)
(|_register-type:p@(lib "typed-racket/env/global-env.rkt")|
stx932
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|)
(|_register-type:p@(lib "typed-racket/env/global-env.rkt")|
stx933
(|_simple->:p@(lib "typed-racket/types/base-abbrev.rkt")|
(list |_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|)
|_-String:f@(lib "typed-racket/types/base-abbrev.rkt")|)))
(module*
#%contract-defs
....
(require (submod "..")
(submod
(lib "typed-racket/private/type-contract.rkt")
predicates)
(lib "typed-racket/utils/utils.rkt")
(lib "typed-racket/utils/any-wrap.rkt")
(lib "typed-racket/utils/struct-type-c.rkt")
(lib "typed-racket/utils/opaque-object.rkt")
(lib "typed-racket/utils/evt-contract.rkt")
(lib "unstable/contract.rkt")
(lib "racket/contract/parametric.rkt")
(for-syntax (lib "typed-racket/utils/utils.rkt")))
(provide)))))
Raw
Untyped
(begin
(module run-t ....
(require (lib "racket/main.rkt") "t-view.rkt")
(provide DISABLE DONE ENABLE EOM PATH run-t)
(module configure-runtime ....
(require #0='#%kernel (lib "racket/runtime-config.rkt"))
(provide)
(print-as-expression '#t))
(begin
(define-syntaxes
(status-check)
(let ()
(define stx29
(#%decode-syntax
{wrap
({wrap
let
.
#1={#2=(phase-shift
0
#<module-path-index>
#<module-path-index>
#f)
(module-rename
2
normal
5856
(#3=#s((all-from-module zo 0)
#<module-path-index>
2
0
()
#f
())
#3#)
()
()
#f)
(module-rename #f normal 5856 () () () #f)
(module-rename
1
normal
5856
(#4=#s((all-from-module zo 0)
#<module-path-index>
1
0
()
#f
())
#4#)
()
()
#f)
(module-rename
0
normal
5856
(#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
())
#5=#s((all-from-module zo 0)
#<module-path-index>
0
0
()
#f
())
#5#)
((ENABLE
.
#6=#s((simple-module-binding module-binding 0 zo 0)
#<module-path-index>))
(DONE . #6#)
(EOM . #6#)
(manage . #6#)
(lifted.0.2 . #6#)
(run-t . #6#)
(status-check . #6#)
(PATH . #6#)
(DISABLE . #6#))
((lifted.0 (21793 . lifted.0.2)))
#f)
(module-rename
0
marked
5856
()
()
((lifted.0 (21793 . lifted.0.2)))
#f)
(lexical
(remove-from-disabled . env2504)
(enabled . env2504))}}
.
{wrap
({wrap
({wrap
({wrap status . #1#}
.
{wrap
({wrap
({wrap send . #1#}
.
{wrap
({wrap manage . #1#}
.
{wrap
({wrap _pat2 . #1#}
.
{wrap ({wrap _pat1 . #1#}) . #1#})
.
#1#})
.
#1#})
.
#1#})
.
#1#})
.
#1#})
.
#1#}
.
{wrap _pat3 . #1#})
.
#1#})
.
#1#}))
(define stx30
(#%decode-syntax
{wrap
({wrap
({wrap if . #1#}
.
{wrap
({wrap
({wrap boolean? . #1#}
.
#7={wrap ({wrap status . #1#}) . #1#})
.
#1#}
.
{wrap
({wrap
(#8={wrap displayln . #1#}
.
{wrap ({wrap DONE . #1#}) . #1#})
.
#1#}
.
{wrap ({wrap (#8# . #7#) . #1#}) . #1#})
.
#1#})
.
#1#})
.
#1#})
#2#
(module-rename 2 normal 16337 () () () #f)
(module-rename #f normal 16337 () () () #f)
(module-rename
1
normal
16337
(#s((all-from-module zo 0) #<module-path-index> 0 1 () #f ())
#s((all-from-module zo 0) #<module-path-index> 0 1 () #f ())
#s((all-from-module zo 0) #<module-path-index> 0 1 () #f ())
#s((all-from-module zo 0) #<module-path-index> 0 1 () #f ())
#s((all-from-module zo 0) #<module-path-index> 0 1 () #f ()))
((gen-template
.
#s((phased-module-binding module-binding 0 zo 0)
#<module-path-index>
1
gen-template
#9=#s((simple-nominal-path nominal-path 0 zo 0)
#<module-path-index>)
gen-template))
(<lifted>
.
#s((phased-module-binding module-binding 0 zo 0)
#<module-path-index>
1
<lifted>
#9#
<lifted>))
(<lifted>
.
#s((phased-module-binding module-binding 0 zo 0)
#<module-path-index>
1
<lifted>
#9#
<lifted>))
(<lifted>
.
#s((phased-module-binding module-binding 0 zo 0)
#<module-path-index>
1
<lifted>
#9#
<lifted>)))
()
#f)
(module-rename
0
normal
16337
(#s((all-from-module zo 0) #<module-path-index> 0 0 () #f ())
#s((all-from-module zo 0) #<module-path-index> 0 0 () #f ())
#s((all-from-module zo 0) #<module-path-index> 0 0 () #f ())
#s((all-from-module zo 0) #<module-path-index> 0 0 () #f ())
#s((all-from-module zo 0) #<module-path-index> 0 0 () #f ())
#10=#s((all-from-module zo 0) #<module-path-index> 0 0 () #f ())
#10#)
((datum . #6#)
(syntax . #6#)
(interp-gen-match . #6#)
(apply-pattern-substitute . #6#)
(catch-ellipsis-error . #6#)
(datum->syntax/shape . #6#)
(pattern-substitute . #6#)
(interp-match . #6#)
(interp-s-match . #6#)
(substitute-stop . #6#)
(syntax-case** . #6#))
()
#f)
(lexical (x . env65497) (s-exp? . env65497))
(lexical (here-stx . rnv65499))
(phase-shift 1 #<module-path-index> #<module-path-index> #f)
21775
(lexical (r . env2507))}))
(lambda (arg0-31)
'(captures:
(val/ref #%globals)
(#%syntax
|_pattern-failure@(lib "racket/private/misc.rkt")/1|
|_apply-pattern-substitute:p@(lib "racket/private/stxcase.rkt")|
|_relocate:P@(lib "racket/private/stxloc.rkt")|
|_syntax-protect:P@(lib "racket/private/stxcase-scheme.rkt")|
|_stx-null/#f:P@(lib "racket/private/stx.rkt")|
|_stx-cdr:P@(lib "racket/private/stx.rkt")|
|_stx-car:P@(lib "racket/private/stx.rkt")|
|_stx-pair?:P@(lib "racket/private/stx.rkt")|))
(let ((local32
(if (|_stx-pair?:P@(lib "racket/private/stx.rkt")| arg0-31)
(begin
(let ((unused34
(|_stx-car:P@(lib "racket/private/stx.rkt")|
arg0-31)))
'#<void>)
(let ((local36
(|_stx-cdr:P@(lib "racket/private/stx.rkt")|
arg0-31)))
(if (|_stx-pair?:P@(lib "racket/private/stx.rkt")|
local36)
(let ((local39
(|_stx-car:P@(lib "racket/private/stx.rkt")|
local36)))
(let ((local41
(let ((local42
(|_stx-cdr:P@(lib "racket/private/stx.rkt")|
(#%sfs-clear local36))))
(if (|_stx-pair?:P@(lib "racket/private/stx.rkt")|
local42)
(let ((local45
(|_stx-car:P@(lib "racket/private/stx.rkt")|
local42)))
(if local45
(if (|_stx-null/#f:P@(lib "racket/private/stx.rkt")|
(|_stx-cdr:P@(lib "racket/private/stx.rkt")|
(#%sfs-clear local42)))
local45
'#f)
'#f))
'#f))))
(if local41 (cons local39 local41) '#f)))
'#f)))
'#f)))
(if local32
(|_syntax-protect:P@(lib "racket/private/stxcase-scheme.rkt")|
(|_relocate:P@(lib "racket/private/stxloc.rkt")|
(#%sfs-clear arg0-31)
(let ((local54
(list*
(unsafe-car local32)
(unsafe-cdr (#%sfs-clear local32)))))
(|_apply-pattern-substitute:p@(lib "racket/private/stxcase.rkt")|
stx29
'(_pat2 _pat1 _pat3)
(car local54)
(unsafe-cdr (#%sfs-clear local54))
stx30))))
(begin
(#%sfs-clear local32)
(|_pattern-failure@(lib "racket/private/misc.rkt")/1|
(#%sfs-clear arg0-31)
'(remove-from-disabled enabled)))))))))
(define-values (_PATH) '#rx"from (.*) to (.*)$")
(define-values (_DISABLE) '#rx"disable (.*)$")
(define-values (_ENABLE) '#rx"enable (.*)$")
(define-values (_DONE) '"done")
(define-values (_EOM) '"eom")
(define-values
(_lifted.0.2)
(|_module-name-fixup:P@(lib "syntax/location.rkt")|
(|_variable-reference->module-source/submod:P@(lib "syntax/location.rkt")|
(#%variable-reference #%linkage))
'()))
(define-values
(_manage)
(|_do-make-object:p@(lib "racket/private/class-internal.rkt")|
_lifted.0.2
|_manage%:f@"t-view.rkt"|
'()
'()))
(define-values
(lift27)
(lambda (arg0-75 arg1-76 arg2-77 arg3-78)
'#(run-t5
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation0000/run-t.rkt>
31
0
634
753
#f)
'(captures:
(val/ref #%modvars)
(|_wrapped-object-object@(lib "racket/private/class-wrapped.rkt")|
|_wrapped-object-neg-party@(lib "racket/private/class-wrapped.rkt")|
|_wrapped-object?@(lib "racket/private/class-wrapped.rkt")|
|_third:P@(lib "racket/list.rkt")|
|_second:P@(lib "racket/list.rkt")|
|_find-method/who:p@(lib "racket/private/class-internal.rkt")|
|_displayln:p@(lib "racket/private/misc.rkt")|
|_extend-parameterization@(quote #%paramz)|
|_parameterization-key@(quote #%paramz)|
_manage))
(let ((local79
(if (#%sfs-clear arg2-77)
(#%sfs-clear arg0-75)
(begin (#%sfs-clear arg0-75) (current-input-port)))))
(let ((local80
(if (#%sfs-clear arg3-78)
(#%sfs-clear arg1-76)
(begin (#%sfs-clear arg1-76) (current-output-port)))))
(thread
(begin0
(lambda ()
'#(...on0000/run-t.rkt:33:3
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation0000/run-t.rkt>
33
3
734
651
#t)
'(flags: single-result)
'(captures:
(val/ref local80)
(val/ref local79)
(val/ref #%modvars)
(|_wrapped-object-object@(lib "racket/private/class-wrapped.rkt")|
|_wrapped-object-neg-party@(lib "racket/private/class-wrapped.rkt")|
|_wrapped-object?@(lib "racket/private/class-wrapped.rkt")|
|_third:P@(lib "racket/list.rkt")|
|_second:P@(lib "racket/list.rkt")|
|_find-method/who:p@(lib "racket/private/class-internal.rkt")|
|_displayln:p@(lib "racket/private/misc.rkt")|
|_extend-parameterization@(quote #%paramz)|
|_parameterization-key@(quote #%paramz)|
_manage))
(with-continuation-mark
|_parameterization-key@(quote #%paramz)|
(|_extend-parameterization@(quote #%paramz)|
(continuation-mark-set-first
'#f
|_parameterization-key@(quote #%paramz)|)
current-input-port
(#%sfs-clear local79)
current-output-port
(#%sfs-clear local80))
(let ((local89 (read-line)))
(if (eof-object? local89)
'#<void>
(begin
(let ((local91
(regexp-match '#rx"from (.*) to (.*)$" local89)))
(if local91
(begin
(#%sfs-clear local89)
(|_displayln:p@(lib "racket/private/misc.rkt")|
(let ((local95
(|_find-method/who:p@(lib "racket/private/class-internal.rkt")|
'send
_manage
'find)))
(let ((local99
(|_second:P@(lib "racket/list.rkt")|
local91)))
(let ((local101
(|_third:P@(lib "racket/list.rkt")|
(#%sfs-clear local91))))
(if (|_wrapped-object?@(lib "racket/private/class-wrapped.rkt")|
_manage)
(if local95
((#%sfs-clear local95)
(|_wrapped-object-neg-party@(lib "racket/private/class-wrapped.rkt")|
_manage)
(|_wrapped-object-object@(lib "racket/private/class-wrapped.rkt")|
_manage)
(#%sfs-clear local99)
(#%sfs-clear local101))
(begin
(#%sfs-clear local95)
(let ((local110
(|_wrapped-object-object@(lib "racket/private/class-wrapped.rkt")|
_manage)))
((|_find-method/who:p@(lib "racket/private/class-internal.rkt")|
'send
local110
'find)
(#%sfs-clear local110)
(#%sfs-clear local99)
(#%sfs-clear local101)))))
((#%sfs-clear local95)
_manage
(#%sfs-clear local99)
(#%sfs-clear local101))))))))
(begin
(#%sfs-clear local91)
(let ((local121
(regexp-match
'#rx"disable (.*)$"
local89)))
(if local121
(begin
(#%sfs-clear local89)
(let ((local124
(|_find-method/who:p@(lib "racket/private/class-internal.rkt")|
'send
_manage
'add-to-disabled)))
(let ((local128
(|_second:P@(lib "racket/list.rkt")|
(#%sfs-clear local121))))
(let ((local130
(if (|_wrapped-object?@(lib "racket/private/class-wrapped.rkt")|
_manage)
(if local124
((#%sfs-clear local124)
(|_wrapped-object-neg-party@(lib "racket/private/class-wrapped.rkt")|
_manage)
(|_wrapped-object-object@(lib "racket/private/class-wrapped.rkt")|
_manage)
(#%sfs-clear local128))
(begin
(#%sfs-clear local124)
(let ((local137
(|_wrapped-object-object@(lib "racket/private/class-wrapped.rkt")|
_manage)))
((|_find-method/who:p@(lib "racket/private/class-internal.rkt")|
'send
local137
'add-to-disabled)
(#%sfs-clear local137)
(#%sfs-clear
local128)))))
((#%sfs-clear local124)
_manage
(#%sfs-clear local128)))))
(if (boolean? local130)
(begin
(#%sfs-clear local130)
(|_displayln:p@(lib "racket/private/misc.rkt")|
'"done"))
(|_displayln:p@(lib "racket/private/misc.rkt")|
(#%sfs-clear local130)))))))
(begin
(#%sfs-clear local121)
(let ((local149
(regexp-match
'#rx"enable (.*)$"
(#%sfs-clear local89))))
(if local149
(let ((local152
(|_find-method/who:p@(lib "racket/private/class-internal.rkt")|
'send
_manage
'remove-from-disabled)))
(let ((local156
(|_second:P@(lib "racket/list.rkt")|
(#%sfs-clear local149))))
(let ((local158
(if (|_wrapped-object?@(lib "racket/private/class-wrapped.rkt")|
_manage)
(if local152
((#%sfs-clear local152)
(|_wrapped-object-neg-party@(lib "racket/private/class-wrapped.rkt")|
_manage)
(|_wrapped-object-object@(lib "racket/private/class-wrapped.rkt")|
_manage)
(#%sfs-clear local156))
(begin
(#%sfs-clear local152)
(let ((local165
(|_wrapped-object-object@(lib "racket/private/class-wrapped.rkt")|
_manage)))
((|_find-method/who:p@(lib "racket/private/class-internal.rkt")|
'send
local165
'remove-from-disabled)
(#%sfs-clear
local165)
(#%sfs-clear
local156)))))
((#%sfs-clear local152)
_manage
(#%sfs-clear local156)))))
(if (boolean? local158)
(begin
(#%sfs-clear local158)
(|_displayln:p@(lib "racket/private/misc.rkt")|
'"done"))
(|_displayln:p@(lib "racket/private/misc.rkt")|
(#%sfs-clear local158))))))
(begin
(#%sfs-clear local149)
(|_displayln:p@(lib "racket/private/misc.rkt")|
'"message not understood"))))))))))
(|_displayln:p@(lib "racket/private/misc.rkt")| '"eom")
(flush-output))))))
(#%sfs-clear local80)
(#%sfs-clear local79)))))))
(define-values
(_run-t)
(case-lambda
(()
'#(run-t
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation0000/run-t.rkt>
31
0
634
753
#f)
'(captures: (val/ref #%modvars) (lift27))
(lift27 '#f '#f '#f '#f))
((arg0-183 arg1-184)
'#(run-t
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation0000/run-t.rkt>
31
0
634
753
#f)
'(captures: (val/ref #%modvars) (lift27))
(lift27 (#%sfs-clear arg0-183) (#%sfs-clear arg1-184) '#t '#t))
((arg0-189)
'#(run-t
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation0000/run-t.rkt>
31
0
634
753
#f)
'(captures: (val/ref #%modvars) (lift27))
(lift27 (#%sfs-clear arg0-189) '#f '#t '#f))))
(module*
test
....
(require (submod "..") (lib "rackunit/main.rkt"))
(provide)
(module configure-runtime ....
(require #0# (lib "racket/runtime-config.rkt"))
(provide)
(print-as-expression '#t))
(define-values (_DONE-RESULT.125) (string-append '"done" '"\n"))
(define-values
(lift194)
(lambda ()
'#(...on0000/run-t.rkt:65:10
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation0000/run-t.rkt>
65
10
1918
81
#t)
'(captures: (val/ref #%modvars) (|_run-t:p@(submod "..")|))
(sync
(|_run-t:p@(submod "..")|
(current-input-port)
(current-output-port)))))
(define-values
(lift195)
(lambda ()
'#(...on0000/run-t.rkt:63:7
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation0000/run-t.rkt>
63
7
1865
136
#t)
'(captures:
(val/ref #%modvars)
(lift194 |_with-output-to-string:p@(lib "racket/port.rkt")|))
(|_with-output-to-string:p@(lib "racket/port.rkt")| lift194)))
(define-values
(_run-run-t-on.126)
(lambda (arg0-208)
'#(run-run-t-on
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation0000/run-t.rkt>
59
2
1767
358
#f)
'(flags: preserves-marks single-result)
'(captures:
(val/ref #%modvars)
(lift195 |_with-input-from-string:p@(lib "racket/port.rkt")|))
(let ((local209
(|_with-input-from-string:p@(lib "racket/port.rkt")|
(#%sfs-clear arg0-208)
lift195)))
(substring local209 '0 (- (string-length local209) '3 '1)))))
(define-values (_DISABLE-GOVERNMENT.127) '"disable Government")
(define-values (_ENABLE-GOVERNMENT.128) '"enable Government")
(define-values
(_AIRPORT-TO-NORTHEASTERN.129)
'"from Airport to Northeastern")
(define-values
(_AIRPORT-TO-NORTHEASTERN-GOV-DISABLED.130)
'"Airport Station, take blue\nMaverick Station, take blue\nAquarium Station, take blue\nState Station, take blue\n---switch from blue to orange\nDowntown Crossing Station, take orange\n---switch from orange to red\nPark Street Station, take red\n---switch from red to green\nBoylston Street Station, take green\nArlington Station, take green\nCopley Station, take green\n---ensure you are on E\nPrudential Station, take E\nSymphony Station, take E\nNortheastern University Station, take E\n")
(define-values
(lift196)
(lambda ()
'#(...on0000/run-t.rkt:65:10
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation0000/run-t.rkt>
65
10
1918
81
#t)
'(captures: (val/ref #%modvars) (|_run-t:p@(submod "..")|))
(sync
(|_run-t:p@(submod "..")|
(current-input-port)
(current-output-port)))))
(#%apply-values
|_print-values:p@(lib "racket/private/modbeg.rkt")|
(let ((local222
(let ((local223
(|_with-input-from-string:p@(lib "racket/port.rkt")|
'"disable Government"
(lambda ()
'#(...on0000/run-t.rkt:63:7
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation0000/run-t.rkt>
63
7
1865
136
#t)
'(captures:
(val/ref #%modvars)
(lift196
|_with-output-to-string:p@(lib "racket/port.rkt")|))
(|_with-output-to-string:p@(lib "racket/port.rkt")|
lift196)))))
(substring local223 '0 (- (string-length local223) '3 '1)))))
(let ((local234
'(#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation0000/run-t.rkt>
101
2
3006
60)))
(let ((local235
'(check-equal?
(run-run-t-on DISABLE-GOVERNMENT)
DONE-RESULT)))
(|_check-equal?76789.24:P@(lib "rackunit/private/check.rkt")|
(#%sfs-clear local235)
'#t
(#%sfs-clear local234)
'#t
(#%sfs-clear local222)
_DONE-RESULT.125
'#f
'#f)))))
(define-values
(lift197)
(lambda ()
'#(...on0000/run-t.rkt:65:10
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation0000/run-t.rkt>
65
10
1918
81
#t)
'(captures: (val/ref #%modvars) (|_run-t:p@(submod "..")|))
(sync
(|_run-t:p@(submod "..")|
(current-input-port)
(current-output-port)))))
(#%apply-values
|_print-values:p@(lib "racket/private/modbeg.rkt")|
(let ((local247
(let ((local248
(|_with-input-from-string:p@(lib "racket/port.rkt")|
'"from Airport to Northeastern"
(lambda ()
'#(...on0000/run-t.rkt:63:7
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation0000/run-t.rkt>
63
7
1865
136
#t)
'(captures:
(val/ref #%modvars)
(lift197
|_with-output-to-string:p@(lib "racket/port.rkt")|))
(|_with-output-to-string:p@(lib "racket/port.rkt")|
lift197)))))
(substring local248 '0 (- (string-length local248) '3 '1)))))
(let ((local259
'(#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation0000/run-t.rkt>
102
2
3069
90)))
(let ((local260
'(check-equal?
(run-run-t-on AIRPORT-TO-NORTHEASTERN)
AIRPORT-TO-NORTHEASTERN-GOV-DISABLED)))
(|_check-equal?76789.24:P@(lib "rackunit/private/check.rkt")|
(#%sfs-clear local260)
'#t
(#%sfs-clear local259)
'#t
(#%sfs-clear local247)
'"Airport Station, take blue\nMaverick Station, take blue\nAquarium Station, take blue\nState Station, take blue\n---switch from blue to orange\nDowntown Crossing Station, take orange\n---switch from orange to red\nPark Street Station, take red\n---switch from red to green\nBoylston Street Station, take green\nArlington Station, take green\nCopley Station, take green\n---ensure you are on E\nPrudential Station, take E\nSymphony Station, take E\nNortheastern University Station, take E\n"
'#f
'#f)))))
(define-values
(lift198)
(lambda ()
'#(...on0000/run-t.rkt:65:10
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation0000/run-t.rkt>
65
10
1918
81
#t)
'(captures: (val/ref #%modvars) (|_run-t:p@(submod "..")|))
(sync
(|_run-t:p@(submod "..")|
(current-input-port)
(current-output-port)))))
(#%apply-values
|_print-values:p@(lib "racket/private/modbeg.rkt")|
(let ((local272
(let ((local273
(|_with-input-from-string:p@(lib "racket/port.rkt")|
'"enable Government"
(lambda ()
'#(...on0000/run-t.rkt:63:7
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation0000/run-t.rkt>
63
7
1865
136
#t)
'(captures:
(val/ref #%modvars)
(lift198
|_with-output-to-string:p@(lib "racket/port.rkt")|))
(|_with-output-to-string:p@(lib "racket/port.rkt")|
lift198)))))
(substring local273 '0 (- (string-length local273) '3 '1)))))
(let ((local284
'(#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation0000/run-t.rkt>
104
2
3222
59)))
(let ((local285
'(check-equal? (run-run-t-on ENABLE-GOVERNMENT) DONE-RESULT)))
(|_check-equal?76789.24:P@(lib "rackunit/private/check.rkt")|
(#%sfs-clear local285)
'#t
(#%sfs-clear local284)
'#t
(#%sfs-clear local272)
_DONE-RESULT.125
'#f
'#f)))))
(define-values
(_AIRPORT-TO-NORTHEASTERN-PATH.131)
'"Airport Station, take blue\nMaverick Station, take blue\nAquarium Station, take blue\nState Station, take blue\nGovernment Center Station, take blue\n---switch from blue to green\nPark Street Station, take green\nBoylston Street Station, take green\nArlington Station, take green\nCopley Station, take green\n---ensure you are on E\nPrudential Station, take E\nSymphony Station, take E\nNortheastern University Station, take E\n")
(define-values
(lift199)
(lambda ()
'#(...on0000/run-t.rkt:65:10
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation0000/run-t.rkt>
65
10
1918
81
#t)
'(captures: (val/ref #%modvars) (|_run-t:p@(submod "..")|))
(sync
(|_run-t:p@(submod "..")|
(current-input-port)
(current-output-port)))))
(#%apply-values
|_print-values:p@(lib "racket/private/modbeg.rkt")|
(let ((local297
(let ((local298
(|_with-input-from-string:p@(lib "racket/port.rkt")|
'"from Airport to Northeastern"
(lambda ()
'#(...on0000/run-t.rkt:63:7
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation0000/run-t.rkt>
63
7
1865
136
#t)
'(captures:
(val/ref #%modvars)
(lift199
|_with-output-to-string:p@(lib "racket/port.rkt")|))
(|_with-output-to-string:p@(lib "racket/port.rkt")|
lift199)))))
(substring local298 '0 (- (string-length local298) '3 '1)))))
(let ((local309
'(#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation0000/run-t.rkt>
128
2
3912
82)))
(let ((local310
'(check-equal?
(run-run-t-on AIRPORT-TO-NORTHEASTERN)
AIRPORT-TO-NORTHEASTERN-PATH)))
(|_check-equal?76789.24:P@(lib "rackunit/private/check.rkt")|
(#%sfs-clear local310)
'#t
(#%sfs-clear local309)
'#t
(#%sfs-clear local297)
'"Airport Station, take blue\nMaverick Station, take blue\nAquarium Station, take blue\nState Station, take blue\nGovernment Center Station, take blue\n---switch from blue to green\nPark Street Station, take green\nBoylston Street Station, take green\nArlington Station, take green\nCopley Station, take green\n---ensure you are on E\nPrudential Station, take E\nSymphony Station, take E\nNortheastern University Station, take E\n"
'#f
'#f)))))
(define-values (_RUGGLES-TO-CENTRE.132) '"from Ruggles to Newton Centre")
(define-values
(_RUGGLES-TO-CENTRE-PATH.133)
'"Ruggles Station, take orange\nMassachusetts Avenue Station, take orange\nBack Bay Station, take orange\nTufts Medical Center Station, take orange\nChinatown Station, take orange\nDowntown Crossing Station, take orange\nState Station, take orange\nHaymarket Station, take orange\n---switch from orange to green\nGovernment Center Station, take green\nPark Street Station, take green\nBoylston Street Station, take green\nArlington Station, take green\nCopley Station, take green\n---ensure you are on C D B\nHynes Convention Center, take C D B\nKenmore Station, take C D B\n---ensure you are on D\nLongwood Station, take D\nBrookline Village Station, take D\nBrookline Hills Station, take D\nBeaconsfield Station, take D\nReservoir Station, take D\nChestnut Hill Station D Riverside Line, take D\nNewton Centre Station, take D\n")
(define-values
(lift200)
(lambda ()
'#(...on0000/run-t.rkt:65:10
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation0000/run-t.rkt>
65
10
1918
81
#t)
'(captures: (val/ref #%modvars) (|_run-t:p@(submod "..")|))
(sync
(|_run-t:p@(submod "..")|
(current-input-port)
(current-output-port)))))
(#%apply-values
|_print-values:p@(lib "racket/private/modbeg.rkt")|
(let ((local322
(let ((local323
(|_with-input-from-string:p@(lib "racket/port.rkt")|
'"from Ruggles to Newton Centre"
(lambda ()
'#(...on0000/run-t.rkt:63:7
#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation0000/run-t.rkt>
63
7
1865
136
#t)
'(captures:
(val/ref #%modvars)
(lift200
|_with-output-to-string:p@(lib "racket/port.rkt")|))
(|_with-output-to-string:p@(lib "racket/port.rkt")|
lift200)))))
(substring local323 '0 (- (string-length local323) '3 '1)))))
(let ((local334
'(#<path:/home/asumu/gradual-typing-performance/mbta/benchmark/variation0000/run-t.rkt>
164
2
5069
70)))
(let ((local335
'(check-equal?
(run-run-t-on RUGGLES-TO-CENTRE)
RUGGLES-TO-CENTRE-PATH)))
(|_check-equal?76789.24:P@(lib "rackunit/private/check.rkt")|
(#%sfs-clear local335)
'#t
(#%sfs-clear local334)
'#t
(#%sfs-clear local322)
'"Ruggles Station, take orange\nMassachusetts Avenue Station, take orange\nBack Bay Station, take orange\nTufts Medical Center Station, take orange\nChinatown Station, take orange\nDowntown Crossing Station, take orange\nState Station, take orange\nHaymarket Station, take orange\n---switch from orange to green\nGovernment Center Station, take green\nPark Street Station, take green\nBoylston Street Station, take green\nArlington Station, take green\nCopley Station, take green\n---ensure you are on C D B\nHynes Convention Center, take C D B\nKenmore Station, take C D B\n---ensure you are on D\nLongwood Station, take D\nBrookline Village Station, take D\nBrookline Hills Station, take D\nBeaconsfield Station, take D\nReservoir Station, take D\nChestnut Hill Station D Riverside Line, take D\nNewton Centre Station, take D\n"
'#f
'#f))))))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment