Skip to content

Instantly share code, notes, and snippets.

@takikawa

takikawa/gist:58a8a7979ab831cc78d0

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