Robby Findler

This program: ``` #lang typed/racket (: g (∩ (-> Integer Integer) (-> Boolean Boolean))) (define (g x) (if (exact-integer? x) 5 #f)) ``` produces this error: ``` Welcome to DrRacket,...

@sorawee writes (copied from an overfull issue): > Here's one more issue: > > > > The last "Extra regexp" somehow has white background, though only on characters.

When running the program ``` #lang scribble/jfp ``` in an installation that hasn't done that before, the response is: ``` . . git/plt/pkgs/net-lib/net/ftp.rkt:47:0: ftp: expected result code 250, got 550...

acknowledgements section in scribble/acmart gone missing

1

Running `scribble --pdf` on following program: ``` #lang scribble/acmart @title{Title} @author["me"] @section{Introduction} Welcome to our paper. @include-section["y.scrbl"] @acks{Thank you.} ``` which refers to this `y.scrbl`: ``` #lang scribble/base @title{Of Mice...

This program: ``` #lang scribble/base @(require scriblib/footnote) @(define-footnote footnote footnote-part) abc@footnote{abc} ``` raises this error: ``` $ scribble --pdf tmp.scrbl hash-ref: no value found for key key: (generated-tag) context...: /Users/robby/git/plt/extra-pkgs/scribble/scribble-lib/scribble/core.rkt:605:0:...

The call to `generate-program` here always fails: ``` #lang racket (require redex/reduction-semantics) (define-language L (x ::= variable-not-otherwise-mentioned (list x))) (define-judgment-form L #:mode (J I I O) [(where x ,(variable-not-in (term...

Dark Mode under Windows

11

The OS-drawn controls aren't working properly when DrRacket is in dark mode. This issue was created by culling the specific comments from https://github.com/racket/drracket/issues/235. @jcolivo wrote > Hello Racket Team, >...

identifiers with dots in them

4

It seems like something has broken identifiers with dots in them (the original error that tipped me off is [here](https://github.com/rfindler/esterel/actions/runs/7266176667/job/19800370089)). For example, with this file: ``` #lang rhombus/static/and_meta import: "y.rkt"...

related to racket/racket#4650

... and the existing code in long-tut was wrong, as found [by random testing](http://drdr.racket-lang.org/61549/racket/share/pkgs/redex-doc/redex/scribblings/long-tut/code/lab-tue-mor.rkt). After some discussion with @mfelleisen the best approach seems to be to just get rid of...