takikawa

-> (disassemble (lambda (x) (caar x)))
       0: 488b4808                       (mov rcx (mem64+ rax #x8))
       4: 48894bf8                       (mov (mem64+ rbx #x-8) rcx)
       8: 488b4810                       (mov rcx (mem64+ rax #x10))
       c: 48894bf0                       (mov (mem64+ rbx #x-10) rcx)
      10: 4883c3f0                       (add rbx #xfffffffffffffff0)
      14: 48895bf8                       (mov (mem64+ rbx #x-8) rbx)
      18: 488b13                         (mov rdx (mem64+ rbx))
      1b: 488b5218                       (mov rdx (mem64+ rdx #x18))
      1f: 488b4208                       (mov rax (mem64+ rdx #x8))

takikawa

#lang typed/racket

(: f ((List Integer Integer Integer) -> Integer))
(define (f x)
  (cadr x))

(begin-for-syntax
  (require typed-racket/utils/tc-utils)
  (report-all-errors))

takikawa

#lang racket

(require (for-syntax syntax/stx))

(define-syntax (m1 stx)
  (syntax-case stx ()
    [(_ i1)
     (let ()
       (define i2 (car (generate-temporaries '(1))))
       #`(begin (quote-syntax #,i2)

takikawa

; (begin
    (define-values (lifted.2) '#f)
    (begin
      (begin
        (define-values
         ()
         (begin
           (quote-syntax
            (require/typed-internal values9 (-> String String))
            #:local)

takikawa

  Type checking higher-order polymorphic multi-methods - François Bourdoncle, Stephan Merz (POPL 1997) (0.955306)
  What are principal typings and what are they good for? - Trevor Jim (POPL 1996) (0.976467)
  Soft typing - Robert Cartwright, Mike Fagan (PLDI 1991) (0.976467)
  Objective ML: a simple object-oriented extension of ML - Didier Rémy, Jérôme Vouillon (POPL 1997) (1.059465)
  Parameterized types for Java - Joseph A. Bank, Andrew C. Myers, Barbara Liskov (POPL 1997) (1.253439)
  Types as abstract interpretations - Patrick Cousot (POPL 1997) (1.253439)
  Typed closure conversion - Yasuhiko Minamide, Greg Morrisett, Robert Harper (POPL 1996) (1.253439)
  Putting type annotations to work - Martin Odersky, Konstantin Läufer (POPL 1996) (1.253439)
  Subtyping recursive types - Roberto M. Amadio, Luca Cardelli (POPL 1991) (1.253439)
  Once upon a polymorphic type - Keith Wansbrough, Simon Peyton Jones (POPL 1999) (1.253439)

takikawa

Installation-wide:
 Package[*=auto]                  Checksum                                    Source
 algol60*                         121f6773572db17eefc38d8c133608c13ffb441f    (catalog algol60)
 at-exp-lib*                      1f828f5028d126649276d371552049d51826d463    (catalog at-exp-lib)
 base*                            090c3be61b8f08ecce3461ba0919cdf71b8c7314    (catalog base)
 cext-lib*                        307cb7b45081e5da0bfec2b8dd1134bbd371f6d3    (catalog cext-lib)
 compatibility*                   c43e48175e6bca3a03512ef1813ca0b839fd9a59    (catalog compatibility)
 compatibility-doc*               9c3c13f1d8df3dd4e08c57f90c64f48742cfdd01    (catalog compatibility-doc)
 compatibility-lib*               b9f75d87f9126ff38f81b25108893d37f59a5902    (catalog compatibility-lib)
 compiler*                        8825de7cc254dbeee47b3c5f6fe627060045ac8c    (catalog compiler)

takikawa

    (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)

takikawa

    (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)

takikawa

(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")

takikawa

#lang racket
(require ffi/unsafe)

(define open-process
  (get-ffi-obj "OpenProcess"
               #f
               (_fun _int _bool _int -> _pointer)))

(define get-process-affinity-mask
  (get-ffi-obj "GetProcessAffinityMask"