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

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