Skip to content

Instantly share code, notes, and snippets.

@takikawa

takikawa/Core typed run-t

Created April 27, 2015 19:38
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/c01b6482565cfa9506e8 to your computer and use it in GitHub Desktop.
Save takikawa/c01b6482565cfa9506e8 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Core typed run-t
(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))))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment