[racket-users] Output of errortrace
Hi All, Is there a way to see the result of the annotation made by errortrace? (I think I missing something obvious). /Jens Axel -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [racket-users] Re: Boot To Racket
I've had a wish recently to try and turn Heresy into something like this, with an RPi booting straight to a Heresy shell+editor interface akin to old 8-bit computers, complete with some kind of custom framebuffer 80-column display (as I have an RPi1 and Xorg is hella slow). It could all still be Linux underneath, but probably just sandboxed and with the env. booting straight to it. Sadly I've not got round to really working on that part yet. On Sun, Jul 9, 2017 at 6:55 AM, Eric Eide wrote: > William G Hatch writes: > > > I would love to see a Racket unikernel [...] But I recall some talk > about > > MirageOS (I think) where they said something about it taking something > like 2 > > years to rewrite the IP/TCP stack in OCaml. > > I imagine it wouldn't be too hard to get Racket running atop a rump kernel > or > OSv --- but I haven't tried. It could be interesting, though, perhaps as a > step toward something even more interesting. > > Surely you are right that writing everything in Racket would be a big job! > > Eric. > > -- > > --- > Eric Eide . University of Utah School of > Computing > http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) > 581-5843 FAX > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [racket-users] Output of errortrace
At Sun, 9 Jul 2017 20:58:46 +0200, Jens Axel Søgaard wrote: > Is there a way to see the result of the annotation made by errortrace? I don't think there's a simple way, but if you want to see a single module, then you can try replacing #lang with #lang errortrace and then use `raco expand`. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [racket-users] Output of errortrace
2017-07-09 22:28 GMT+02:00 Matthew Flatt : > At Sun, 9 Jul 2017 20:58:46 +0200, Jens Axel Søgaard wrote: > > Is there a way to see the result of the annotation made by errortrace? > > I don't think there's a simple way, but if you want to see a single > module, then you can try replacing > > #lang > > with > > #lang errortrace > > and then use `raco expand`. > > Works fine for my purpose. Thanks, Jens Axel -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.