Alexis King

List tightness is sometimes wrong when a list contains a blockquote

1

Consider the following markdown input: ``` * foo > bar > baz ``` Is this list loose or tight? [Here’s what the spec says:](https://spec.commonmark.org/0.30/#loose) > A list is **loose** if...

Question: mapping over a Handler?

5

*This is a reproduction of an open [Stack Overflow question](http://stackoverflow.com/q/43333486/465378), which I think might get more visibility here.* I have created a simple API for testing purposes: ```haskell type Query...

Simplify the From/ToJSON instances for Envelope

11

Currently, `Envelope` wraps errors with `{ "err": ... }` and successes with `{ "data": ... }`. These cannot be customized by the user, and they prevent some structures I would...

Feature request: “shallow” version of `compatible-closure-context`

5

I would like a slight variant of `compatible-closure-context` that is “shallow” instead of recursive. This is best explained by example. Consider the following language: ```racket (define-language L [e ::= x...

Why is 2htdp/planetcute so complicated?

5

For whatever reason, `2htdp/planetcute` exports everything as `set!` transformers. I'm honestly not sure why it does this in the first place, but furthermore, this doesn't play nice with `require/typed` in...

lens-join/* functions produce non-lenses when views overlap

2

It’s quite easy to produce a lens with, for example, `lens-join/list` that is not actually a lens; that is, it does not respect the lens laws. Specifically, the produced lens...

On Windows, calling `with-gl-context` during `canvas%` initialization breaks rendering

4

I cannot get OpenGL contexts created by Racket’s `canvas%` to render anything when using the OpenGL programmable pipeline (aka OpenGL 3.0+ “Core”) on Windows. I wrote the following program to...

The `~/.cabal/config` and `cabal.project` files are ostensibly very similar, and the documentation for `cabal.project` files states the following: > The full configuration of a project is determined by combining the...

Exactly what it says on the lid. Calling `[[NSBundle mainBundle] loadNibNamed:owner:options:]` will always return `nil`.

invoke-unit and unit-from-context can trigger an internal typechecker error

6

Update: this is no longer a soundness hole, see https://github.com/racket/typed-racket/issues/1305#issuecomment-1425010424. --- The following program is accepted and produces garbage or segfaults on Racket 8.7: ```racket #lang typed/racket (define-signature a^ ([x...