testsuite/tests/simplCore/should_compile/T7785.stderr


1
2
3
4
5
6
7
8


==================== Tidy Core rules ====================
"SPEC shared @ []" [ALWAYS]
    forall ($dMyFunctor :: MyFunctor []) (irred :: Domain [] Int).
      shared @ [] $dMyFunctor irred
      = bar_$sshared