git.iko.soy/Idris-dev
on master help sign in
Enable test interactive017.
52c103fSteven Shaw
test/TestData.hs+2−1
compare with master
unifiedsplit
@@ -157,7 +157,8 @@ testFamiliesData = [
157 ( 13, ANY ),
157 ( 13, ANY ),
158 ( 14, C_CG ),
158 ( 14, C_CG ),
159 ( 15, ANY ),
159 ( 15, ANY ),
160− ( 16, ANY )]),
160+ ( 16, ANY ),
161+ ( 17, ANY )]),
161 ("interfaces", "Interfaces",
162 ("interfaces", "Interfaces",
162 [ ( 1, ANY ),
163 [ ( 1, ANY ),
163 ( 2, ANY ),
164 ( 2, ANY ),
test/interactive017/runmode 100644 → 100755+1−1
@@ -6,4 +6,4 @@ PATH="../../scripts:$PATH"
6./shebang-node.idr
6./shebang-node.idr
7./shebang-args.idr aaa
7./shebang-args.idr aaa
8./shebang-args.idr bbb aaa
8./shebang-args.idr bbb aaa
9−./shebang-import.idr
9+./shebang-import.idr
test/interactive017/shebang-args.idrmode 100644 → 100755

Only the mode changed.

test/interactive017/shebang-import.idrmode 100644 → 100755

Only the mode changed.

test/interactive017/shebang-node.idrmode 100644 → 100755

Only the mode changed.

test/interactive017/shebang.idrmode 100644 → 100755

Only the mode changed.