diff options
| author | ningning <xnningxie@gmail.com> | 2018-05-27 11:49:06 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-05-30 10:02:10 -0400 |
| commit | 9aac442f70b0b58decd56fb52dd4ec2289b03759 (patch) | |
| tree | 878f037e73301bb160d04741e492b9e76bc1e972 /ghc.mk | |
| parent | 34464fed463c7be07d4664e2f4b96eaf1acfc37b (diff) | |
| download | haskell-9aac442f70b0b58decd56fb52dd4ec2289b03759.tar.gz | |
Define MCoercion type
An attempt on #14975:
During compilation, reflexive casts is discarded for computation.
Currently in some places we use Maybe coercion as inputs. So if a cast
is reflexive it is denoted as Nothing, otherwise Just coercion.
This patch defines the type
data MCoercion = MRefl | MCo Coercion
which is isomorphic to Maybe Coercion but useful in a number of places,
and super-helpful documentation.
Test Plan: validate
Reviewers: bgamari, goldfire, simonpj
Reviewed By: goldfire
Subscribers: mpickering, rwbarton, thomie, carter
GHC Trac Issues: #14975
Differential Revision: https://phabricator.haskell.org/D4699
Diffstat (limited to 'ghc.mk')
0 files changed, 0 insertions, 0 deletions