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 /testsuite/tests/dependent | |
| 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 'testsuite/tests/dependent')
0 files changed, 0 insertions, 0 deletions