Joachim Breitner
Hi,
Am Freitag, den 26.01.2018, 23:23 -0500 schrieb Joachim Breitner:
Am Freitag, den 26.01.2018, 22:53 -0500 schrieb Richard Eisenberg:
So: would it be possible to have our CI infrastructure validate DEBUG mode as well? Then it would be easy to spot where these failures are from.
unhelpful comment: Travis used to validate with DEBUG, but it no longer runs the test suite for build time reason. So plausibly we could add a -DEBUG variant to CircleCI?
I now also stumble about the inability to properly test a build built with -DDEBUG.
So let me rephrase: Could we please add a -DDEBUG variant to CircleCI?
See D4411.
(And then fix the failing tests, or at least mark them as known-to-be- failing on a debugged GHC)
I'll add this to my list. Cheers, - Ben