diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2020-09-30 09:24:39 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-10-01 18:37:58 -0400 |
| commit | a8018c17747342444c67eeec21a506c89c1110e8 (patch) | |
| tree | 781ef12d72c8ec6c0da2cd9e91329351aa4d5790 /testsuite/tests/roles | |
| parent | ba5965eb10967d21b992aac925fb772db2ddde12 (diff) | |
| download | haskell-a8018c17747342444c67eeec21a506c89c1110e8.tar.gz | |
Fix pretty-printing of the mult-polymorphic arrow
A follow-up to !4020 (5830a12c46e7227c276a8a71213057595ee4fc04)
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 8b55b600a5..1a5a04b37f 100644 --- a/testsuite/tests/roles/should_compile/Roles13.stderr +++ b/testsuite/tests/roles/should_compile/Roles13.stderr @@ -14,7 +14,7 @@ convert :: Wrap Age -> Int convert = convert1 `cast` (<Wrap Age>_R - # <'Many>_N ->_R Roles13.N:Wrap[0] (Roles13.N:Age[0]) + %<'Many>_N ->_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} |