No CoreLint warnings if -dno-debug-output is on
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.
Showing with 1 addition and 1 deletion