git.iko.soy/Idris-dev
on master help sign in
Made test resistant to differences among command implementations
e202cfdPhilip Rasmussen
test/idrisdoc007/expected+1−6
compare with master
unifiedsplit
@@ -1,6 +1 @@
1−Expects exit status 1: 1
1+Exit status (expects 1): 1
2−Expects 2 lines of output:
3− 2 lines
4−Expects the first line to be type checking:
5−Type checking ./A.idr
6−Cannot check the second line as it contains a host-dependent string.
test/idrisdoc007/run+3−8
@@ -1,11 +1,6 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2# Tests that documentation only is written when safe
2# Tests that documentation only is written when safe
3mkdir do_not_delete_doc
3mkdir do_not_delete_doc
4−idris --mkdoc package.ipkg > lines
4+idris --mkdoc package.ipkg > nowhere
5−echo Expects exit status 1: $?
5+echo Exit status \(expects 1\): $?
6−echo Expects 2 lines of output:
7−wc -l lines
8−echo Expects the first line to be type checking:
9−grep "Type checking \\./A\\.idr" lines
10−echo Cannot check the second line as it contains a host-dependent string.
11−rm -rf do_not_delete_doc *.ibc lines
6+rm -rf do_not_delete_doc *.ibc nowhere