-
Simon Peyton Jones authored
The Core Lint warnings are new. There's only one at the moment, namely one to identify recursive INLINE things: [RHS of $c>>_als :: forall s_afT a_alJ b_alK. Cpr001_imp.StateTrans s_afT a_alJ -> Cpr001_imp.StateTrans s_afT b_alK -> Cpr001_imp.StateTrans s_afT b_alK] INLINE binder is loop breaker: $c>>_als This is definitely non-fatal, and typically gets unravelled after another simplifier run anyway. So I'm suppressing such warnings for the testsuite, when -dno-debug-output is on.
c4ea6c7d