diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-10-01 18:15:41 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-10-11 12:48:45 -0400 |
| commit | fbb887406d27b5271e45392c2c25f8b1ba4cdeae (patch) | |
| tree | cc4ca312a7a8c646fa99a21eb8c30b549de822af /testsuite/tests | |
| parent | ed4b5885bdac7b986655bb40f8c9ece2f8735c98 (diff) | |
| download | haskell-fbb887406d27b5271e45392c2c25f8b1ba4cdeae.tar.gz | |
Tidy implicit binds
We want to put implicit binds into fat interface files, so the easiest
thing to do seems to be to treat them uniformly with other binders.
Diffstat (limited to 'testsuite/tests')
4 files changed, 3 insertions, 10 deletions
diff --git a/testsuite/tests/deSugar/should_compile/T2431.stderr b/testsuite/tests/deSugar/should_compile/T2431.stderr index 3ff19d51ea..a60f023683 100644 --- a/testsuite/tests/deSugar/should_compile/T2431.stderr +++ b/testsuite/tests/deSugar/should_compile/T2431.stderr @@ -5,12 +5,7 @@ Result size of Tidy Core -- RHS size: {terms: 2, types: 3, coercions: 1, joins: 0/0} T2431.$WRefl [InlPrag=INLINE[final] CONLIKE] :: forall a. a :~: a -[GblId[DataConWrapper], - Caf=NoCafRefs, - Unf=Unf{Src=StableSystem, TopLvl=True, Value=True, ConLike=True, - WorkFree=True, Expandable=True, - Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=False) - Tmpl= \ (@a) -> T2431.Refl @a @a @~(<a>_N :: a GHC.Prim.~# a)}] +[GblId[DataConWrapper], Unf=OtherCon []] T2431.$WRefl = \ (@a) -> T2431.Refl @a @a @~(<a>_N :: a GHC.Prim.~# a) diff --git a/testsuite/tests/simplCore/should_compile/T7360.stderr b/testsuite/tests/simplCore/should_compile/T7360.stderr index 17eb1b5934..4aaf784c63 100644 --- a/testsuite/tests/simplCore/should_compile/T7360.stderr +++ b/testsuite/tests/simplCore/should_compile/T7360.stderr @@ -7,7 +7,6 @@ Result size of Tidy Core T7360.$WFoo3 [InlPrag=INLINE[final] CONLIKE] :: Int %1 -> Foo [GblId[DataConWrapper], Arity=1, - Caf=NoCafRefs, Str=<SL>, Unf=Unf{Src=StableSystem, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, diff --git a/testsuite/tests/stranal/should_compile/T16029.stdout b/testsuite/tests/stranal/should_compile/T16029.stdout index 20861eac28..6b5b6dcd91 100644 --- a/testsuite/tests/stranal/should_compile/T16029.stdout +++ b/testsuite/tests/stranal/should_compile/T16029.stdout @@ -1,7 +1,7 @@ :: Int %1 -> Int %1 -> T Tmpl= \ (conrep [Occ=Once1!] :: Int) - (conrep [Occ=Once1!] :: Int) -> - = \ (conrep [Occ=Once1!] :: Int) (conrep [Occ=Once1!] :: Int) -> + (conrep1 [Occ=Once1!] :: Int) -> + = \ (conrep [Occ=Once1!] :: Int) (conrep1 [Occ=Once1!] :: Int) -> :: GHC.Prim.Int# -> GHC.Prim.Int# = \ (ww :: GHC.Prim.Int#) -> g2 [InlPrag=[2]] :: T -> Int -> Int diff --git a/testsuite/tests/typecheck/should_compile/T14774.stdout b/testsuite/tests/typecheck/should_compile/T14774.stdout index f958cd8215..522c947b55 100644 --- a/testsuite/tests/typecheck/should_compile/T14774.stdout +++ b/testsuite/tests/typecheck/should_compile/T14774.stdout @@ -1,3 +1,2 @@ T14774.$p1D [InlPrag=[~]] :: forall a. D a => C a - RULES: Built in rule for T14774.$p1D: "Class op $p1D"] T14774.$p1D |