diff options
author | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-07-16 18:10:01 -0400 |
---|---|---|
committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-07-16 18:10:02 -0400 |
commit | 7fe4993673e43e5b21f38d79ecc8b5163e97ee84 (patch) | |
tree | b1c11b20e1a3f58566dd793c18ba1287b8d3d250 /docs/core-spec/core-spec.pdf | |
parent | beba89a0f16681c85d39fc8a894bde4162ff492a (diff) | |
download | haskell-7fe4993673e43e5b21f38d79ecc8b5163e97ee84.tar.gz |
Modernize S_TPush in the core spec
Summary:
The specification for the `S_TPush` rule in the core spec's
operational semantics is woefully out-of-date. Let's bring it in line
with the presentation in //System FC with Explicit Kind Equality//.
Test Plan: Read it
Reviewers: goldfire, bgamari
Reviewed By: goldfire
Subscribers: rwbarton, thomie, carter
Differential Revision: https://phabricator.haskell.org/D4970
Diffstat (limited to 'docs/core-spec/core-spec.pdf')
-rw-r--r-- | docs/core-spec/core-spec.pdf | bin | 354450 -> 354354 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/core-spec/core-spec.pdf b/docs/core-spec/core-spec.pdf Binary files differindex 97694dcfc2..21a8852d04 100644 --- a/docs/core-spec/core-spec.pdf +++ b/docs/core-spec/core-spec.pdf |