diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2020-11-06 10:40:03 -0500 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2020-12-16 16:55:23 -0500 |
| commit | c3b276d94e207717731512d1e1f8b59b729b653a (patch) | |
| tree | 87fd110080c1f56641e56e4eb20676b22c2c9c35 /doc/.gitignore | |
| parent | b4b4d896d2d68d6c48e7db7bfe95c185ca0709cb (diff) | |
Adapt to HsCoreTy (formerly NewHsTypeX) becoming a type synonym
Needed for !4417, the fix for GHC#15706 and GHC#18914.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions