Philip McGrath

make-gl-bitmap exposes ffi error (maybe specific to Mac OS)

1

This program: ```racket #lang racket/base (require racket/class racket/gui/base) (make-gl-bitmap 10 10 (new gl-config%)) ``` produces the following error message, both in DrRacket and at the command line: ``` memcpy: contract...

Support saving backup and autosave files in configurable directories

9

Modifies `path-utils:generate-autosave-name` and `path-utils:generate-backup-name` to respond to preferences stored under `'path-utils:autosave-dir` and `'path-utils:backup-dir`, respectively, which can be used to designate a directory for saving the corresponding automatically-generated files, rather than...

Designated backup directory revised

17

This reorganizes the commits from https://github.com/racket/gui/pull/83 Modifies `path-utils:generate-autosave-name` and `path-utils:generate-backup-name` to respond to preferences stored under `'path-utils:autosave-dir` and `'path-utils:backup-dir`, respectively, which can be used to designate a directory for saving...

[Bug]: Bottles fails to detect an internet connection

4

### Describe the bug Bottles says "You don't seem to be connected to the internet", but there is an internet connection. ### To Reproduce 1. Start Bottles. 2. Hover over...

- [x] I have read [CONTRIBUTING.md](https://github.com/idris-lang/Idris2/blob/main/CONTRIBUTING.md). - [x] I have checked that there is no existing PR/issue about my proposal. ## Summary Generating Racket modules with `(#%declare #:unsafe)` might improve...

Stepper does not respect "Fraction Style"

1

The teaching languages allow you to set the "Fraction Style" to either "Mixed fractions" or "Repeating decimals":  However,...

fix read-only `gifs` and `math` directories

1

An installed copy of `stex` might have all write permission bits removed, even for the owner of the installed files: this is the case with [Guix package of `stex`](https://guix.gnu.org/en/packages/stex-1.2.2-1.5405149/), for...

Strange lack of subtyping for `case->`

1

On Racket 8.9 CS, this program: ```racket #lang typed/racket (: f (case-> (-> 'a 'b) (-> 'x 'y))) (define (f arg) (if (eq? 'a arg) 'b 'y)) (: a->b (->...

`abs` should add a case for `(-> Fixnum Nonnegative-Fixnum)`

2

See https://github.com/racket/typed-racket/issues/1309 for a motivating example.

Here's a motivating example, inspired by the discussion on Discord: ```racket #lang typed/racket/base (: fib (-> Nonnegative-Fixnum Nonnegative-Fixnum)) (define (fib n) (let loop ([n : Nonnegative-Fixnum n] [prev : Nonnegative-Fixnum...