From 6c9ad81c124aab723baf5be5149d341ab8f0340c Mon Sep 17 00:00:00 2001 From: Edwin Brady Date: Mon, 14 Dec 2020 13:38:40 +0000 Subject: [PATCH] Add missing test :# ../../../src/Compiler/.ANF.idr.swp --- tests/Main.idr | 2 +- tests/idris2/{interface018 => interface020}/LocalInterface.idr | 0 tests/idris2/interface020/expected | 1 + tests/idris2/interface020/run | 3 +++ 4 files changed, 5 insertions(+), 1 deletion(-) rename tests/idris2/{interface018 => interface020}/LocalInterface.idr (100%) create mode 100644 tests/idris2/interface020/expected create mode 100755 tests/idris2/interface020/run diff --git a/tests/Main.idr b/tests/Main.idr index 42f7926f2..efe543ef5 100644 --- a/tests/Main.idr +++ b/tests/Main.idr @@ -71,7 +71,7 @@ idrisTests = MkTestPool [] "interface005", "interface006", "interface007", "interface008", "interface009", "interface010", "interface011", "interface012", "interface013", "interface014", "interface015", "interface016", - "interface017", "interface018", + "interface017", "interface018", "interface019", "interface020", -- Miscellaneous REPL "interpreter001", "interpreter002", "interpreter003", "interpreter004", "interpreter005", diff --git a/tests/idris2/interface018/LocalInterface.idr b/tests/idris2/interface020/LocalInterface.idr similarity index 100% rename from tests/idris2/interface018/LocalInterface.idr rename to tests/idris2/interface020/LocalInterface.idr diff --git a/tests/idris2/interface020/expected b/tests/idris2/interface020/expected new file mode 100644 index 000000000..385754f16 --- /dev/null +++ b/tests/idris2/interface020/expected @@ -0,0 +1 @@ +1/1: Building LocalInterface (LocalInterface.idr) diff --git a/tests/idris2/interface020/run b/tests/idris2/interface020/run new file mode 100755 index 000000000..94375ced9 --- /dev/null +++ b/tests/idris2/interface020/run @@ -0,0 +1,3 @@ +$1 --no-color --console-width 0 LocalInterface.idr --check + +rm -rf build