[racket-dev] Easy disassembly of JIT-compiled procedures

From: Greg Hendershott (greghendershott at gmail.com)
Date: Fri May 23 16:53:26 EDT 2014

> Testing of the new code (which is on by default) on platforms other
> than x86-64 Linux would be greatly appreciated.

I tried and it works great on OS X, for untyped Racket.

As for Typed Racket, I tried:

#lang typed/racket/base

(: f (Number -> Number))
(define (f x)
  (+ x 10))

(require/typed disassemble
  [disassemble (Procedure [#:program Boolean] -> Any)])
(disassemble f)

But it complains:

; disassemble: contract violation
;   expected: non-primitive procedure
;   given: #<procedure:f>

Posted on the dev mailing list.