[racket-users] Re: With Debugging option enabled, running a test submodule in DrRacket differs from raco test

I hadn't tried to run this program in DrRacket from a never-saved definitions window, but apparently that's significant: if the program is an anonymous one then it always runs without error in DrRacket, even if you switch from Debugging to No debugging or profiling. So, if you're trying to

[racket-users] With Debugging option enabled, running a test submodule in DrRacket differs from raco test

I have my DrRacket configured to run test submodules, and I noticed that the behavior isn't always the same as raco test. Or, at the very least, it isn't the same with certain seemingly-benign options in the Choose Language... panel. When I have the Debugging option selected under Dynamic

[racket-users] Expansion differences between (provide (contract-out ...)) and provide/contract

I'm trying to identify the transformer definitions that provide/contract and contract-out generate for the provided bindings. The last paragraph of the docs for contract-out says that 'provide/contract-original-contract is placed on "code it generates." Oddly enough, though, contract-out's

Re: [racket-users] Where to use make-body-id in scribble

(Adding the list this time. Sorry for the noise, Kathi) On Sun, Jun 19, 2016 at 2:34 PM, Kathi Fisler wrote: > I can't figure out where to put this so that the overall page body id gets > affected though. Is there a specific part I need to hang this on (presumably > through

Re: [racket-users] scribble question about making my own types

On Tue, Jun 14, 2016 at 1:17 PM, Jos Koot wrote: > It works, but may be there is a simpler way to color a word (or element)? I'm not aware of a simpler way, though that is the same solution others on the list have recommended for setting colors in a renderer-independent way.

Re: [racket-users] still trying to get coloured text in scribble

On Tue, May 24, 2016 at 9:14 PM, Hendrik Boom wrote > ``` > #lang scribble/base > (require scribble/core) The "require" is missing a @---change it to @(require scribble/core) and your unbound identifier error should go away. > > Example of color: > > @(define (colorize

Re: [racket-users] Weirdness with typed racket and hashes

Hi, Matthew I'm pretty sure the problem you're having is that, even when you make a hash table using hash, TR can't tell that it's immutable. It only has one hash table type, HashTable, which is used for both mutable and immutable variants. You'll see a similar problem with your cons examples if

[racket-users] Re: Replicate Term in Redex

On Wednesday, May 11, 2016 at 4:32:15 PM UTC-4, Benjamin Chung wrote: > There is a workaround. Instead of using a nice pretty pattern, we can instead > escape to Racket, which would give us > > > > (define-metafunction L >    replace-with-0 : e -> e >    [(replace-with-0 (e ..._1)) ,(make-list