15:58 <andreyorst> can someone help me with converting object:image% to bitmap%? I was toying with 2htdp/image and racket/gui, and wanted to draw results from 2htdp/image on canvas, but it seems that there's no way of converting image to bitmap on the fly, unless I'm missing something

16:02 <samth> andreyorst: you can probably just call `render-image` on the image

16:02 <samth> https://docs.racket-lang.org/mrlib/Image_Core.html#%28def._%28%28lib._mrlib%2Fimage-core..rkt%29._render-image%29%29

16:03 <andreyorst> ah, sweet

16:03 <andreyorst> thanks!

16:05 <andreyorst> yeah, it works!

16:05 <samth> andreyorst: also this section may be useful in general: https://docs.racket-lang.org/teachpack/2htdpimage-guide.html?q=image%3F#%28part._.Image_.Interoperability%29

16:07 <andreyorst> yeah, I've read that, but apparently missed the last item in the list

17:39 <cubik> Hello. I still can't figure out why redex renders metafunctions with very large vertical spacing on my system. http://pasterack.org/pastes/24288

17:40 <cubik> It looks like that there is two or three empty lines between contract and metafunction rule, and pict-descent returns 34.0 instead of 4.0