> Unfortunately, I think that making disassembly for contracted > functions work would be both tricky, and not as helpful as you'd want, > since showing the behavior of the contract at the JIT level is not > trivial. So for the moment, I think this is just not going to work.
That makes sense. But what I tried above was a work-around; what I actually wanted would be more like: #lang typed/racket/base ;; <- TR (require disassemble/typed) ;; <-- hypothetical TR version of `disassembly` (: f (Number -> Number)) (define (f x) (+ x 10)) (disassemble f) IOW to see the disassembly of the "raw" un-contracted `f` that would be called directly from other Typed Racket code (IIUC). p.s. Having said all that, I don't personally have an immediate _need_ to use this. I just thought, oh, it would be interesting to diff the disassembly of the untyped and Typed variants of some functions. _________________________ Racket Developers list: http://lists.racket-lang.org/dev