[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 repr

[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 Prope

[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 expansio

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 a make-style)? It

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. > Now I am looking f

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 #:color c . content) > (

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 y

[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