Re: [racket-users] inspecting inferred types in typed racket

2018-08-13 Thread dicknes18
Hello, I have a similar need (in terms of processing the expanded program from typed racket) and came across this post. Unfortunately I am a racket newbie and I don't quite understand the code in typed-racket/core.rkt. Can you please give me some pointers as to what code I should copy/paste? I a

Re: [racket-users] Modify Scribble HTML for integration with site

2018-08-13 Thread Matthew Flatt
The documentation at http://docs.racket-lang.org/ gets a Racket logo through a some JavaScript that is registered by "doc-site.js": http://docs.racket-lang.org/doc-site.js Granted, it's awkward to me to rely on a dynamic conversion of the page content to add an essentially static feature. B

[racket-users] Modify Scribble HTML for integration with site

2018-08-13 Thread 'Joel Dueck' via Racket Users
I would like to include some scribble/manual docs as part of a larger web site, and would like to provide some extra navigation links for the reader so they can see “how to get back out again”. Is there a facility within Scribble for augmenting the HTML just after the beginning of the tag? I

Re: [racket-users] C level bit manipulation - Racket Manifesto

2018-08-13 Thread George Neuner
On 8/13/2018 10:02 AM, 'Paulo Matos' via Racket Users wrote On 11/08/18 19:41, Sam Tobin-Hochstadt wrote: > There are basically two differences between the `unsafe-lsb` function > in Racket and the C one: > - the Racket calling convention vs the C calling convention > - the instruction used t

Re: [racket-users] C level bit manipulation - Racket Manifesto

2018-08-13 Thread 'Paulo Matos' via Racket Users
On 11/08/18 19:41, Sam Tobin-Hochstadt wrote: > There are basically two differences between the `unsafe-lsb` function > in Racket and the C one: > - the Racket calling convention vs the C calling convention > - the instruction used to perform the LSB calculation > > For a variety of reasons R

Re: [racket-users] Re: how to show raco full (non-abbreviated) error messages

2018-08-13 Thread Greg Hendershott
p.s. You could run using errortrace. Although the lambda inferred name is still elided, the errortrace context should still have a useful location, which M-x next-error can find if you do it a second time. As below: racket -l errortrace -t srclocasdfasdf