Eric Griffis

This PR adds exhaustiveness and redundancy checking for case expressions with pattern holes. Each pattern form is associated with one or more constraints that determine which expression forms it can...

Logs

1

This PR installs and configures the `logs` opam package, a performant logging framework with support for traditional level-based logging as well as flexible reporting, tagging, and filtering capabilities.

Given the following edit state:  Expected behavior: Pressing `` should promote the `f` to an application of `f` to a fresh expression hole. Actual behavior: The following exception is...

Type alias 3

3

Continuing the good work started in #505 . This PR migrates the positive changes from PR #505 while eliding spurious edits and undesirable extensions to internal APIs, such as persistent...

add newtype declarations

1

A special notation for representing ordinary Racket data as a single-field product type. `newtype` instances are indistinguishable from their field at run time. Their main purpose is to provide a...

re-design classes to support automatic code generation

1

The "old" (or current as of this writing) implementation of classes and class instances eschews types entirely, so I wind up manually resolving each use of a class member to...