diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-03-03 21:18:01 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-03-04 16:04:15 -0500 |
| commit | 35ca13520747dffa1c3c971198f4e1a7bb12bf72 (patch) | |
| tree | 6d757bb108badaa6b13f9c71bcdca5b11492e396 /utils | |
| parent | 2e43848236a4b80015d8fb09a87f6f6a746c1365 (diff) | |
| download | haskell-35ca13520747dffa1c3c971198f4e1a7bb12bf72.tar.gz | |
Reexport CmpNat and friends (defined in GHC.TypeNats) from GHC.TypeLits
Previously, there were identical copies of `CmpNat`, `(<=?)`, `(+)`,
etc. spread across `GHC.TypeLits` and `GHC.TypeNats`. This makes
`GHC.TypeNats` the canonical home for them, and reexports them from
`GHC.TypeLits` to avoid confusion.
Test Plan: ./validate
Reviewers: bgamari, austin, hvr
Reviewed By: bgamari
Subscribers: thomie, phadej
Differential Revision: https://phabricator.haskell.org/D3272
Diffstat (limited to 'utils')
0 files changed, 0 insertions, 0 deletions