diff options
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/corelint/LintEtaExpand.stderr | 16 | ||||
| -rw-r--r-- | testsuite/tests/corelint/T21115b.stderr | 8 |
2 files changed, 12 insertions, 12 deletions
diff --git a/testsuite/tests/corelint/LintEtaExpand.stderr b/testsuite/tests/corelint/LintEtaExpand.stderr index 366fae4bb3..47274d0cc6 100644 --- a/testsuite/tests/corelint/LintEtaExpand.stderr +++ b/testsuite/tests/corelint/LintEtaExpand.stderr @@ -2,17 +2,17 @@ Cannot eta expand ‘coerce’ The following type does not have a fixed runtime representation: • a :: TYPE k - Substitution: [TCvSubst - In scope: InScope {a q} - Type env: [] - Co env: []] + Substitution: <InScope = {a q} + IdSubst = [] + TvSubst = [] + CvSubst = []> in coerce BAD 1 <no location info>: warning: Cannot eta expand ‘coerce’ The following type does not have a fixed runtime representation: • a :: TYPE q - Substitution: [TCvSubst - In scope: InScope {a q} - Type env: [] - Co env: []] + Substitution: <InScope = {a q} + IdSubst = [] + TvSubst = [] + CvSubst = []> in coerce BAD 2 diff --git a/testsuite/tests/corelint/T21115b.stderr b/testsuite/tests/corelint/T21115b.stderr index eaa70cc22f..1b245cf3c7 100644 --- a/testsuite/tests/corelint/T21115b.stderr +++ b/testsuite/tests/corelint/T21115b.stderr @@ -6,10 +6,10 @@ T21115b.hs:9:1: warning: In the body of lambda with binder ds :: Double# In the body of letrec with binders fail :: (# #) -> Int# In the body of letrec with binders fail :: (# #) -> Int# - Substitution: [TCvSubst - In scope: InScope {} - Type env: [] - Co env: []] + Substitution: <InScope = {} + IdSubst = [] + TvSubst = [] + CvSubst = []> *** Offending Program *** Rec { $trModule = Module (TrNameS "main"#) (TrNameS "T21115b"#) |