diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-10-30 11:41:17 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-11-04 10:38:06 +0000 |
| commit | 5479ae0a0ff6d5df2da4f6208ce747f669c6d492 (patch) | |
| tree | 1a7d32c9657d59690c47135898086955d5907bb5 /testsuite/tests/roles/should_compile/Roles13.stderr | |
| parent | 66658eedf0aa51de37ff6d2d009a2f37208985ca (diff) | |
| download | haskell-5479ae0a0ff6d5df2da4f6208ce747f669c6d492.tar.gz | |
Testsuite error message changes
Diffstat (limited to 'testsuite/tests/roles/should_compile/Roles13.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles13.stderr | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles13.stderr b/testsuite/tests/roles/should_compile/Roles13.stderr index b0dda24f2c..dc03073428 100644 --- a/testsuite/tests/roles/should_compile/Roles13.stderr +++ b/testsuite/tests/roles/should_compile/Roles13.stderr @@ -2,18 +2,16 @@ ==================== Tidy Core ==================== Result size of Tidy Core = {terms: 5, types: 9, coercions: 5} -a :: Roles13.Wrap Roles13.Age -> Roles13.Wrap Roles13.Age +a :: Wrap Age -> Wrap Age [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType] -a = \ (ds :: Roles13.Wrap Roles13.Age) -> ds +a = \ (ds :: Wrap Age) -> ds -Roles13.convert :: Roles13.Wrap Roles13.Age -> GHC.Types.Int +convert :: Wrap Age -> Int [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType] -Roles13.convert = +convert = a - `cast` (<Roles13.Wrap Roles13.Age>_R - -> Roles13.NTCo:Wrap[0] Roles13.NTCo:Age[0] - :: (Roles13.Wrap Roles13.Age -> Roles13.Wrap Roles13.Age) - ~R# (Roles13.Wrap Roles13.Age -> GHC.Types.Int)) + `cast` (<Wrap Age>_R -> Roles13.NTCo:Wrap[0] Roles13.NTCo:Age[0] + :: (Wrap Age -> Wrap Age) ~R# (Wrap Age -> Int)) |