diff options
| author | Richard Eisenberg <rae@cs.brynmawr.edu> | 2017-06-06 10:07:16 -0400 |
|---|---|---|
| committer | Richard Eisenberg <rae@cs.brynmawr.edu> | 2017-07-27 07:49:05 -0400 |
| commit | bb2a446ae488522489c4ce03081439659820174c (patch) | |
| tree | 4ada3416baa02e4e81bea9bdc8224ae2916fd98d /testsuite/tests/roles | |
| parent | ef39af721a9002dda5c7ea5a781d7747792f1d5f (diff) | |
| download | haskell-bb2a446ae488522489c4ce03081439659820174c.tar.gz | |
Preserve CoVar uniques during pretty printing
Previously, we did this for Types, but not for Coercions.
Diffstat (limited to 'testsuite/tests/roles')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles13.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles13.stderr b/testsuite/tests/roles/should_compile/Roles13.stderr index f4b44a28c4..414ef801d5 100644 --- a/testsuite/tests/roles/should_compile/Roles13.stderr +++ b/testsuite/tests/roles/should_compile/Roles13.stderr @@ -13,7 +13,7 @@ convert :: Wrap Age -> Int [GblId, Arity=1, Caf=NoCafRefs] convert = convert1 - `cast` (<Wrap Age>_R -> Roles13.N:Wrap[0] Roles13.N:Age[0] + `cast` (<Wrap Age>_R ->_R Roles13.N:Wrap[0] (Roles13.N:Age[0]) :: (Wrap Age -> Wrap Age :: *) ~R# (Wrap Age -> Int :: *)) -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} |