Debugging #2237

[sjakobi]

…to help debug #2237.

[Gabriella439]

@sjakobi: From the test output it looks like the tasty tests complete just fine. Perhaps you can try disabling the doctest test suite and see if it makes progress

[sjakobi]

@Gabriel439 Indeed the problem seems to be with dhall:doctest.

The output seems to indicate that all the doctest examples are tested, but that the testsuite doesn't finish.

When I run the doctests on my Linux machine, I see this line, which is missing from the Windows CI output:

dhall> Test suite doctest passed

I'll report the issue on doctest's issue tracker.

[sjakobi]

I've stopped working on this. I hope we'll eventually get help on this issue via sol/doctest#300.