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

==================== Tidy Core rules ====================
"SC:$wf20" [2] forall (sc :: Int#). $wf2 (I# sc) = f2_$s$wf2 sc