pcf

pcf copied to clipboard

Replace dependency on `unstable/lazy-require` with `racket/lazy-require`

3

`unstable/lazy-require` is likely to go away in the future, and the functionality this package depends on is already provided by `racket/lazy-require`.

stamourv

System barfs with a z3 error on `(pos? ⚖ (• nat (• (nat -> nat))))`

dvanhorn

Fails to build without gui

6

http://pkg-build.racket-lang.org/server/built/fail/pcf.txt

samth

Replace */heap/syntax.rkt with a heap mixin since these are all (mostly) identical. [Mostly because some have more evaluation contexts than others because of monitors; no harm done in adding these...

dvanhorn

The context-sensitive reduction relations for blame and errors is defined in terms of a helper metafunction for determining non-emptiness of evaluation contexts. Because the extension of these relations does not...

dvanhorn