Idris2/tests/base
2021-12-13 13:47:53 +00:00
..
control_app001 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
data_bits001 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
data_fin001 [ fix #2032 ] Slow typechecking on Int operation when Data.Fin.fromInteger is in scope (#2189) 2021-12-13 13:47:53 +00:00
data_string_lines001 Change semantics of lines and unlines function to match Haskell and other languages (#1585) 2021-07-17 14:54:23 +01:00
data_string_unlines001 Change semantics of lines and unlines function to match Haskell and other languages (#1585) 2021-07-17 14:54:23 +01:00
data_vect001 Return a Vect from Stream take (#1812) 2021-08-30 16:00:20 +01:00
system_directory System.Directory.listDir 2021-07-17 14:58:57 +01:00
system_errno Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
system_file001 clean up some deprecations (#2057) 2021-10-24 12:06:57 +01:00
system_file_copyFile Add copyFile to System.File (#1797) 2021-08-30 15:31:37 +01:00
system_file_fRead Add System.File fRead function 2021-11-05 11:59:17 +00:00
system_file_popen Return error code from pclose 2021-11-05 11:59:17 +00:00
system_info001 Remove all mentions of realpath from docs 2021-07-16 21:20:11 +06:00
system_info_os001 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
system_run Add System run function 2021-11-05 11:59:17 +00:00
system_signal001 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
system_signal002 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
system_signal003 Move rm -rf to the beginning of the test 2021-07-13 22:54:53 +01:00
system_signal004 Replace per signal counter with per signal flag 2021-07-16 11:31:53 +01:00
system_system Add System escapeCmd function 2021-11-05 11:59:17 +00:00
system_time001 Add javascript support for getting system time as integer. 2021-08-30 15:35:49 +01:00