idris-1.3.3: test/idrisdoc007/expected.out

Exit status (expects 1): 1