diff options
Diffstat (limited to 'testsuite/tests/roles/should_compile/Roles13.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles13.stderr | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles13.stderr b/testsuite/tests/roles/should_compile/Roles13.stderr index 5004d1aacc..8b55b600a5 100644 --- a/testsuite/tests/roles/should_compile/Roles13.stderr +++ b/testsuite/tests/roles/should_compile/Roles13.stderr @@ -1,19 +1,20 @@ ==================== Tidy Core ==================== Result size of Tidy Core - = {terms: 98, types: 38, coercions: 5, joins: 0/0} + = {terms: 98, types: 38, coercions: 6, joins: 0/0} -- RHS size: {terms: 2, types: 2, coercions: 0, joins: 0/0} convert1 :: Wrap Age -> Wrap Age [GblId, Arity=1, Unf=OtherCon []] convert1 = \ (ds :: Wrap Age) -> ds --- RHS size: {terms: 1, types: 0, coercions: 5, joins: 0/0} +-- RHS size: {terms: 1, types: 0, coercions: 6, joins: 0/0} convert :: Wrap Age -> Int [GblId, Arity=1, Unf=OtherCon []] convert = convert1 - `cast` (<Wrap Age>_R ->_R Roles13.N:Wrap[0] (Roles13.N:Age[0]) + `cast` (<Wrap Age>_R + # <'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} |