testsuite/tests/simplCore/should_compile/T19246.stderr


1
2
3
4
5
6
7
8
9
10
11


==================== Tidy Core rules ====================


==================== Tidy Core rules ====================
"SPEC/T19246 $wf @Int" [2]
    forall ($dOrd :: Ord Int). $wf @Int $dOrd = $s$wf
"USPEC f @Int" [2] forall ($dOrd :: Ord Int). f @Int $dOrd = $sf