From 61878ef1b65500637cfa19414254cc33e9c99163 Mon Sep 17 00:00:00 2001 From: Robert Wright Date: Tue, 29 Aug 2023 17:02:01 +0100 Subject: [PATCH] Remove trivial testing input files --- tests/allschemes/scheme001/input | 2 -- tests/base/control_app001/expected | 2 -- tests/base/control_app001/input | 0 tests/base/control_app001/run | 2 +- tests/base/data_bits001/expected | 4 +--- tests/base/data_bits001/input | 2 -- tests/base/data_bits001/run | 2 +- tests/base/data_bits002/expected | 4 +--- tests/base/data_bits002/input | 2 -- tests/base/data_bits002/run | 2 +- tests/base/data_integral/expected | 4 +--- tests/base/data_integral/input | 2 -- tests/base/data_integral/run | 2 +- tests/base/data_list001/expected | 4 +--- tests/base/data_list001/input | 2 -- tests/base/data_list001/run | 2 +- tests/base/data_string_lines001/expected | 4 +--- tests/base/data_string_lines001/input | 2 -- tests/base/data_string_lines001/run | 2 +- tests/base/data_string_unlines001/expected | 4 +--- tests/base/data_string_unlines001/input | 2 -- tests/base/data_string_unlines001/run | 2 +- tests/base/data_vect001/expected | 4 +--- tests/base/data_vect001/input | 2 -- tests/base/data_vect001/run | 2 +- tests/base/system_directory/expected | 2 -- tests/base/system_directory/input | 2 -- tests/base/system_directory/run | 2 +- tests/base/system_errno/expected | 2 -- tests/base/system_errno/input | 2 -- tests/base/system_errno/run | 2 +- tests/base/system_file001/expected | 7 ++----- tests/base/system_file001/input | 2 -- tests/base/system_file001/run | 10 +++++----- tests/base/system_file_copyFile/expected | 2 -- tests/base/system_file_copyFile/input | 2 -- tests/base/system_file_copyFile/run | 2 +- tests/base/system_file_fRead/expected | 4 +--- tests/base/system_file_fRead/input | 2 -- tests/base/system_file_fRead/run | 2 +- tests/base/system_file_popen/expected | 4 +--- tests/base/system_file_popen/input | 2 -- tests/base/system_file_popen/run | 2 +- tests/base/system_run/expected | 4 +--- tests/base/system_run/input | 2 -- tests/base/system_run/run | 2 +- tests/base/system_signal001/expected | 5 +---- tests/base/system_signal001/input | 1 - tests/base/system_signal001/run | 2 +- tests/base/system_signal002/expected | 5 +---- tests/base/system_signal002/input | 1 - tests/base/system_signal002/run | 2 +- tests/base/system_signal003/expected | 3 --- tests/base/system_signal003/input | 1 - tests/base/system_signal003/run | 2 +- tests/base/system_signal004/expected | 5 +---- tests/base/system_signal004/input | 1 - tests/base/system_signal004/run | 2 +- tests/base/system_time001/expected | 7 ++----- tests/base/system_time001/input | 2 -- tests/base/system_time001/run | 10 +++++----- tests/chez/bitops/expected | 2 -- tests/chez/bitops/input | 2 -- tests/chez/bitops/run | 2 +- tests/chez/casts/expected | 2 -- tests/chez/casts/input | 2 -- tests/chez/casts/run | 2 +- tests/chez/chez001/expected | 4 +--- tests/chez/chez001/input | 2 -- tests/chez/chez001/run | 2 +- tests/chez/chez003/expected | 4 +--- tests/chez/chez003/input | 2 -- tests/chez/chez003/run | 2 +- tests/chez/chez004/expected | 4 +--- tests/chez/chez004/input | 2 -- tests/chez/chez004/run | 2 +- tests/chez/chez007/expected | 4 +--- tests/chez/chez007/input | 2 -- tests/chez/chez007/run | 2 +- tests/chez/chez008/expected | 4 +--- tests/chez/chez008/input | 2 -- tests/chez/chez008/run | 2 +- tests/chez/chez009/expected | 4 +--- tests/chez/chez009/input | 2 -- tests/chez/chez009/run | 2 +- tests/chez/chez010/expected | 4 +--- tests/chez/chez010/input | 2 -- tests/chez/chez010/run | 2 +- tests/chez/chez012/expected | 4 +--- tests/chez/chez012/input | 2 -- tests/chez/chez012/run | 2 +- tests/chez/chez013/expected | 4 +--- tests/chez/chez013/input | 2 -- tests/chez/chez013/run | 2 +- tests/chez/chez014/expected | 4 +--- tests/chez/chez014/input | 2 -- tests/chez/chez014/run | 2 +- tests/chez/chez015/expected | 4 +--- tests/chez/chez015/input | 2 -- tests/chez/chez015/run | 2 +- tests/chez/chez016/expected | 4 +--- tests/chez/chez016/input | 2 -- tests/chez/chez016/run | 2 +- tests/chez/chez017/expected.in | 4 +--- tests/chez/chez017/input | 2 -- tests/chez/chez017/run | 2 +- tests/chez/chez018/expected | 4 +--- tests/chez/chez018/input | 2 -- tests/chez/chez018/run | 2 +- tests/chez/chez020/expected | 4 +--- tests/chez/chez020/input | 2 -- tests/chez/chez020/run | 2 +- tests/chez/chez022/expected | 4 +--- tests/chez/chez022/input | 2 -- tests/chez/chez022/run | 2 +- tests/chez/chez023/expected | 4 +--- tests/chez/chez023/input | 2 -- tests/chez/chez023/run | 2 +- tests/chez/chez024/expected | 4 +--- tests/chez/chez024/input | 2 -- tests/chez/chez024/run | 2 +- tests/chez/chez027/expected | 4 +--- tests/chez/chez027/input | 2 -- tests/chez/chez027/run | 2 +- tests/chez/chez028/expected | 4 +--- tests/chez/chez028/input | 2 -- tests/chez/chez028/run | 2 +- tests/chez/chez029/expected | 4 +--- tests/chez/chez029/input | 2 -- tests/chez/chez029/run | 2 +- tests/chez/chez032/expected | 4 +--- tests/chez/chez032/input | 2 -- tests/chez/chez032/run | 2 +- tests/chez/chez033/expected | 5 +---- tests/chez/chez033/input | 2 -- tests/chez/chez033/run | 2 +- tests/chez/chez034/expected | 4 +--- tests/chez/chez034/input | 2 -- tests/chez/chez034/run | 2 +- tests/chez/constfold/expected | 4 +--- tests/chez/constfold/input | 2 -- tests/chez/constfold/run | 2 +- tests/chez/constfold2/expected | 4 +--- tests/chez/constfold2/input | 2 -- tests/chez/constfold2/run | 2 +- tests/chez/constfold3/expected | 4 +--- tests/chez/constfold3/input | 2 -- tests/chez/constfold3/run | 2 +- tests/chez/memo/expected | 4 +--- tests/chez/memo/input | 2 -- tests/chez/memo/run | 2 +- tests/chez/nat2fin/expected | 4 +--- tests/chez/nat2fin/input | 2 -- tests/chez/nat2fin/run | 2 +- tests/chez/newints/expected | 2 -- tests/chez/newints/input | 2 -- tests/chez/newints/run | 2 +- tests/codegen/enum/expected | 4 +--- tests/codegen/enum/input | 2 -- tests/codegen/enum/run | 2 +- tests/contrib/json_001/expected | 4 +--- tests/contrib/json_001/input | 2 -- tests/contrib/json_001/run | 2 +- tests/contrib/json_002/expected | 4 +--- tests/contrib/json_002/input | 2 -- tests/contrib/json_002/run | 2 +- tests/contrib/json_003/expected | 4 +--- tests/contrib/json_003/input | 2 -- tests/contrib/json_003/run | 2 +- tests/contrib/list_alternating/expected | 4 +--- tests/contrib/list_alternating/input | 2 -- tests/contrib/list_alternating/run | 2 +- tests/contrib/sortedmap_001/expected | 4 +--- tests/contrib/sortedmap_001/input | 2 -- tests/contrib/sortedmap_001/run | 2 +- tests/contrib/system_directory_tree_copyDir/expected | 2 -- tests/contrib/system_directory_tree_copyDir/input | 2 -- tests/contrib/system_directory_tree_copyDir/run | 2 +- tests/idris2/basic055/expected | 4 +--- tests/idris2/basic055/input | 2 -- tests/idris2/basic055/run | 2 +- tests/idris2/basic056/expected | 4 +--- tests/idris2/basic056/input | 2 -- tests/idris2/basic056/run | 2 +- tests/idris2/idiom001/expected | 4 +--- tests/idris2/idiom001/input | 2 -- tests/idris2/idiom001/run | 2 +- tests/idris2/primloop/expected | 4 +--- tests/idris2/primloop/input | 2 -- tests/idris2/primloop/run | 2 +- tests/idris2/reflection014/expected | 4 +--- tests/idris2/reflection014/input | 2 -- tests/idris2/reflection014/run | 2 +- tests/node/bitops/expected | 2 -- tests/node/bitops/input | 2 -- tests/node/bitops/run | 2 +- tests/node/casts/expected | 2 -- tests/node/casts/input | 2 -- tests/node/casts/run | 2 +- tests/node/fastConcat/expected | 4 +--- tests/node/fastConcat/input | 2 -- tests/node/fastConcat/run | 2 +- tests/node/fix1839/expected | 4 +--- tests/node/fix1839/input | 2 -- tests/node/fix1839/run | 2 +- tests/node/idiom001/expected | 2 -- tests/node/idiom001/input | 2 -- tests/node/idiom001/run | 2 +- tests/node/integer_array/expected | 4 +--- tests/node/integer_array/input | 2 -- tests/node/integer_array/run | 2 +- tests/node/memo/expected | 4 +--- tests/node/memo/input | 2 -- tests/node/memo/run | 2 +- tests/node/newints/expected | 2 -- tests/node/newints/input | 2 -- tests/node/newints/run | 2 +- tests/node/node001/expected | 4 +--- tests/node/node001/input | 2 -- tests/node/node001/run | 2 +- tests/node/node003/expected | 4 +--- tests/node/node003/input | 2 -- tests/node/node003/run | 2 +- tests/node/node004/expected | 4 +--- tests/node/node004/input | 2 -- tests/node/node004/run | 2 +- tests/node/node007/expected | 4 +--- tests/node/node007/input | 2 -- tests/node/node007/run | 2 +- tests/node/node008/expected | 4 +--- tests/node/node008/input | 2 -- tests/node/node008/run | 2 +- tests/node/node009/expected | 4 +--- tests/node/node009/input | 2 -- tests/node/node009/run | 2 +- tests/node/node012/expected | 4 +--- tests/node/node012/input | 2 -- tests/node/node012/run | 2 +- tests/node/node014/expected | 2 -- tests/node/node014/input | 2 -- tests/node/node014/run | 2 +- tests/node/node015/expected | 4 +--- tests/node/node015/input | 2 -- tests/node/node015/run | 2 +- tests/node/node017/expected.in | 4 +--- tests/node/node017/input | 2 -- tests/node/node017/run | 2 +- tests/node/node018/expected | 4 +--- tests/node/node018/input | 2 -- tests/node/node018/run | 2 +- tests/node/node020/expected | 4 +--- tests/node/node020/input | 2 -- tests/node/node020/run | 2 +- tests/node/node022/expected | 4 +--- tests/node/node022/input | 2 -- tests/node/node022/run | 2 +- tests/node/node023/expected | 4 +--- tests/node/node023/input | 2 -- tests/node/node023/run | 2 +- tests/node/node024/expected | 4 +--- tests/node/node024/input | 2 -- tests/node/node024/run | 2 +- tests/node/node025/expected | 4 +--- tests/node/node025/input | 2 -- tests/node/node025/run | 2 +- tests/node/node026/expected | 4 +--- tests/node/node026/input | 2 -- tests/node/node026/run | 2 +- tests/node/node027/expected | 2 -- tests/node/node027/input | 2 -- tests/node/node027/run | 2 +- tests/node/perf001/expected | 4 +--- tests/node/perf001/input | 2 -- tests/node/perf001/run | 2 +- tests/node/stringcast/expected | 4 +--- tests/node/stringcast/input | 2 -- tests/node/stringcast/run | 2 +- tests/prelude/bind001/expected | 4 +--- tests/prelude/bind001/input | 2 -- tests/prelude/bind001/run | 2 +- tests/prelude/double001/expected | 4 +--- tests/prelude/double001/input | 2 -- tests/prelude/double001/run | 2 +- 283 files changed, 183 insertions(+), 562 deletions(-) delete mode 100644 tests/allschemes/scheme001/input delete mode 100644 tests/base/control_app001/input delete mode 100644 tests/base/data_bits001/input delete mode 100644 tests/base/data_bits002/input delete mode 100644 tests/base/data_integral/input delete mode 100644 tests/base/data_list001/input delete mode 100644 tests/base/data_string_lines001/input delete mode 100644 tests/base/data_string_unlines001/input delete mode 100644 tests/base/data_vect001/input delete mode 100644 tests/base/system_directory/input delete mode 100644 tests/base/system_errno/input delete mode 100644 tests/base/system_file001/input delete mode 100644 tests/base/system_file_copyFile/input delete mode 100644 tests/base/system_file_fRead/input delete mode 100644 tests/base/system_file_popen/input delete mode 100644 tests/base/system_run/input delete mode 100644 tests/base/system_signal001/input delete mode 100644 tests/base/system_signal002/input delete mode 100644 tests/base/system_signal003/input delete mode 100644 tests/base/system_signal004/input delete mode 100644 tests/base/system_time001/input delete mode 100644 tests/chez/bitops/input delete mode 100644 tests/chez/casts/input delete mode 100644 tests/chez/chez001/input delete mode 100644 tests/chez/chez003/input delete mode 100644 tests/chez/chez004/input delete mode 100644 tests/chez/chez007/input delete mode 100644 tests/chez/chez008/input delete mode 100644 tests/chez/chez009/input delete mode 100644 tests/chez/chez010/input delete mode 100644 tests/chez/chez012/input delete mode 100644 tests/chez/chez013/input delete mode 100644 tests/chez/chez014/input delete mode 100644 tests/chez/chez015/input delete mode 100644 tests/chez/chez016/input delete mode 100644 tests/chez/chez017/input delete mode 100644 tests/chez/chez018/input delete mode 100644 tests/chez/chez020/input delete mode 100644 tests/chez/chez022/input delete mode 100644 tests/chez/chez023/input delete mode 100644 tests/chez/chez024/input delete mode 100644 tests/chez/chez027/input delete mode 100644 tests/chez/chez028/input delete mode 100644 tests/chez/chez029/input delete mode 100644 tests/chez/chez032/input delete mode 100644 tests/chez/chez033/input delete mode 100644 tests/chez/chez034/input delete mode 100644 tests/chez/constfold/input delete mode 100644 tests/chez/constfold2/input delete mode 100644 tests/chez/constfold3/input delete mode 100644 tests/chez/memo/input delete mode 100644 tests/chez/nat2fin/input delete mode 100644 tests/chez/newints/input delete mode 100644 tests/codegen/enum/input delete mode 100644 tests/contrib/json_001/input delete mode 100644 tests/contrib/json_002/input delete mode 100644 tests/contrib/json_003/input delete mode 100644 tests/contrib/list_alternating/input delete mode 100644 tests/contrib/sortedmap_001/input delete mode 100644 tests/contrib/system_directory_tree_copyDir/input delete mode 100644 tests/idris2/basic055/input delete mode 100644 tests/idris2/basic056/input delete mode 100644 tests/idris2/idiom001/input delete mode 100644 tests/idris2/primloop/input delete mode 100644 tests/idris2/reflection014/input delete mode 100644 tests/node/bitops/input delete mode 100644 tests/node/casts/input delete mode 100644 tests/node/fastConcat/input delete mode 100644 tests/node/fix1839/input delete mode 100644 tests/node/idiom001/input delete mode 100644 tests/node/integer_array/input delete mode 100644 tests/node/memo/input delete mode 100644 tests/node/newints/input delete mode 100644 tests/node/node001/input delete mode 100644 tests/node/node003/input delete mode 100644 tests/node/node004/input delete mode 100644 tests/node/node007/input delete mode 100644 tests/node/node008/input delete mode 100644 tests/node/node009/input delete mode 100644 tests/node/node012/input delete mode 100644 tests/node/node014/input delete mode 100644 tests/node/node015/input delete mode 100644 tests/node/node017/input delete mode 100644 tests/node/node018/input delete mode 100644 tests/node/node020/input delete mode 100644 tests/node/node022/input delete mode 100644 tests/node/node023/input delete mode 100644 tests/node/node024/input delete mode 100644 tests/node/node025/input delete mode 100644 tests/node/node026/input delete mode 100644 tests/node/node027/input delete mode 100644 tests/node/perf001/input delete mode 100644 tests/node/stringcast/input delete mode 100644 tests/prelude/bind001/input delete mode 100644 tests/prelude/double001/input diff --git a/tests/allschemes/scheme001/input b/tests/allschemes/scheme001/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/allschemes/scheme001/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/base/control_app001/expected b/tests/base/control_app001/expected index 9b92a3f3a..9d0046459 100644 --- a/tests/base/control_app001/expected +++ b/tests/base/control_app001/expected @@ -1,3 +1 @@ 1/1: Building TestException (TestException.idr) -TestException> -Bye for now! diff --git a/tests/base/control_app001/input b/tests/base/control_app001/input deleted file mode 100644 index e69de29bb..000000000 diff --git a/tests/base/control_app001/run b/tests/base/control_app001/run index 163b71b8e..16a2df7b0 100755 --- a/tests/base/control_app001/run +++ b/tests/base/control_app001/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 TestException.idr < input +check TestException.idr diff --git a/tests/base/data_bits001/expected b/tests/base/data_bits001/expected index 714459593..b83e64927 100644 --- a/tests/base/data_bits001/expected +++ b/tests/base/data_bits001/expected @@ -1,5 +1,4 @@ -1/1: Building BitOps (BitOps.idr) -Main> [0, 1, 2, 4, 8, 16, 32, 64, 127] +[0, 1, 2, 4, 8, 16, 32, 64, 127] [0, 1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096, 8192, 16384, 32767] [0, 1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096, 8192, 16384, 32768, 65536, 131072, 262144, 524288, 1048576, 2097152, 4194304, 8388608, 16777216, 33554432, 67108864, 134217728, 268435456, 536870912, 1073741824, 2147483647] [0, 1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096, 8192, 16384, 32768, 65536, 131072, 262144, 524288, 1048576, 2097152, 4194304, 8388608, 16777216, 33554432, 67108864, 134217728, 268435456, 536870912, 1073741824, 2147483648, 4294967296, 8589934592, 17179869184, 34359738368, 68719476736, 137438953472, 274877906944, 549755813888, 1099511627776, 2199023255552, 4398046511104, 8796093022208, 17592186044416, 35184372088832, 70368744177664, 140737488355328, 281474976710656, 562949953421312, 1125899906842624, 2251799813685248, 4503599627370496, 9007199254740992, 18014398509481984, 36028797018963968, 72057594037927936, 144115188075855872, 288230376151711744, 576460752303423488, 1152921504606846976, 2305843009213693952, 4611686018427387903] @@ -59,4 +58,3 @@ Main> [0, 1, 2, 4, 8, 16, 32, 64, 127] [0, 8, 16] [0, 16, 32] [0, 32, 64, 33] -Main> Bye for now! diff --git a/tests/base/data_bits001/input b/tests/base/data_bits001/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/base/data_bits001/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/base/data_bits001/run b/tests/base/data_bits001/run index 14e998613..5bb842ecf 100755 --- a/tests/base/data_bits001/run +++ b/tests/base/data_bits001/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 BitOps.idr < input +run BitOps.idr diff --git a/tests/base/data_bits002/expected b/tests/base/data_bits002/expected index 0e00f29cd..68daf4da8 100644 --- a/tests/base/data_bits002/expected +++ b/tests/base/data_bits002/expected @@ -1,5 +1,4 @@ -1/1: Building BitRotate (BitRotate.idr) -Main> ------------------------------------------------------------------------ +------------------------------------------------------------------------ -- RotR Bits8 00000000 00000000 00000001 10000000 @@ -413,4 +412,3 @@ Main> ------------------------------------------------------------------------ 1110000000000000000000000000000000000000000000000000000000000000 1100000000000000000000000000000000000000000000000000000000000001 1000000000000000000000000000000000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000001 -Main> Bye for now! diff --git a/tests/base/data_bits002/input b/tests/base/data_bits002/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/base/data_bits002/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/base/data_bits002/run b/tests/base/data_bits002/run index 4397887ef..b0e6763b2 100755 --- a/tests/base/data_bits002/run +++ b/tests/base/data_bits002/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 BitRotate.idr < input +run BitRotate.idr diff --git a/tests/base/data_integral/expected b/tests/base/data_integral/expected index 39ffccc9e..f091af789 100644 --- a/tests/base/data_integral/expected +++ b/tests/base/data_integral/expected @@ -1,5 +1,4 @@ -1/1: Building Integral (Integral.idr) -Main> "Nat Even" +"Nat Even" [True, True, True, True, True] "Nat Odd" [True, True, True, True, True] @@ -7,4 +6,3 @@ Main> "Nat Even" [True, True, True, True, True] "Integral Odd" [True, True, True, True, True, True] -Main> Bye for now! diff --git a/tests/base/data_integral/input b/tests/base/data_integral/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/base/data_integral/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/base/data_integral/run b/tests/base/data_integral/run index 2a3399f8b..6e0c0a57d 100644 --- a/tests/base/data_integral/run +++ b/tests/base/data_integral/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 Integral.idr < input +run Integral.idr diff --git a/tests/base/data_list001/expected b/tests/base/data_list001/expected index ca7e4caea..9523a5105 100644 --- a/tests/base/data_list001/expected +++ b/tests/base/data_list001/expected @@ -1,5 +1,3 @@ -1/1: Building List (List.idr) -Main> [[9, 6, 7, 8], [6, 9, 7, 8], [6, 7, 8, 9], [9, 6], [6, 9], [9]] +[[9, 6, 7, 8], [6, 9, 7, 8], [6, 7, 8, 9], [9, 6], [6, 9], [9]] [[], [4], [3], [4, 5], [3, 5], [3, 4]] [[6], [6, 4], [3, 6], [6, 4, 5], [3, 6, 5], [3, 4, 6]] -Main> Bye for now! diff --git a/tests/base/data_list001/input b/tests/base/data_list001/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/base/data_list001/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/base/data_list001/run b/tests/base/data_list001/run index 8d9753ad5..1744025ec 100755 --- a/tests/base/data_list001/run +++ b/tests/base/data_list001/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 List.idr < input +run List.idr diff --git a/tests/base/data_string_lines001/expected b/tests/base/data_string_lines001/expected index abc1ec7bc..22a29cb41 100644 --- a/tests/base/data_string_lines001/expected +++ b/tests/base/data_string_lines001/expected @@ -1,5 +1,4 @@ -1/1: Building Lines (Lines.idr) -Main> [] +[] ["ab"] ["ab"] ["ab", "cd"] @@ -7,4 +6,3 @@ Main> [] ["a", "b"] ["a", "b"] ["", "", ""] -Main> Bye for now! diff --git a/tests/base/data_string_lines001/input b/tests/base/data_string_lines001/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/base/data_string_lines001/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/base/data_string_lines001/run b/tests/base/data_string_lines001/run index dbdc30013..5453ad892 100755 --- a/tests/base/data_string_lines001/run +++ b/tests/base/data_string_lines001/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 Lines.idr < input +run Lines.idr diff --git a/tests/base/data_string_unlines001/expected b/tests/base/data_string_unlines001/expected index 3bd2d1e7b..2c855faea 100644 --- a/tests/base/data_string_unlines001/expected +++ b/tests/base/data_string_unlines001/expected @@ -1,8 +1,6 @@ -1/1: Building Unlines (Unlines.idr) -Main> "<>" +"<>" "" "" "<>" "" "" -Main> Bye for now! diff --git a/tests/base/data_string_unlines001/input b/tests/base/data_string_unlines001/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/base/data_string_unlines001/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/base/data_string_unlines001/run b/tests/base/data_string_unlines001/run index 802aa5baf..40d40db87 100755 --- a/tests/base/data_string_unlines001/run +++ b/tests/base/data_string_unlines001/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 Unlines.idr < input +run Unlines.idr diff --git a/tests/base/data_vect001/expected b/tests/base/data_vect001/expected index 928cda3dc..9556ec6de 100644 --- a/tests/base/data_vect001/expected +++ b/tests/base/data_vect001/expected @@ -1,5 +1,4 @@ -1/1: Building Vect (Vect.idr) -Main> [(0 ** []), (1 ** [3]), (5 ** [3, 4, 5, 6, 7])] +[(0 ** []), (1 ** [3]), (5 ** [3, 4, 5, 6, 7])] [(0 ** ([], 3)), (1 ** ([3], 4)), (2 ** ([3, 4], 5))] [(1 ** [2]), (2 ** [6, 2]), (4 ** [120, 24, 6, 2])] [[2, 3, 4], [3, 4], [4], []] @@ -9,4 +8,3 @@ Main> [(0 ** []), (1 ** [3]), (5 ** [3, 4, 5, 6, 7])] [[1, 5], [2, 6], [3, 7], [4, 8]] [] [0, 1, 2] -Main> Bye for now! diff --git a/tests/base/data_vect001/input b/tests/base/data_vect001/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/base/data_vect001/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/base/data_vect001/run b/tests/base/data_vect001/run index fcf96b59e..a7fd08dd7 100755 --- a/tests/base/data_vect001/run +++ b/tests/base/data_vect001/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 Vect.idr < input +run Vect.idr diff --git a/tests/base/system_directory/expected b/tests/base/system_directory/expected index 2f0f68c04..e69de29bb 100644 --- a/tests/base/system_directory/expected +++ b/tests/base/system_directory/expected @@ -1,2 +0,0 @@ -1/1: Building ReadDir (ReadDir.idr) -Main> Main> Bye for now! diff --git a/tests/base/system_directory/input b/tests/base/system_directory/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/base/system_directory/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/base/system_directory/run b/tests/base/system_directory/run index e98dbda6f..cf17aac1c 100755 --- a/tests/base/system_directory/run +++ b/tests/base/system_directory/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 ReadDir.idr < input +run ReadDir.idr diff --git a/tests/base/system_errno/expected b/tests/base/system_errno/expected index 21ce34f61..e69de29bb 100644 --- a/tests/base/system_errno/expected +++ b/tests/base/system_errno/expected @@ -1,2 +0,0 @@ -1/1: Building Test (Test.idr) -Main> Main> Bye for now! diff --git a/tests/base/system_errno/input b/tests/base/system_errno/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/base/system_errno/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/base/system_errno/run b/tests/base/system_errno/run index 441b64ba3..ceb556ba0 100755 --- a/tests/base/system_errno/run +++ b/tests/base/system_errno/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 Test.idr < input +run Test.idr diff --git a/tests/base/system_file001/expected b/tests/base/system_file001/expected index 5d81e356b..4d7364c16 100644 --- a/tests/base/system_file001/expected +++ b/tests/base/system_file001/expected @@ -1,5 +1,4 @@ -1/1: Building ReadFilePage (ReadFilePage.idr) -Main> empty: [] +empty: [] one two @@ -28,8 +27,7 @@ three lines in four five lines total -Main> Bye for now! -Main> empty: [] +empty: [] one two @@ -58,4 +56,3 @@ three lines in four five lines total -Main> Bye for now! diff --git a/tests/base/system_file001/input b/tests/base/system_file001/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/base/system_file001/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/base/system_file001/run b/tests/base/system_file001/run index cb3d7cbdc..b4f65d4d4 100755 --- a/tests/base/system_file001/run +++ b/tests/base/system_file001/run @@ -2,14 +2,14 @@ # @readFilePage@ uses primitive functions with definitions for both # C (supported by most backends) and Node. -idris2 --cg chez ReadFilePage.idr < input -idris2 --cg node ReadFilePage.idr < input +run --cg chez ReadFilePage.idr +run --cg node ReadFilePage.idr # The following backends failed for reasons unrelated to this test. They can be # uncommented at a future date. # RACKET failed to find the builtin idris support library -# idris2 --cg racket ReadFilePage.idr < input +# run --cg racket ReadFilePage.idr # REFC doesn't support :exec yet -# idris2 --cg refc ReadFilePage.idr < input +# run --cg refc ReadFilePage.idr # GAMBIT hung seemingly indefinitely -# idris2 --cg gambit ReadFilePage.idr < input +# run --cg gambit ReadFilePage.idr diff --git a/tests/base/system_file_copyFile/expected b/tests/base/system_file_copyFile/expected index 450e0e78c..efd35673a 100644 --- a/tests/base/system_file_copyFile/expected +++ b/tests/base/system_file_copyFile/expected @@ -1,3 +1 @@ -1/1: Building CopyFile (CopyFile.idr) -Main> Main> Bye for now! AQIDBA== diff --git a/tests/base/system_file_copyFile/input b/tests/base/system_file_copyFile/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/base/system_file_copyFile/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/base/system_file_copyFile/run b/tests/base/system_file_copyFile/run index 50b1e24b1..c324eb67e 100644 --- a/tests/base/system_file_copyFile/run +++ b/tests/base/system_file_copyFile/run @@ -1,6 +1,6 @@ . ../../testutils.sh -idris2 CopyFile.idr < input +run CopyFile.idr base64 -i dest.bin rm dest.bin diff --git a/tests/base/system_file_fRead/expected b/tests/base/system_file_fRead/expected index 747a1e5e5..04aa61482 100644 --- a/tests/base/system_file_fRead/expected +++ b/tests/base/system_file_fRead/expected @@ -1,3 +1 @@ -1/1: Building ReadFile (ReadFile.idr) -Main> "Hello, world\nLorem ipsum\n" -Main> Bye for now! +"Hello, world\nLorem ipsum\n" diff --git a/tests/base/system_file_fRead/input b/tests/base/system_file_fRead/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/base/system_file_fRead/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/base/system_file_fRead/run b/tests/base/system_file_fRead/run index d302d0f29..f1c990b35 100644 --- a/tests/base/system_file_fRead/run +++ b/tests/base/system_file_fRead/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 ReadFile.idr < input +run ReadFile.idr diff --git a/tests/base/system_file_popen/expected b/tests/base/system_file_popen/expected index 03342c71d..7cd8b3d00 100644 --- a/tests/base/system_file_popen/expected +++ b/tests/base/system_file_popen/expected @@ -1,5 +1,3 @@ -1/1: Building Popen (Popen.idr) -Main> "Hello, world" +"Hello, world" "Hello, $PATH" 17 -Main> Bye for now! diff --git a/tests/base/system_file_popen/input b/tests/base/system_file_popen/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/base/system_file_popen/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/base/system_file_popen/run b/tests/base/system_file_popen/run index a096627a9..c72547808 100644 --- a/tests/base/system_file_popen/run +++ b/tests/base/system_file_popen/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 Popen.idr < input +run Popen.idr diff --git a/tests/base/system_run/expected b/tests/base/system_run/expected index 96a4fbd9a..f8a7b7061 100644 --- a/tests/base/system_run/expected +++ b/tests/base/system_run/expected @@ -1,5 +1,3 @@ -1/1: Building Run (Run.idr) -Main> "Hello, world" +"Hello, world" "Hello, $PATH" ("", 17) -Main> Bye for now! diff --git a/tests/base/system_run/input b/tests/base/system_run/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/base/system_run/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/base/system_run/run b/tests/base/system_run/run index 125d48856..02d226f5a 100644 --- a/tests/base/system_run/run +++ b/tests/base/system_run/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 Run.idr < input +run Run.idr diff --git a/tests/base/system_signal001/expected b/tests/base/system_signal001/expected index 19472fb6a..1af30b5d4 100644 --- a/tests/base/system_signal001/expected +++ b/tests/base/system_signal001/expected @@ -1,6 +1,3 @@ -1/1: Building IgnoreSignal (IgnoreSignal.idr) -Main> before +before after done. -Main> -Bye for now! diff --git a/tests/base/system_signal001/input b/tests/base/system_signal001/input deleted file mode 100644 index 6c0a230c0..000000000 --- a/tests/base/system_signal001/input +++ /dev/null @@ -1 +0,0 @@ -:exec main diff --git a/tests/base/system_signal001/run b/tests/base/system_signal001/run index 8a317bcdc..81a62bbe9 100755 --- a/tests/base/system_signal001/run +++ b/tests/base/system_signal001/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 IgnoreSignal.idr < input +run IgnoreSignal.idr diff --git a/tests/base/system_signal002/expected b/tests/base/system_signal002/expected index 3fdc4d999..1af30b5d4 100644 --- a/tests/base/system_signal002/expected +++ b/tests/base/system_signal002/expected @@ -1,6 +1,3 @@ -1/1: Building HandleSignal (HandleSignal.idr) -Main> before +before after done. -Main> -Bye for now! diff --git a/tests/base/system_signal002/input b/tests/base/system_signal002/input deleted file mode 100644 index 6c0a230c0..000000000 --- a/tests/base/system_signal002/input +++ /dev/null @@ -1 +0,0 @@ -:exec main diff --git a/tests/base/system_signal002/run b/tests/base/system_signal002/run index 8ea51c005..33d791795 100755 --- a/tests/base/system_signal002/run +++ b/tests/base/system_signal002/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 HandleSignal.idr < input +run HandleSignal.idr diff --git a/tests/base/system_signal003/expected b/tests/base/system_signal003/expected index 4870b854b..e69de29bb 100644 --- a/tests/base/system_signal003/expected +++ b/tests/base/system_signal003/expected @@ -1,3 +0,0 @@ -1/1: Building DefaultSignal (DefaultSignal.idr) -Main> Main> -Bye for now! diff --git a/tests/base/system_signal003/input b/tests/base/system_signal003/input deleted file mode 100644 index 6c0a230c0..000000000 --- a/tests/base/system_signal003/input +++ /dev/null @@ -1 +0,0 @@ -:exec main diff --git a/tests/base/system_signal003/run b/tests/base/system_signal003/run index e527a9082..6a37971a3 100755 --- a/tests/base/system_signal003/run +++ b/tests/base/system_signal003/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 DefaultSignal.idr < input 2> /dev/null +run DefaultSignal.idr 2> /dev/null diff --git a/tests/base/system_signal004/expected b/tests/base/system_signal004/expected index d56ae30ce..1af30b5d4 100644 --- a/tests/base/system_signal004/expected +++ b/tests/base/system_signal004/expected @@ -1,6 +1,3 @@ -1/1: Building HandleManySignals (HandleManySignals.idr) -Main> before +before after done. -Main> -Bye for now! diff --git a/tests/base/system_signal004/input b/tests/base/system_signal004/input deleted file mode 100644 index 6c0a230c0..000000000 --- a/tests/base/system_signal004/input +++ /dev/null @@ -1 +0,0 @@ -:exec main diff --git a/tests/base/system_signal004/run b/tests/base/system_signal004/run index 7f4d97c77..4212ea53b 100755 --- a/tests/base/system_signal004/run +++ b/tests/base/system_signal004/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 HandleManySignals.idr < input +run HandleManySignals.idr diff --git a/tests/base/system_time001/expected b/tests/base/system_time001/expected index c1eef5de2..95786ec64 100644 --- a/tests/base/system_time001/expected +++ b/tests/base/system_time001/expected @@ -1,5 +1,2 @@ -1/1: Building Time (Time.idr) -Main> Retrieved unix timestamp from time function. -Main> Bye for now! -Main> Retrieved unix timestamp from time function. -Main> Bye for now! +Retrieved unix timestamp from time function. +Retrieved unix timestamp from time function. diff --git a/tests/base/system_time001/input b/tests/base/system_time001/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/base/system_time001/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/base/system_time001/run b/tests/base/system_time001/run index 34d15f112..c99fdbc14 100755 --- a/tests/base/system_time001/run +++ b/tests/base/system_time001/run @@ -2,14 +2,14 @@ # @time@ uses a primitive function with definitions for both # C (supported by most backends) and Javascript (Node & Browsers). -idris2 --cg chez Time.idr < input -idris2 --cg node Time.idr < input +run --cg chez Time.idr +run --cg node Time.idr # The following backends failed for reasons unrelated to this test. They can be # uncommented at a future date. # RACKET failed to find the builtin idris support library -# idris2 --cg racket ReadFilePage.idr < input +# run --cg racket ReadFilePage.idr # REFC doesn't support :exec yet -# idris2 --cg refc ReadFilePage.idr < input +# run --cg refc ReadFilePage.idr # GAMBIT hung seemingly indefinitely -# idris2 --cg gambit ReadFilePage.idr < input +# run --cg gambit ReadFilePage.idr diff --git a/tests/chez/bitops/expected b/tests/chez/bitops/expected index 8848f88cd..e69de29bb 100644 --- a/tests/chez/bitops/expected +++ b/tests/chez/bitops/expected @@ -1,2 +0,0 @@ -1/1: Building BitOps (BitOps.idr) -Main> Main> Bye for now! diff --git a/tests/chez/bitops/input b/tests/chez/bitops/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/bitops/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/bitops/run b/tests/chez/bitops/run index 14e998613..5bb842ecf 100644 --- a/tests/chez/bitops/run +++ b/tests/chez/bitops/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 BitOps.idr < input +run BitOps.idr diff --git a/tests/chez/casts/expected b/tests/chez/casts/expected index c11635236..e69de29bb 100644 --- a/tests/chez/casts/expected +++ b/tests/chez/casts/expected @@ -1,2 +0,0 @@ -1/1: Building Casts (Casts.idr) -Main> Main> Bye for now! diff --git a/tests/chez/casts/input b/tests/chez/casts/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/casts/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/casts/run b/tests/chez/casts/run index 5265730ea..2cb7ef45a 100644 --- a/tests/chez/casts/run +++ b/tests/chez/casts/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 Casts.idr < input +run Casts.idr diff --git a/tests/chez/chez001/expected b/tests/chez/chez001/expected index cc9e3bcec..746a47c3e 100644 --- a/tests/chez/chez001/expected +++ b/tests/chez/chez001/expected @@ -1,3 +1 @@ -1/1: Building Total (Total.idr) -Main> [1, 2, 2, 4, 3, 6, 4, 8, 5, 10] -Main> Bye for now! +[1, 2, 2, 4, 3, 6, 4, 8, 5, 10] diff --git a/tests/chez/chez001/input b/tests/chez/chez001/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/chez001/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/chez001/run b/tests/chez/chez001/run index c1204f255..b1513928d 100755 --- a/tests/chez/chez001/run +++ b/tests/chez/chez001/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 Total.idr < input +run Total.idr diff --git a/tests/chez/chez003/expected b/tests/chez/chez003/expected index d1dbda262..e37df034b 100644 --- a/tests/chez/chez003/expected +++ b/tests/chez/chez003/expected @@ -1,6 +1,4 @@ -1/1: Building IORef (IORef.idr) -Main> 94 +94 94 188 188 -Main> Bye for now! diff --git a/tests/chez/chez003/input b/tests/chez/chez003/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/chez003/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/chez003/run b/tests/chez/chez003/run index 58796816d..61ce178fd 100755 --- a/tests/chez/chez003/run +++ b/tests/chez/chez003/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 IORef.idr < input +run IORef.idr diff --git a/tests/chez/chez004/expected b/tests/chez/chez004/expected index 8a952b321..ca7483f2d 100644 --- a/tests/chez/chez004/expected +++ b/tests/chez/chez004/expected @@ -1,5 +1,4 @@ -1/1: Building Buffer (Buffer.idr) -Main> 100 +100 94 94.42 bytes: 27 @@ -21,4 +20,3 @@ total size = 20 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................ total size = 80 -Main> Bye for now! diff --git a/tests/chez/chez004/input b/tests/chez/chez004/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/chez004/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/chez004/run b/tests/chez/chez004/run index 87a9948fb..f99a1f775 100755 --- a/tests/chez/chez004/run +++ b/tests/chez/chez004/run @@ -1,4 +1,4 @@ . ../../testutils.sh -idris2 -p contrib Buffer.idr < input +run -p contrib Buffer.idr rm -rf build test.buf diff --git a/tests/chez/chez007/expected b/tests/chez/chez007/expected index 3361839df..70719619c 100644 --- a/tests/chez/chez007/expected +++ b/tests/chez/chez007/expected @@ -1,5 +1,3 @@ -1/1: Building TypeCase (TypeCase.idr) -Main> "Function from Nat to Nat" +"Function from Nat to Nat" "Function from Nat to Vector of 0 Int" "Function on Type" -Main> Bye for now! diff --git a/tests/chez/chez007/input b/tests/chez/chez007/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/chez007/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/chez007/run b/tests/chez/chez007/run index 786567d61..8a1cb2e94 100755 --- a/tests/chez/chez007/run +++ b/tests/chez/chez007/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 TypeCase.idr < input +run TypeCase.idr diff --git a/tests/chez/chez008/expected b/tests/chez/chez008/expected index 950050547..e8183f05f 100644 --- a/tests/chez/chez008/expected +++ b/tests/chez/chez008/expected @@ -1,5 +1,3 @@ -1/1: Building Nat (Nat.idr) -Main> 1 1 1 -Main> Bye for now! +1 diff --git a/tests/chez/chez008/input b/tests/chez/chez008/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/chez008/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/chez008/run b/tests/chez/chez008/run index 3c4ab0b82..bb2e1d58b 100755 --- a/tests/chez/chez008/run +++ b/tests/chez/chez008/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 Nat.idr < input +run Nat.idr diff --git a/tests/chez/chez009/expected b/tests/chez/chez009/expected index 759037d74..42d27acd6 100644 --- a/tests/chez/chez009/expected +++ b/tests/chez/chez009/expected @@ -1,4 +1,2 @@ -1/1: Building uni (uni.idr) -Main> 42 +42 ällo -Main> Bye for now! diff --git a/tests/chez/chez009/input b/tests/chez/chez009/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/chez009/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/chez009/run b/tests/chez/chez009/run index 36867b305..34bb6f6e7 100755 --- a/tests/chez/chez009/run +++ b/tests/chez/chez009/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 uni.idr < input +run uni.idr diff --git a/tests/chez/chez010/expected b/tests/chez/chez010/expected index dfa5665b0..9a17052b7 100644 --- a/tests/chez/chez010/expected +++ b/tests/chez/chez010/expected @@ -1,5 +1,4 @@ -1/1: Building CB (CB.idr) -Main> 9 +9 Callback coming In callback 24 @@ -8,4 +7,3 @@ In callback with (1, 2) 3 9 'k' -Main> Bye for now! diff --git a/tests/chez/chez010/input b/tests/chez/chez010/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/chez010/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/chez010/run b/tests/chez/chez010/run index edca4eb60..ff08c6191 100755 --- a/tests/chez/chez010/run +++ b/tests/chez/chez010/run @@ -11,5 +11,5 @@ case $(uname -s) in esac ${MAKE} all > /dev/null -idris2 CB.idr < input +run CB.idr ${MAKE} clean > /dev/null diff --git a/tests/chez/chez012/expected b/tests/chez/chez012/expected index defaf6349..8ef81328a 100644 --- a/tests/chez/chez012/expected +++ b/tests/chez/chez012/expected @@ -1,4 +1,2 @@ -1/1: Building array (array.idr) -Main> [Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Just "Hello", Just "World", Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing] +[Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Just "Hello", Just "World", Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing] [Just 1, Just 2, Just 3, Just 4, Just 5] -Main> Bye for now! diff --git a/tests/chez/chez012/input b/tests/chez/chez012/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/chez012/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/chez012/run b/tests/chez/chez012/run index 7f12edfdf..a69e093bb 100755 --- a/tests/chez/chez012/run +++ b/tests/chez/chez012/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 array.idr < input +run array.idr diff --git a/tests/chez/chez013/expected b/tests/chez/chez013/expected index 86daab1c1..ce62263bb 100644 --- a/tests/chez/chez013/expected +++ b/tests/chez/chez013/expected @@ -1,5 +1,3 @@ -1/1: Building Struct (Struct.idr) -Main> Made it! +Made it! (40, 30) "Here": (40, 30) -Main> Bye for now! diff --git a/tests/chez/chez013/input b/tests/chez/chez013/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/chez013/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/chez013/run b/tests/chez/chez013/run index 2199a3b81..5f02e3e6c 100755 --- a/tests/chez/chez013/run +++ b/tests/chez/chez013/run @@ -11,5 +11,5 @@ case $(uname -s) in esac ${MAKE} all > /dev/null -idris2 Struct.idr < input +run Struct.idr ${MAKE} clean > /dev/null diff --git a/tests/chez/chez014/expected b/tests/chez/chez014/expected index 5c4e82d4a..d7c97490f 100644 --- a/tests/chez/chez014/expected +++ b/tests/chez/chez014/expected @@ -1,6 +1,4 @@ -1/1: Building Echo (Echo.idr) -Main> Received: hello world from a ipv4 socket! +Received: hello world from a ipv4 socket! Received: echo: hello world from a ipv4 socket! Received: hello world from a unix socket! Received: echo: hello world from a unix socket! -Main> Bye for now! diff --git a/tests/chez/chez014/input b/tests/chez/chez014/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/chez014/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/chez014/run b/tests/chez/chez014/run index c2e5aa740..908c5d280 100755 --- a/tests/chez/chez014/run +++ b/tests/chez/chez014/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 -p network Echo.idr < input +run -p network Echo.idr diff --git a/tests/chez/chez015/expected b/tests/chez/chez015/expected index 478fb8fa7..72800451f 100644 --- a/tests/chez/chez015/expected +++ b/tests/chez/chez015/expected @@ -1,4 +1,2 @@ -1/1: Building Numbers (Numbers.idr) -Main> [3518437212345678901234567890560, 1537557061795061679839506167983751, 3518437212345678901234567889686, 8051343735344802977653473432, 339] +[3518437212345678901234567890560, 1537557061795061679839506167983751, 3518437212345678901234567889686, 8051343735344802977653473432, 339] [-9223372036854775439, 9223372036854772792, 9223372036854775423, 24465177816590917, 91] -Main> Bye for now! diff --git a/tests/chez/chez015/input b/tests/chez/chez015/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/chez015/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/chez015/run b/tests/chez/chez015/run index 3f9993908..b2b292332 100755 --- a/tests/chez/chez015/run +++ b/tests/chez/chez015/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 Numbers.idr < input +run Numbers.idr diff --git a/tests/chez/chez016/expected b/tests/chez/chez016/expected index 5fba03089..88a034007 100644 --- a/tests/chez/chez016/expected +++ b/tests/chez/chez016/expected @@ -1,3 +1 @@ -1/1: Building Main (Main.idr) -Main> Running Chez program located in folder with spaces -Main> Bye for now! +Running Chez program located in folder with spaces diff --git a/tests/chez/chez016/input b/tests/chez/chez016/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/chez016/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/chez016/run b/tests/chez/chez016/run index 003a15d3d..57da701b0 100755 --- a/tests/chez/chez016/run +++ b/tests/chez/chez016/run @@ -2,4 +2,4 @@ cd "folder with spaces" || exit -idris2 Main.idr < ../input +run Main.idr diff --git a/tests/chez/chez017/expected.in b/tests/chez/chez017/expected.in index 3096c9191..916d21080 100644 --- a/tests/chez/chez017/expected.in +++ b/tests/chez/chez017/expected.in @@ -1,7 +1,5 @@ -1/1: Building dir (dir.idr) -Main> File Exists +File Exists False True Just "__PWD__testdir" -Main> Bye for now! hello diff --git a/tests/chez/chez017/input b/tests/chez/chez017/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/chez017/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/chez017/run b/tests/chez/chez017/run index a657ed7f3..f15d224d6 100755 --- a/tests/chez/chez017/run +++ b/tests/chez/chez017/run @@ -1,6 +1,6 @@ . ../../testutils.sh ./gen_expected.sh -idris2 dir.idr < input +run dir.idr cat testdir/test.txt rm -rf testdir diff --git a/tests/chez/chez018/expected b/tests/chez/chez018/expected index 0600e9e6b..561ce8971 100644 --- a/tests/chez/chez018/expected +++ b/tests/chez/chez018/expected @@ -1,6 +1,4 @@ -1/1: Building File (File.idr) -Main> test test +test test unfinished lineabc def File Not Found -Main> Bye for now! diff --git a/tests/chez/chez018/input b/tests/chez/chez018/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/chez018/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/chez018/run b/tests/chez/chez018/run index 2017333d6..901015eca 100755 --- a/tests/chez/chez018/run +++ b/tests/chez/chez018/run @@ -1,5 +1,5 @@ . ../../testutils.sh -idris2 File.idr < input +run File.idr rm -rf build testout.txt diff --git a/tests/chez/chez020/expected b/tests/chez/chez020/expected index 0bdb9d17d..580712d46 100644 --- a/tests/chez/chez020/expected +++ b/tests/chez/chez020/expected @@ -1,5 +1,3 @@ -1/1: Building Popen (Popen.idr) -Main> opened +opened closed Idris 2 -Main> Bye for now! diff --git a/tests/chez/chez020/input b/tests/chez/chez020/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/chez020/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/chez020/run b/tests/chez/chez020/run index 0f522a926..7a47b290f 100644 --- a/tests/chez/chez020/run +++ b/tests/chez/chez020/run @@ -1,3 +1,3 @@ . ../../testutils.sh -POPEN_CMD="$idris2 --version" idris2 Popen.idr < input +POPEN_CMD="$idris2 --version" run Popen.idr diff --git a/tests/chez/chez022/expected b/tests/chez/chez022/expected index c8c910f6c..4e7ab721f 100644 --- a/tests/chez/chez022/expected +++ b/tests/chez/chez022/expected @@ -1,9 +1,7 @@ -1/1: Building usealloc (usealloc.idr) -Main> Hello +Hello Hello Done Free X Freeing 0 Hello Free Y Freeing 1 Hello -Main> Bye for now! diff --git a/tests/chez/chez022/input b/tests/chez/chez022/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/chez022/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/chez022/run b/tests/chez/chez022/run index 45ad78bf7..1d90c9ff9 100755 --- a/tests/chez/chez022/run +++ b/tests/chez/chez022/run @@ -11,6 +11,6 @@ case $(uname -s) in esac ${MAKE} all > /dev/null -idris2 usealloc.idr < input +run usealloc.idr . ../../testutils.sh ${MAKE} clean > /dev/null diff --git a/tests/chez/chez023/expected b/tests/chez/chez023/expected index 8f255d573..b44c01edf 100644 --- a/tests/chez/chez023/expected +++ b/tests/chez/chez023/expected @@ -1,7 +1,5 @@ -1/1: Building File (File.idr) -Main> Hello +Hello 'I' dris! No exceptions occurred -Main> Bye for now! diff --git a/tests/chez/chez023/input b/tests/chez/chez023/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/chez023/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/chez023/run b/tests/chez/chez023/run index c70689a7a..cee160bcc 100644 --- a/tests/chez/chez023/run +++ b/tests/chez/chez023/run @@ -1,5 +1,5 @@ . ../../testutils.sh -idris2 File.idr < input +run File.idr rm -rf build test.txt diff --git a/tests/chez/chez024/expected b/tests/chez/chez024/expected index 8602153ff..7a6756064 100644 --- a/tests/chez/chez024/expected +++ b/tests/chez/chez024/expected @@ -1,5 +1,4 @@ -1/1: Building Envy (Envy.idr) -Main> True +True HI True HI @@ -7,4 +6,3 @@ True EH True Nothing there -Main> Bye for now! diff --git a/tests/chez/chez024/input b/tests/chez/chez024/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/chez024/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/chez024/run b/tests/chez/chez024/run index d718d5cae..973bba48a 100644 --- a/tests/chez/chez024/run +++ b/tests/chez/chez024/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 Envy.idr < input +run Envy.idr diff --git a/tests/chez/chez027/expected b/tests/chez/chez027/expected index bc72c01bc..c1df5a00d 100644 --- a/tests/chez/chez027/expected +++ b/tests/chez/chez027/expected @@ -1,5 +1,4 @@ -1/1: Building StringParser (StringParser.idr) -Main> hiya +hiya 2 Parse failed at position 0-0: could not satisfy predicate Parse failed at position 0-0: Not good @@ -18,4 +17,3 @@ False ['a', 'b', 'c', 'd'] () Parse failed at position 0-0: Purposefully changed OK to Fail -Main> Bye for now! diff --git a/tests/chez/chez027/input b/tests/chez/chez027/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/chez027/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/chez027/run b/tests/chez/chez027/run index 99b2ea84f..500c1d920 100644 --- a/tests/chez/chez027/run +++ b/tests/chez/chez027/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 -p contrib StringParser.idr < input +run -p contrib StringParser.idr diff --git a/tests/chez/chez028/expected b/tests/chez/chez028/expected index f9f44d722..e09d96bab 100644 --- a/tests/chez/chez028/expected +++ b/tests/chez/chez028/expected @@ -1,7 +1,5 @@ -1/1: Building ExpressionParser (ExpressionParser.idr) -Main> 5678 +5678 -3 262145 10 7 -Main> Bye for now! diff --git a/tests/chez/chez028/input b/tests/chez/chez028/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/chez028/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/chez028/run b/tests/chez/chez028/run index 7adaecccc..f8a9bea0c 100644 --- a/tests/chez/chez028/run +++ b/tests/chez/chez028/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 -p contrib ExpressionParser.idr < input +run -p contrib ExpressionParser.idr diff --git a/tests/chez/chez029/expected b/tests/chez/chez029/expected index aee2314b7..f9260cb77 100644 --- a/tests/chez/chez029/expected +++ b/tests/chez/chez029/expected @@ -1,5 +1,4 @@ -1/1: Building BitCasts (BitCasts.idr) -Main> ["123", "123", "123", "123", "123"] +["123", "123", "123", "123", "123"] ["1234", "1234", "1234", "1234"] ["1234567", "1234567", "1234567"] ["134", "134", "134", "134"] @@ -8,4 +7,3 @@ Main> ["123", "123", "123", "123", "123"] ["134", "134"] ["134"] ["237", "65517", "4294967277", "18446744073709551597"] -Main> Bye for now! diff --git a/tests/chez/chez029/input b/tests/chez/chez029/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/chez029/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/chez029/run b/tests/chez/chez029/run index e4a0b380e..9b07e12ae 100644 --- a/tests/chez/chez029/run +++ b/tests/chez/chez029/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 BitCasts.idr < input +run BitCasts.idr diff --git a/tests/chez/chez032/expected b/tests/chez/chez032/expected index ea5c96346..477719b4f 100644 --- a/tests/chez/chez032/expected +++ b/tests/chez/chez032/expected @@ -1,5 +1,4 @@ -1/1: Building BitOps (BitOps.idr) -Main> -9223372036854775808 +-9223372036854775808 [0, 1, 2, 4, 8, 16, 32, 64, 127] [0, 1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096, 8192, 16384, 32767] @@ -40,4 +39,3 @@ Main> -9223372036854775808 [340282366920938463463374607431768211444, 11, 10, 9, 15, 0] [9223372036854775796, 11, 10, 9, 15, 0] [-9223372036854775798, -11, -12, -9, -15, -2, 9223372036854775797, 10, 11, 9, 0] -Main> Bye for now! diff --git a/tests/chez/chez032/input b/tests/chez/chez032/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/chez032/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/chez032/run b/tests/chez/chez032/run index 14e998613..5bb842ecf 100644 --- a/tests/chez/chez032/run +++ b/tests/chez/chez032/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 BitOps.idr < input +run BitOps.idr diff --git a/tests/chez/chez033/expected b/tests/chez/chez033/expected index 298c4f1c9..cc32087ec 100644 --- a/tests/chez/chez033/expected +++ b/tests/chez/chez033/expected @@ -1,4 +1 @@ -1/2: Building Mod (Mod.idr) -2/2: Building Main (Main.idr) -Main> 10001 -Main> Bye for now! +10001 diff --git a/tests/chez/chez033/input b/tests/chez/chez033/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/chez033/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/chez033/run b/tests/chez/chez033/run index e6679e954..33e48535b 100644 --- a/tests/chez/chez033/run +++ b/tests/chez/chez033/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 Main.idr --inc chez < input +run Main.idr --inc chez diff --git a/tests/chez/chez034/expected b/tests/chez/chez034/expected index efcff7708..918b88786 100644 --- a/tests/chez/chez034/expected +++ b/tests/chez/chez034/expected @@ -1,9 +1,7 @@ -1/1: Building ThreadData (ThreadData.idr) -Main> parent data initialized to: 13 +parent data initialized to: 13 parent data now: "hello" child data: "hello" child data now: 17 parent data still: "hello" child exiting parent exiting -Main> Bye for now! diff --git a/tests/chez/chez034/input b/tests/chez/chez034/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/chez034/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/chez034/run b/tests/chez/chez034/run index 990c8486c..466124edc 100644 --- a/tests/chez/chez034/run +++ b/tests/chez/chez034/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 ThreadData.idr < input +run ThreadData.idr diff --git a/tests/chez/constfold/expected b/tests/chez/constfold/expected index 049d27828..6bd61a4e2 100644 --- a/tests/chez/constfold/expected +++ b/tests/chez/constfold/expected @@ -1,3 +1 @@ -1/1: Building Check (Check.idr) -Main> Constant expression correctly folded -Main> Bye for now! +Constant expression correctly folded diff --git a/tests/chez/constfold/input b/tests/chez/constfold/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/constfold/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/constfold/run b/tests/chez/constfold/run index 8c605a626..7c4cb7129 100644 --- a/tests/chez/constfold/run +++ b/tests/chez/constfold/run @@ -1,4 +1,4 @@ . ../../testutils.sh idris2 --quiet -o fold Fold.idr -idris2 Check.idr < input +run Check.idr diff --git a/tests/chez/constfold2/expected b/tests/chez/constfold2/expected index 049d27828..6bd61a4e2 100644 --- a/tests/chez/constfold2/expected +++ b/tests/chez/constfold2/expected @@ -1,3 +1 @@ -1/1: Building Check (Check.idr) -Main> Constant expression correctly folded -Main> Bye for now! +Constant expression correctly folded diff --git a/tests/chez/constfold2/input b/tests/chez/constfold2/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/constfold2/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/constfold2/run b/tests/chez/constfold2/run index 8c605a626..7c4cb7129 100644 --- a/tests/chez/constfold2/run +++ b/tests/chez/constfold2/run @@ -1,4 +1,4 @@ . ../../testutils.sh idris2 --quiet -o fold Fold.idr -idris2 Check.idr < input +run Check.idr diff --git a/tests/chez/constfold3/expected b/tests/chez/constfold3/expected index 049d27828..6bd61a4e2 100644 --- a/tests/chez/constfold3/expected +++ b/tests/chez/constfold3/expected @@ -1,3 +1 @@ -1/1: Building Check (Check.idr) -Main> Constant expression correctly folded -Main> Bye for now! +Constant expression correctly folded diff --git a/tests/chez/constfold3/input b/tests/chez/constfold3/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/constfold3/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/constfold3/run b/tests/chez/constfold3/run index 8c605a626..7c4cb7129 100644 --- a/tests/chez/constfold3/run +++ b/tests/chez/constfold3/run @@ -1,4 +1,4 @@ . ../../testutils.sh idris2 --quiet -o fold Fold.idr -idris2 Check.idr < input +run Check.idr diff --git a/tests/chez/memo/expected b/tests/chez/memo/expected index 341a02ebf..493d3b8b1 100644 --- a/tests/chez/memo/expected +++ b/tests/chez/memo/expected @@ -1,3 +1 @@ -1/1: Building Memo (Memo.idr) -Main> 100000000000000000000 -Main> Bye for now! +100000000000000000000 diff --git a/tests/chez/memo/input b/tests/chez/memo/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/memo/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/memo/run b/tests/chez/memo/run index 2a10ada75..f8843a026 100644 --- a/tests/chez/memo/run +++ b/tests/chez/memo/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 Memo.idr < input +run Memo.idr diff --git a/tests/chez/nat2fin/expected b/tests/chez/nat2fin/expected index 5d19b98b4..721a48ef6 100644 --- a/tests/chez/nat2fin/expected +++ b/tests/chez/nat2fin/expected @@ -1,3 +1 @@ -1/1: Building Check (Check.idr) -Main> natToFinLt optimized away -Main> Bye for now! +natToFinLt optimized away diff --git a/tests/chez/nat2fin/input b/tests/chez/nat2fin/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/nat2fin/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/nat2fin/run b/tests/chez/nat2fin/run index 5c619e249..65c495ceb 100644 --- a/tests/chez/nat2fin/run +++ b/tests/chez/nat2fin/run @@ -1,4 +1,4 @@ . ../../testutils.sh idris2 --quiet -o test Test.idr -idris2 Check.idr < input +run Check.idr diff --git a/tests/chez/newints/expected b/tests/chez/newints/expected index 80ec897d1..e69de29bb 100644 --- a/tests/chez/newints/expected +++ b/tests/chez/newints/expected @@ -1,2 +0,0 @@ -1/1: Building IntOps (IntOps.idr) -Main> Main> Bye for now! diff --git a/tests/chez/newints/input b/tests/chez/newints/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/chez/newints/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/chez/newints/run b/tests/chez/newints/run index de239c9f5..977371e71 100644 --- a/tests/chez/newints/run +++ b/tests/chez/newints/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 IntOps.idr < input +run IntOps.idr diff --git a/tests/codegen/enum/expected b/tests/codegen/enum/expected index c5cf3dab1..2076ed42d 100644 --- a/tests/codegen/enum/expected +++ b/tests/codegen/enum/expected @@ -1,3 +1 @@ -1/1: Building Check (Check.idr) -Main> Enum conversion optimized away -Main> Bye for now! +Enum conversion optimized away diff --git a/tests/codegen/enum/input b/tests/codegen/enum/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/codegen/enum/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/codegen/enum/run b/tests/codegen/enum/run index 2cdf4dd5c..887c6b405 100644 --- a/tests/codegen/enum/run +++ b/tests/codegen/enum/run @@ -1,4 +1,4 @@ . ../../testutils.sh idris2 --quiet -o enum Enum.idr -idris2 Check.idr < input +run Check.idr diff --git a/tests/contrib/json_001/expected b/tests/contrib/json_001/expected index e266789b0..fe51488c7 100644 --- a/tests/contrib/json_001/expected +++ b/tests/contrib/json_001/expected @@ -1,3 +1 @@ -1/1: Building CharEncoding (CharEncoding.idr) -Main> [] -Main> Bye for now! +[] diff --git a/tests/contrib/json_001/input b/tests/contrib/json_001/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/contrib/json_001/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/contrib/json_001/run b/tests/contrib/json_001/run index 592466380..5880029aa 100755 --- a/tests/contrib/json_001/run +++ b/tests/contrib/json_001/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 -p contrib CharEncoding.idr < input +run -p contrib CharEncoding.idr diff --git a/tests/contrib/json_002/expected b/tests/contrib/json_002/expected index af98e8c2d..0256160d0 100644 --- a/tests/contrib/json_002/expected +++ b/tests/contrib/json_002/expected @@ -1,5 +1,4 @@ -1/1: Building ShowJSON (ShowJSON.idr) -Main> {"a":null,"b":true,"c":1.0,"d":"Hello, world","e":[null,"Lorem ipsum"],"f":{"key":"value"}} +{"a":null,"b":true,"c":1.0,"d":"Hello, world","e":[null,"Lorem ipsum"],"f":{"key":"value"}} JObject [("a", JNull), ("b", JBoolean True), ("c", JNumber 1.0), ("d", JString "Hello, world"), ("e", JArray [JNull, JString "Lorem ipsum"]), ("f", JObject [("key", JString "value")])] { "a": null, @@ -14,4 +13,3 @@ JObject [("a", JNull), ("b", JBoolean True), ("c", JNumber 1.0), ("d", JString " "key": "value" } } -Main> Bye for now! diff --git a/tests/contrib/json_002/input b/tests/contrib/json_002/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/contrib/json_002/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/contrib/json_002/run b/tests/contrib/json_002/run index 49902be07..52864ced2 100644 --- a/tests/contrib/json_002/run +++ b/tests/contrib/json_002/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 -p contrib ShowJSON.idr < input +run -p contrib ShowJSON.idr diff --git a/tests/contrib/json_003/expected b/tests/contrib/json_003/expected index d9ada4131..f87944273 100644 --- a/tests/contrib/json_003/expected +++ b/tests/contrib/json_003/expected @@ -1,3 +1 @@ -1/1: Building CastJSON (CastJSON.idr) -Main> {"a":null,"b":true,"c":1.0,"d":"Hello, world","e":["Lorem","ipsum"]} -Main> Bye for now! +{"a":null,"b":true,"c":1.0,"d":"Hello, world","e":["Lorem","ipsum"]} diff --git a/tests/contrib/json_003/input b/tests/contrib/json_003/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/contrib/json_003/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/contrib/json_003/run b/tests/contrib/json_003/run index fe94f3e04..291d3fd27 100644 --- a/tests/contrib/json_003/run +++ b/tests/contrib/json_003/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 -p contrib CastJSON.idr < input +run -p contrib CastJSON.idr diff --git a/tests/contrib/list_alternating/expected b/tests/contrib/list_alternating/expected index 2eb07eaf4..8b4e5bbca 100644 --- a/tests/contrib/list_alternating/expected +++ b/tests/contrib/list_alternating/expected @@ -1,5 +1,4 @@ -1/1: Building AlternatingList (AlternatingList.idr) -Main> [1.0, "Hello", 2.0, "world", 3.0] +[1.0, "Hello", 2.0, "world", 3.0] True False True @@ -32,4 +31,3 @@ True [1.0, 2.0, 3.0] ["Hello", "world"] ["1.0", "Hello", "2.0", "world", "3.0"] -Main> Bye for now! diff --git a/tests/contrib/list_alternating/input b/tests/contrib/list_alternating/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/contrib/list_alternating/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/contrib/list_alternating/run b/tests/contrib/list_alternating/run index ed570b619..6215febb9 100644 --- a/tests/contrib/list_alternating/run +++ b/tests/contrib/list_alternating/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 -p contrib AlternatingList.idr < input +run -p contrib AlternatingList.idr diff --git a/tests/contrib/sortedmap_001/expected b/tests/contrib/sortedmap_001/expected index f31645a28..fec12764d 100644 --- a/tests/contrib/sortedmap_001/expected +++ b/tests/contrib/sortedmap_001/expected @@ -1,5 +1,3 @@ -1/1: Building SortedMapTest (SortedMapTest.idr) -Main> Nothing Nothing Nothing Nothing @@ -16,4 +14,4 @@ Nothing Nothing Nothing Nothing -Main> Bye for now! +Nothing diff --git a/tests/contrib/sortedmap_001/input b/tests/contrib/sortedmap_001/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/contrib/sortedmap_001/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/contrib/sortedmap_001/run b/tests/contrib/sortedmap_001/run index cc6986939..69738df4b 100644 --- a/tests/contrib/sortedmap_001/run +++ b/tests/contrib/sortedmap_001/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 -p contrib SortedMapTest.idr < input +run -p contrib SortedMapTest.idr diff --git a/tests/contrib/system_directory_tree_copyDir/expected b/tests/contrib/system_directory_tree_copyDir/expected index 87fe57772..ad562d0eb 100644 --- a/tests/contrib/system_directory_tree_copyDir/expected +++ b/tests/contrib/system_directory_tree_copyDir/expected @@ -1,5 +1,3 @@ -1/1: Building CopyDir (CopyDir.idr) -Main> Main> Bye for now! nestedDir source.bin diff --git a/tests/contrib/system_directory_tree_copyDir/input b/tests/contrib/system_directory_tree_copyDir/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/contrib/system_directory_tree_copyDir/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/contrib/system_directory_tree_copyDir/run b/tests/contrib/system_directory_tree_copyDir/run index 557e7f40f..3828044f3 100644 --- a/tests/contrib/system_directory_tree_copyDir/run +++ b/tests/contrib/system_directory_tree_copyDir/run @@ -1,6 +1,6 @@ . ../../testutils.sh -idris2 -p contrib CopyDir.idr < input +run -p contrib CopyDir.idr ls -R resultDir | sed '/^resultDir:$/d' base64 -i resultDir/source.bin cat resultDir/nestedDir/anotherFile.txt diff --git a/tests/idris2/basic055/expected b/tests/idris2/basic055/expected index ea5c96346..477719b4f 100644 --- a/tests/idris2/basic055/expected +++ b/tests/idris2/basic055/expected @@ -1,5 +1,4 @@ -1/1: Building BitOps (BitOps.idr) -Main> -9223372036854775808 +-9223372036854775808 [0, 1, 2, 4, 8, 16, 32, 64, 127] [0, 1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096, 8192, 16384, 32767] @@ -40,4 +39,3 @@ Main> -9223372036854775808 [340282366920938463463374607431768211444, 11, 10, 9, 15, 0] [9223372036854775796, 11, 10, 9, 15, 0] [-9223372036854775798, -11, -12, -9, -15, -2, 9223372036854775797, 10, 11, 9, 0] -Main> Bye for now! diff --git a/tests/idris2/basic055/input b/tests/idris2/basic055/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/idris2/basic055/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/idris2/basic055/run b/tests/idris2/basic055/run index 14e998613..5bb842ecf 100644 --- a/tests/idris2/basic055/run +++ b/tests/idris2/basic055/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 BitOps.idr < input +run BitOps.idr diff --git a/tests/idris2/basic056/expected b/tests/idris2/basic056/expected index aff24fb1e..296ba3d0d 100644 --- a/tests/idris2/basic056/expected +++ b/tests/idris2/basic056/expected @@ -1,4 +1,2 @@ -1/1: Building DoubleLit (DoubleLit.idr) -Main> MkInUnit 0.25 _ +MkInUnit 0.25 _ MkNewtype 123.456 -Main> Bye for now! diff --git a/tests/idris2/basic056/input b/tests/idris2/basic056/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/idris2/basic056/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/idris2/basic056/run b/tests/idris2/basic056/run index 1b277263a..f64488f03 100644 --- a/tests/idris2/basic056/run +++ b/tests/idris2/basic056/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 DoubleLit.idr < input +run DoubleLit.idr diff --git a/tests/idris2/idiom001/expected b/tests/idris2/idiom001/expected index fed011a4c..72c8262b6 100644 --- a/tests/idris2/idiom001/expected +++ b/tests/idris2/idiom001/expected @@ -1,4 +1,2 @@ -1/1: Building Main (Main.idr) -Main> [Just 6, Just 10, Nothing, Just 3, Just 10, Just 14, Nothing, Just 7, Nothing, Nothing, Nothing, Nothing, Just 3, Just 7, Nothing, Just 0] +[Just 6, Just 10, Nothing, Just 3, Just 10, Just 14, Nothing, Just 7, Nothing, Nothing, Nothing, Nothing, Just 3, Just 7, Nothing, Just 0] Right [Just 6, Just 10, Nothing, Just 3, Just 10, Just 14, Nothing, Just 7, Nothing, Nothing, Nothing, Nothing, Just 3, Just 7, Nothing, Just 0] -Main> Bye for now! diff --git a/tests/idris2/idiom001/input b/tests/idris2/idiom001/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/idris2/idiom001/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/idris2/idiom001/run b/tests/idris2/idiom001/run index 37beba478..c6e6f2ab7 100644 --- a/tests/idris2/idiom001/run +++ b/tests/idris2/idiom001/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 Main.idr < input +run Main.idr diff --git a/tests/idris2/primloop/expected b/tests/idris2/primloop/expected index 8e1e4ffe6..f4c0c86b6 100644 --- a/tests/idris2/primloop/expected +++ b/tests/idris2/primloop/expected @@ -1,5 +1,4 @@ -1/1: Building PrimLoop (PrimLoop.idr) -PrimLoop> 10 +10 9 8 7 @@ -9,4 +8,3 @@ PrimLoop> 10 3 2 1 -PrimLoop> Bye for now! diff --git a/tests/idris2/primloop/input b/tests/idris2/primloop/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/idris2/primloop/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/idris2/primloop/run b/tests/idris2/primloop/run index 33107d585..63df8b24f 100644 --- a/tests/idris2/primloop/run +++ b/tests/idris2/primloop/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 PrimLoop.idr < input +run PrimLoop.idr diff --git a/tests/idris2/reflection014/expected b/tests/idris2/reflection014/expected index 481d52bb4..1cc8b5e10 100644 --- a/tests/idris2/reflection014/expected +++ b/tests/idris2/reflection014/expected @@ -1,4 +1,2 @@ -1/1: Building refdecl (refdecl.idr) -Main> True +True False -Main> Bye for now! diff --git a/tests/idris2/reflection014/input b/tests/idris2/reflection014/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/idris2/reflection014/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/idris2/reflection014/run b/tests/idris2/reflection014/run index e86f7b9b4..5c104e274 100755 --- a/tests/idris2/reflection014/run +++ b/tests/idris2/reflection014/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 refdecl.idr < input +run refdecl.idr diff --git a/tests/node/bitops/expected b/tests/node/bitops/expected index 8848f88cd..e69de29bb 100644 --- a/tests/node/bitops/expected +++ b/tests/node/bitops/expected @@ -1,2 +0,0 @@ -1/1: Building BitOps (BitOps.idr) -Main> Main> Bye for now! diff --git a/tests/node/bitops/input b/tests/node/bitops/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/bitops/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/bitops/run b/tests/node/bitops/run index d5069e73e..80bfdbf7f 100644 --- a/tests/node/bitops/run +++ b/tests/node/bitops/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 --cg node BitOps.idr < input +run --cg node BitOps.idr diff --git a/tests/node/casts/expected b/tests/node/casts/expected index c11635236..e69de29bb 100644 --- a/tests/node/casts/expected +++ b/tests/node/casts/expected @@ -1,2 +0,0 @@ -1/1: Building Casts (Casts.idr) -Main> Main> Bye for now! diff --git a/tests/node/casts/input b/tests/node/casts/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/casts/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/casts/run b/tests/node/casts/run index 0f3c79c67..f84817777 100644 --- a/tests/node/casts/run +++ b/tests/node/casts/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 --cg node Casts.idr < input +run --cg node Casts.idr diff --git a/tests/node/fastConcat/expected b/tests/node/fastConcat/expected index 06e7c8986..9127656af 100644 --- a/tests/node/fastConcat/expected +++ b/tests/node/fastConcat/expected @@ -1,4 +1,2 @@ -1/1: Building FastConcat (FastConcat.idr) -Main> 1000000 +1000000 -Main> Bye for now! diff --git a/tests/node/fastConcat/input b/tests/node/fastConcat/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/fastConcat/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/fastConcat/run b/tests/node/fastConcat/run index de7425502..fa8a84ed8 100644 --- a/tests/node/fastConcat/run +++ b/tests/node/fastConcat/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 --cg node FastConcat.idr < input +run --cg node FastConcat.idr diff --git a/tests/node/fix1839/expected b/tests/node/fix1839/expected index 516cd3ed3..448dfaa71 100644 --- a/tests/node/fix1839/expected +++ b/tests/node/fix1839/expected @@ -1,4 +1,2 @@ -1/1: Building OS (OS.idr) -Main> True -Main> Bye for now! +True Error: INTERNAL ERROR: prim not implemented: prim__os diff --git a/tests/node/fix1839/input b/tests/node/fix1839/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/fix1839/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/fix1839/run b/tests/node/fix1839/run index 60f3f7f7d..f5d596004 100644 --- a/tests/node/fix1839/run +++ b/tests/node/fix1839/run @@ -1,4 +1,4 @@ . ../../testutils.sh -idris2 --cg node OS.idr < input +run --cg node OS.idr idris2 --cg javascript -o os.js OS.idr diff --git a/tests/node/idiom001/expected b/tests/node/idiom001/expected index bea2e2ebc..e69de29bb 100644 --- a/tests/node/idiom001/expected +++ b/tests/node/idiom001/expected @@ -1,2 +0,0 @@ -1/1: Building Main (Main.idr) -Main> Main> Bye for now! diff --git a/tests/node/idiom001/input b/tests/node/idiom001/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/idiom001/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/idiom001/run b/tests/node/idiom001/run index 9e47f7b81..71cd61293 100644 --- a/tests/node/idiom001/run +++ b/tests/node/idiom001/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 --cg node Main.idr < input +run --cg node Main.idr diff --git a/tests/node/integer_array/expected b/tests/node/integer_array/expected index 1919dae03..dfed9c9b1 100644 --- a/tests/node/integer_array/expected +++ b/tests/node/integer_array/expected @@ -1,3 +1 @@ -1/1: Building array (array.idr) -Main> ["", "", "", "", "", "", "", "", "", "", "Hello", "World", "", "", "", "", "", "", "", ""] -Main> Bye for now! +["", "", "", "", "", "", "", "", "", "", "Hello", "World", "", "", "", "", "", "", "", ""] diff --git a/tests/node/integer_array/input b/tests/node/integer_array/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/integer_array/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/integer_array/run b/tests/node/integer_array/run index a67f8abb8..a8b3a176e 100755 --- a/tests/node/integer_array/run +++ b/tests/node/integer_array/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 --cg node array.idr < input +run --cg node array.idr diff --git a/tests/node/memo/expected b/tests/node/memo/expected index 341a02ebf..493d3b8b1 100644 --- a/tests/node/memo/expected +++ b/tests/node/memo/expected @@ -1,3 +1 @@ -1/1: Building Memo (Memo.idr) -Main> 100000000000000000000 -Main> Bye for now! +100000000000000000000 diff --git a/tests/node/memo/input b/tests/node/memo/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/memo/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/memo/run b/tests/node/memo/run index 32e807539..0a41019e3 100644 --- a/tests/node/memo/run +++ b/tests/node/memo/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 --cg node Memo.idr < input +run --cg node Memo.idr diff --git a/tests/node/newints/expected b/tests/node/newints/expected index 80ec897d1..e69de29bb 100644 --- a/tests/node/newints/expected +++ b/tests/node/newints/expected @@ -1,2 +0,0 @@ -1/1: Building IntOps (IntOps.idr) -Main> Main> Bye for now! diff --git a/tests/node/newints/input b/tests/node/newints/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/newints/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/newints/run b/tests/node/newints/run index 16900feb1..0b4c2e7eb 100644 --- a/tests/node/newints/run +++ b/tests/node/newints/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 --cg node IntOps.idr < input +run --cg node IntOps.idr diff --git a/tests/node/node001/expected b/tests/node/node001/expected index cc9e3bcec..746a47c3e 100644 --- a/tests/node/node001/expected +++ b/tests/node/node001/expected @@ -1,3 +1 @@ -1/1: Building Total (Total.idr) -Main> [1, 2, 2, 4, 3, 6, 4, 8, 5, 10] -Main> Bye for now! +[1, 2, 2, 4, 3, 6, 4, 8, 5, 10] diff --git a/tests/node/node001/input b/tests/node/node001/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/node001/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/node001/run b/tests/node/node001/run index a044ce7c0..b938f77a7 100755 --- a/tests/node/node001/run +++ b/tests/node/node001/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 --cg node Total.idr < input +run --cg node Total.idr diff --git a/tests/node/node003/expected b/tests/node/node003/expected index d1dbda262..e37df034b 100644 --- a/tests/node/node003/expected +++ b/tests/node/node003/expected @@ -1,6 +1,4 @@ -1/1: Building IORef (IORef.idr) -Main> 94 +94 94 188 188 -Main> Bye for now! diff --git a/tests/node/node003/input b/tests/node/node003/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/node003/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/node003/run b/tests/node/node003/run index 20afe1fe1..be60514c3 100755 --- a/tests/node/node003/run +++ b/tests/node/node003/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 --cg node IORef.idr < input +run --cg node IORef.idr diff --git a/tests/node/node004/expected b/tests/node/node004/expected index c0c758212..72922f1f8 100644 --- a/tests/node/node004/expected +++ b/tests/node/node004/expected @@ -1,5 +1,4 @@ -1/1: Building Buffer (Buffer.idr) -Main> 100 +100 94 94.42 "Hello" @@ -7,4 +6,3 @@ Main> 100 65535 [0, 94, 0, 0, 0, 65, 65, 65, 65, 0, 123, 20, 174, 71, 225, 154, 87, 64, 0, 0, 72, 101, 108, 108, 111, 32, 116, 104, 101, 114, 101, 33, 255, 255, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] [0, 94, 0, 0, 0, 65, 65, 65, 65, 0, 123, 20, 174, 71, 225, 154, 87, 64, 0, 0, 72, 101, 108, 108, 111, 32, 116, 104, 101, 114, 101, 33, 255, 255, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0] -Main> Bye for now! diff --git a/tests/node/node004/input b/tests/node/node004/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/node004/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/node004/run b/tests/node/node004/run index 4731309fd..218079fac 100755 --- a/tests/node/node004/run +++ b/tests/node/node004/run @@ -2,4 +2,4 @@ rm test.buf -idris2 --cg node Buffer.idr < input +run --cg node Buffer.idr diff --git a/tests/node/node007/expected b/tests/node/node007/expected index 3361839df..70719619c 100644 --- a/tests/node/node007/expected +++ b/tests/node/node007/expected @@ -1,5 +1,3 @@ -1/1: Building TypeCase (TypeCase.idr) -Main> "Function from Nat to Nat" +"Function from Nat to Nat" "Function from Nat to Vector of 0 Int" "Function on Type" -Main> Bye for now! diff --git a/tests/node/node007/input b/tests/node/node007/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/node007/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/node007/run b/tests/node/node007/run index 7d554a8d7..52afecedb 100755 --- a/tests/node/node007/run +++ b/tests/node/node007/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 --cg node TypeCase.idr < input +run --cg node TypeCase.idr diff --git a/tests/node/node008/expected b/tests/node/node008/expected index 950050547..e8183f05f 100644 --- a/tests/node/node008/expected +++ b/tests/node/node008/expected @@ -1,5 +1,3 @@ -1/1: Building Nat (Nat.idr) -Main> 1 1 1 -Main> Bye for now! +1 diff --git a/tests/node/node008/input b/tests/node/node008/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/node008/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/node008/run b/tests/node/node008/run index d7524b700..f350dc229 100755 --- a/tests/node/node008/run +++ b/tests/node/node008/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 --cg node Nat.idr < input +run --cg node Nat.idr diff --git a/tests/node/node009/expected b/tests/node/node009/expected index 759037d74..42d27acd6 100644 --- a/tests/node/node009/expected +++ b/tests/node/node009/expected @@ -1,4 +1,2 @@ -1/1: Building uni (uni.idr) -Main> 42 +42 ällo -Main> Bye for now! diff --git a/tests/node/node009/input b/tests/node/node009/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/node009/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/node009/run b/tests/node/node009/run index e153ebec0..a4bce0a9a 100755 --- a/tests/node/node009/run +++ b/tests/node/node009/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 --cg node uni.idr < input +run --cg node uni.idr diff --git a/tests/node/node012/expected b/tests/node/node012/expected index defaf6349..8ef81328a 100644 --- a/tests/node/node012/expected +++ b/tests/node/node012/expected @@ -1,4 +1,2 @@ -1/1: Building array (array.idr) -Main> [Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Just "Hello", Just "World", Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing] +[Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Just "Hello", Just "World", Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing] [Just 1, Just 2, Just 3, Just 4, Just 5] -Main> Bye for now! diff --git a/tests/node/node012/input b/tests/node/node012/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/node012/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/node012/run b/tests/node/node012/run index a67f8abb8..a8b3a176e 100755 --- a/tests/node/node012/run +++ b/tests/node/node012/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 --cg node array.idr < input +run --cg node array.idr diff --git a/tests/node/node014/expected b/tests/node/node014/expected index 4d6c212bb..92aad5a55 100644 --- a/tests/node/node014/expected +++ b/tests/node/node014/expected @@ -1,4 +1,2 @@ Received: hello world! Received: echo: hello world! -1/1: Building Echo (Echo.idr) -Main> Main> Bye for now! diff --git a/tests/node/node014/input b/tests/node/node014/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/node014/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/node014/run b/tests/node/node014/run index cbe7920e1..f29a1de4a 100755 --- a/tests/node/node014/run +++ b/tests/node/node014/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 --cg node -p network Echo.idr < input +run --cg node -p network Echo.idr diff --git a/tests/node/node015/expected b/tests/node/node015/expected index 49162bd51..a16478ddf 100644 --- a/tests/node/node015/expected +++ b/tests/node/node015/expected @@ -1,4 +1,2 @@ -1/1: Building Numbers (Numbers.idr) -Main> [3518437212345678901234567890560, 1537557061795061679839506167983751, 3518437212345678901234567889686, 8051343735344802977653473432, 339] +[3518437212345678901234567890560, 1537557061795061679839506167983751, 3518437212345678901234567889686, 8051343735344802977653473432, 339] [912198731, 301395778, 912197977, 2419624, 106] -Main> Bye for now! diff --git a/tests/node/node015/input b/tests/node/node015/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/node015/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/node015/run b/tests/node/node015/run index cf34c951c..a91652ce9 100755 --- a/tests/node/node015/run +++ b/tests/node/node015/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 --cg node Numbers.idr < input +run --cg node Numbers.idr diff --git a/tests/node/node017/expected.in b/tests/node/node017/expected.in index 3096c9191..916d21080 100644 --- a/tests/node/node017/expected.in +++ b/tests/node/node017/expected.in @@ -1,7 +1,5 @@ -1/1: Building dir (dir.idr) -Main> File Exists +File Exists False True Just "__PWD__testdir" -Main> Bye for now! hello diff --git a/tests/node/node017/input b/tests/node/node017/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/node017/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/node017/run b/tests/node/node017/run index 05c005b8a..45e683248 100755 --- a/tests/node/node017/run +++ b/tests/node/node017/run @@ -3,5 +3,5 @@ rm -rf testdir ./gen_expected.sh -idris2 --cg node dir.idr < input +run --cg node dir.idr cat testdir/test.txt diff --git a/tests/node/node018/expected b/tests/node/node018/expected index 0600e9e6b..561ce8971 100644 --- a/tests/node/node018/expected +++ b/tests/node/node018/expected @@ -1,6 +1,4 @@ -1/1: Building File (File.idr) -Main> test test +test test unfinished lineabc def File Not Found -Main> Bye for now! diff --git a/tests/node/node018/input b/tests/node/node018/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/node018/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/node018/run b/tests/node/node018/run index f5cc69a81..bc1a5021c 100755 --- a/tests/node/node018/run +++ b/tests/node/node018/run @@ -2,4 +2,4 @@ rm testout.txt -idris2 --cg node File.idr < input +run --cg node File.idr diff --git a/tests/node/node020/expected b/tests/node/node020/expected index 0bdb9d17d..580712d46 100644 --- a/tests/node/node020/expected +++ b/tests/node/node020/expected @@ -1,5 +1,3 @@ -1/1: Building Popen (Popen.idr) -Main> opened +opened closed Idris 2 -Main> Bye for now! diff --git a/tests/node/node020/input b/tests/node/node020/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/node020/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/node020/run b/tests/node/node020/run index 809dc5fc5..f5d9e3c9b 100644 --- a/tests/node/node020/run +++ b/tests/node/node020/run @@ -1,3 +1,3 @@ . ../../testutils.sh -POPEN_CMD="$idris2 --version" idris2 --cg node Popen.idr < input +POPEN_CMD="$idris2 --version" run --cg node Popen.idr diff --git a/tests/node/node022/expected b/tests/node/node022/expected index aee2314b7..f9260cb77 100644 --- a/tests/node/node022/expected +++ b/tests/node/node022/expected @@ -1,5 +1,4 @@ -1/1: Building BitCasts (BitCasts.idr) -Main> ["123", "123", "123", "123", "123"] +["123", "123", "123", "123", "123"] ["1234", "1234", "1234", "1234"] ["1234567", "1234567", "1234567"] ["134", "134", "134", "134"] @@ -8,4 +7,3 @@ Main> ["123", "123", "123", "123", "123"] ["134", "134"] ["134"] ["237", "65517", "4294967277", "18446744073709551597"] -Main> Bye for now! diff --git a/tests/node/node022/input b/tests/node/node022/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/node022/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/node022/run b/tests/node/node022/run index 624f06658..997c6b8b0 100644 --- a/tests/node/node022/run +++ b/tests/node/node022/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 --cg node BitCasts.idr < input +run --cg node BitCasts.idr diff --git a/tests/node/node023/expected b/tests/node/node023/expected index 45a062228..b130552e5 100644 --- a/tests/node/node023/expected +++ b/tests/node/node023/expected @@ -1,7 +1,5 @@ -1/1: Building Casts (Casts.idr) -Main> ok ok ok ok ok -Main> Bye for now! +ok diff --git a/tests/node/node023/input b/tests/node/node023/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/node023/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/node023/run b/tests/node/node023/run index 0f3c79c67..f84817777 100644 --- a/tests/node/node023/run +++ b/tests/node/node023/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 --cg node Casts.idr < input +run --cg node Casts.idr diff --git a/tests/node/node024/expected b/tests/node/node024/expected index cc59ca1e9..4f2c60daf 100644 --- a/tests/node/node024/expected +++ b/tests/node/node024/expected @@ -1,5 +1,4 @@ -1/1: Building BitOps (BitOps.idr) -Main> -134217728 +-134217728 [0, 1, 2, 4, 8, 16, 32, 64, 127] [0, 1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096, 8192, 16384, 32767] @@ -40,4 +39,3 @@ Main> -134217728 [340282366920938463463374607431768211444, 11, 10, 9, 15, 0] [2147483636, 11, 10, 9, 15, 0] [-2147483638, -11, -12, -9, -15, -2, 134217717, 10, 11, 9, 0] -Main> Bye for now! diff --git a/tests/node/node024/input b/tests/node/node024/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/node024/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/node024/run b/tests/node/node024/run index d5069e73e..80bfdbf7f 100644 --- a/tests/node/node024/run +++ b/tests/node/node024/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 --cg node BitOps.idr < input +run --cg node BitOps.idr diff --git a/tests/node/node025/expected b/tests/node/node025/expected index 9d6d63053..44e0be8e3 100644 --- a/tests/node/node025/expected +++ b/tests/node/node025/expected @@ -1,6 +1,4 @@ -1/1: Building Fix1037 (Fix1037.idr) -Main> 0 0 0 0 -Main> Bye for now! +0 diff --git a/tests/node/node025/input b/tests/node/node025/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/node025/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/node025/run b/tests/node/node025/run index 0fb0d30f9..f0d56b8b2 100644 --- a/tests/node/node025/run +++ b/tests/node/node025/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 --cg node Fix1037.idr < input +run --cg node Fix1037.idr diff --git a/tests/node/node026/expected b/tests/node/node026/expected index 40ec7d537..b3fb92c76 100644 --- a/tests/node/node026/expected +++ b/tests/node/node026/expected @@ -1,3 +1 @@ -1/1: Building Fix1795 (Fix1795.idr) -Main> Right ('1', 1) -Main> Bye for now! +Right ('1', 1) diff --git a/tests/node/node026/input b/tests/node/node026/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/node026/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/node026/run b/tests/node/node026/run index bf7de0183..7e20c37ba 100644 --- a/tests/node/node026/run +++ b/tests/node/node026/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 -p contrib --cg node Fix1795.idr < input +run -p contrib --cg node Fix1795.idr diff --git a/tests/node/node027/expected b/tests/node/node027/expected index c1247394a..e69de29bb 100644 --- a/tests/node/node027/expected +++ b/tests/node/node027/expected @@ -1,2 +0,0 @@ -1/1: Building PID (PID.idr) -Main> Main> Bye for now! diff --git a/tests/node/node027/input b/tests/node/node027/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/node027/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/node027/run b/tests/node/node027/run index 57df102cf..0aadf2f22 100644 --- a/tests/node/node027/run +++ b/tests/node/node027/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 --cg node PID.idr < input +run --cg node PID.idr diff --git a/tests/node/perf001/expected b/tests/node/perf001/expected index 893b70a22..e9063aec6 100644 --- a/tests/node/perf001/expected +++ b/tests/node/perf001/expected @@ -1,3 +1 @@ -1/1: Building Span (Span.idr) -Main> ([1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80], [81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100]) -Main> Bye for now! +([1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80], [81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100]) diff --git a/tests/node/perf001/input b/tests/node/perf001/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/perf001/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/perf001/run b/tests/node/perf001/run index 09892f812..ff95006be 100644 --- a/tests/node/perf001/run +++ b/tests/node/perf001/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 --cg node Span.idr < input +run --cg node Span.idr diff --git a/tests/node/stringcast/expected b/tests/node/stringcast/expected index 01a178e3b..66f4ca4a5 100644 --- a/tests/node/stringcast/expected +++ b/tests/node/stringcast/expected @@ -1,5 +1,3 @@ -1/1: Building StringCast (StringCast.idr) -Main> 0 0 0 0 @@ -11,4 +9,4 @@ Main> 0 0 0 0 -Main> Bye for now! +0 diff --git a/tests/node/stringcast/input b/tests/node/stringcast/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/node/stringcast/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/node/stringcast/run b/tests/node/stringcast/run index d6166759d..1e92367f4 100644 --- a/tests/node/stringcast/run +++ b/tests/node/stringcast/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 --cg node StringCast.idr < input +run --cg node StringCast.idr diff --git a/tests/prelude/bind001/expected b/tests/prelude/bind001/expected index 25d747481..451bd091e 100644 --- a/tests/prelude/bind001/expected +++ b/tests/prelude/bind001/expected @@ -1,4 +1,2 @@ -1/1: Building bind (bind.idr) -Main> [1, 1, 2, 1, 2, 3, 1, 2, 3, 4] +[1, 1, 2, 1, 2, 3, 1, 2, 3, 4] 12502500 -Main> Bye for now! diff --git a/tests/prelude/bind001/input b/tests/prelude/bind001/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/prelude/bind001/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/prelude/bind001/run b/tests/prelude/bind001/run index bcaf1b9b4..63db08c64 100755 --- a/tests/prelude/bind001/run +++ b/tests/prelude/bind001/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 bind.idr < input +run bind.idr diff --git a/tests/prelude/double001/expected b/tests/prelude/double001/expected index ecb63744a..18f158983 100644 --- a/tests/prelude/double001/expected +++ b/tests/prelude/double001/expected @@ -1,5 +1,4 @@ -1/1: Building Types (Types.idr) -Main> 0.0 +0.0 0.0 0.0 1.0 @@ -71,4 +70,3 @@ Main> 0.0 +nan.0 +nan.0 +nan.0 -Main> Bye for now! diff --git a/tests/prelude/double001/input b/tests/prelude/double001/input deleted file mode 100644 index fc5992c29..000000000 --- a/tests/prelude/double001/input +++ /dev/null @@ -1,2 +0,0 @@ -:exec main -:q diff --git a/tests/prelude/double001/run b/tests/prelude/double001/run index 34962defe..55f3f7186 100755 --- a/tests/prelude/double001/run +++ b/tests/prelude/double001/run @@ -1,3 +1,3 @@ . ../../testutils.sh -idris2 Types.idr < input +run Types.idr