Let the specialiser work on dicts under lambdas
[ghc.git] / testsuite / tests / simplCore / should_compile / T7785.stderr
1
2 ==================== Tidy Core rules ====================
3 "SPEC shared @ []"
4     forall ($dMyFunctor :: MyFunctor []) (irred :: Domain [] Int).
5       shared @ [] $dMyFunctor irred
6       = bar_$sshared
7
8