public
Last active

strange timings

  • Download Gist
rlnull.decompiled.rkt
Racket
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
(begin
(module rlnull ....
(require (lib "racket/base.rkt")
(lib "typed/racket/base.rkt")
(for-syntax
(lib "syntax/location.rkt")
(lib "racket/base.rkt")
(lib "typed-racket/env/env-req.rkt")))
(begin
(begin-for-syntax (let () '#<void>))
(begin-for-syntax
(let ()
(|_add-mod!@(lib "typed-racket/env/env-req.rkt")|
(|_module-path-fixup@(lib "syntax/location.rkt")|
(|_variable-reference->module-source/submod@(lib "syntax/location.rkt")|
(#%variable-reference #%linkage))
'())))))
(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")
(for-meta -1 "here.rkt")))))
rlnull.rkt
Racket
1 2 3 4 5 6 7 8 9 10 11 12 13 14
#lang racket/base
 
(require (for-syntax syntax/location racket/base typed-racket/env/env-req))
(begin-for-syntax
(module* #%type-decl #f
(require typed-racket/types/numeric-tower
typed-racket/env/type-name-env
typed-racket/env/global-env
typed-racket/env/type-alias-env)))
 
(begin-for-syntax
(add-mod! (quote-module-path)))
 
(require typed/racket/base)
tnull.decompiled.rkt
Racket
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
(begin
(module tnull ....
(require (lib "typed/racket/base.rkt"))
(begin
(begin-for-syntax (let () '#<void>))
(begin-for-syntax
(let ()
(|_add-mod!@(lib "typed-racket/env/env-req.rkt")|
(|_module-path-fixup@(lib "syntax/location.rkt")|
(|_variable-reference->module-source/submod@(lib "syntax/location.rkt")|
(#%variable-reference #%linkage))
'())))))
(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")
(for-meta -1 "here.rkt")))))
tnull.rkt
Racket
1
#lang typed/racket/base
transcript
1 2 3 4 5 6 7 8 9 10 11
[samth@loki:/tmp plt] raco make *rkt
[samth@loki:/tmp plt] time racket rlnull.rkt
 
real 0m0.208s
user 0m0.160s
sys 0m0.044s
[samth@loki:/tmp plt] time racket tnull.rkt
 
real 0m0.265s
user 0m0.232s
sys 0m0.032s

Please sign in to comment on this gist.

Something went wrong with that request. Please try again.