idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-24 20:23:11 +03:00
Code Issues Projects Releases Wiki Activity

Add missing test

Browse Source 
:#	../../../src/Compiler/.ANF.idr.swp
This commit is contained in:
Edwin Brady 2020-12-14 13:38:40 +00:00
parent c1f58d963f
commit 6c9ad81c12
4 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/Main.idr
View File

@ -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",

0
tests/idris2/interface018/LocalInterface.idr → tests/idris2/interface020/LocalInterface.idr
View File

1
tests/idris2/interface020/expected Normal file
View File

@ -0,0 +1 @@
1/1: Building LocalInterface (LocalInterface.idr)

3
tests/idris2/interface020/run Executable file
View File

@ -0,0 +1,3 @@
$1 --no-color --console-width 0 LocalInterface.idr --check
rm -rf build