Andrew Kent

expression def in figure 3

1

https://github.com/jsiek/B629-denotational/blob/c2cec309126f700140413fbff5dc6332066ef1a6/notes.tex#L381 TL;DR I think the definition for `expressions` in figure 3 is wrong... specifically the `...` implying we are extending something doesn't make sense to me. Long: In figure 3...

### What version of Racket are you using? 0f733e29fe4a0737c1e662c1fb2bae9d350b4fbb or later ### What program did you run? ```racket #lang typed/racket/base (define-type Type (U String (And Type))) (struct (X) And ([ts...

racketblock always prints decimal numbers

2

`racketblock` throws away the original format of numbers in code, replacing them with their equivalent decimal representation. For instance, this example produces a document with `255` instead of `#xff`: ```...

support more atomic rewriting

15

make it easy to rewrite other atoms in redex models (e.g. a language might want to use `#t` and `#f` because it is convenient, but render them as `true` and...

[RFC] merge [some|all] of unstable/gui/redex into redex

8

I personally constantly use the following definitions from [unstable/gui/redex](http://docs.racket-lang.org/unstable-redex/index.html?q=unstable-redex) when using redex: ``` binary-rw prefix-rw postfix-rw function-rw constant-rw bracket-rw set-cons-rw ``` Is there any desire to merge some/all of `unstable/gui/redex`...

problem with lists?

1

This could be a silly mistake on my part, but I seem to be unable to operate on lists via the REPL on http://try.racket-lang.org/. For instance, entering (list 1 2...

It makes sense that when you click on a row in the TODO window in DrRacket that the corresponding text in the definitions window is highlighted. However, DrRacket also automatically...

While navigating around a Pie file in DrRacket w/ TODO mode on: I haven't yet figured out how to reliably trigger it. Here's the full error message: ``` set-selection in...

have pyproject.toml build depend on setuptools

2

I've been trying to build a poetry-based package which _depends_ on this one and I consistently would get the following build error until I added `"setuptools"` explicitly to the `require`...

LLVM opcodes use unsigned integer tags to identify them (see [llvm/IR/Instruction.def](https://github.com/llvm/llvm-project/blob/2a69790bad1a081d6b89de65331006c674d8781e/llvm/include/llvm/IR/Instruction.def) in LLVM's source), but unfortunately these can change between LLVM versions. Instead of having lean-llvm rely on these tags...