summaryrefslogtreecommitdiff
path: root/testsuite/tests/simplCore/should_compile/T8848a.stderr
blob: bd2e0cd6cc8dfa09c3adbf541f6b8df83361648f (plain)
1
2
3
4
5
6

==================== Tidy Core rules ====================
"SPEC f" [ALWAYS]
    forall (@ b) ($dOrd :: Ord [Int]). f @ [Int] @ b $dOrd = f_$sf @ b