Skip to content

Commit

Permalink
update tests given now-caught errors that were previously uncaught
Browse files Browse the repository at this point in the history
  • Loading branch information
mattpolzin committed Dec 26, 2024
1 parent c3c9d8b commit e200253
Show file tree
Hide file tree
Showing 10 changed files with 23 additions and 25 deletions.
2 changes: 1 addition & 1 deletion tests/idris2/misc/import006/expected
Original file line number Diff line number Diff line change
@@ -1 +1 @@
Uncaught error: Module imports form a cycle: A.B -> A.B
Error: Module imports form a cycle: A.B -> A.B
2 changes: 1 addition & 1 deletion tests/idris2/misc/import006/run
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
. ../../../testutils.sh

idris2 --build cyclic.ipkg
idris2 --build cyclic.ipkg 2>&1
2 changes: 1 addition & 1 deletion tests/idris2/pkg/pkg003/expected
Original file line number Diff line number Diff line change
Expand Up @@ -17,4 +17,4 @@ Overridable options are:
--output-dir <dir>

Packages must have an '.ipkg' extension: "malformed-package-name".
Uncaught error: File error (non-existent-package.ipkg): File Not Found
Error: File error in non-existent-package.ipkg : File Not Found
14 changes: 7 additions & 7 deletions tests/idris2/pkg/pkg003/run
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
. ../../../testutils.sh

idris2 --build testpkg.ipkg
idris2 --build testpkg.ipkg 2>&1
rm -rf build/
idris2 --build testpkg.ipkg --quiet
idris2 --build testpkg.ipkg --verbose
idris2 --build testpkg.ipkg --codegen gambit
idris2 --build testpkg.ipkg --ide-mode
idris2 --build malformed-package-name
idris2 --build non-existent-package.ipkg
idris2 --build testpkg.ipkg --quiet 2>&1
idris2 --build testpkg.ipkg --verbose 2>&1
idris2 --build testpkg.ipkg --codegen gambit 2>&1
idris2 --build testpkg.ipkg --ide-mode 2>&1
idris2 --build malformed-package-name 2>&1
idris2 --build non-existent-package.ipkg 2>&1
rm -rf build/
4 changes: 2 additions & 2 deletions tests/idris2/pkg/pkg006/expected
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
Uncaught error: EmptyFC:Failed to resolve the dependencies for test3:
Error: Failed to resolve the dependencies for test3:
required foo >= 0.4 && < 0.5 but no matching version is installed

Uncaught error: EmptyFC:Failed to resolve the dependencies for test4:
Error: Failed to resolve the dependencies for test4:
required baz any but no matching version is installed

Warning: Deprecation warning: version numbers must now be of the form x.y.z
10 changes: 5 additions & 5 deletions tests/idris2/pkg/pkg006/run
Original file line number Diff line number Diff line change
Expand Up @@ -7,11 +7,11 @@ for folder in ./depends/*; do
mkdir -p "${folder}/${TTC_VERSION}"
done

idris2 --build test1.ipkg
idris2 --build test2.ipkg
idris2 --build test3.ipkg
idris2 --build test4.ipkg
idris2 --build test5.ipkg
idris2 --build test1.ipkg 2>&1
idris2 --build test2.ipkg 2>&1
idris2 --build test3.ipkg 2>&1
idris2 --build test4.ipkg 2>&1
idris2 --build test5.ipkg 2>&1

for folder in ./depends/*; do
rmdir "${folder}/${TTC_VERSION}"
Expand Down
2 changes: 1 addition & 1 deletion tests/idris2/pkg/pkg015/expected
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Uncaught error: EmptyFC:Failed to resolve the dependencies for test:
Error: Failed to resolve the dependencies for test:
foo-0.2.0; baz-0.3.0; required quux any but no matching version is installed
foo-0.2.0; baz-0.2.0; bar-0.1.1; required baz < 0.2.0 but assigned version 0.2.0 which is out of bounds
foo-0.2.0; baz-0.2.0; bar-0.1.0; required prz > 0.1.0 but no matching version is installed
Expand Down
2 changes: 1 addition & 1 deletion tests/idris2/pkg/pkg015/run
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ for folder in ./depends/*; do
mkdir -p "${folder}/${TTC_VERSION}"
done

idris2 --build test.ipkg --log package.depends:10
idris2 --build test.ipkg --log package.depends:10 2>&1

for folder in ./depends/*; do
rmdir "${folder}/${TTC_VERSION}"
Expand Down
6 changes: 2 additions & 4 deletions tests/idris2/pkg/pkg018/expected
Original file line number Diff line number Diff line change
@@ -1,14 +1,12 @@
Uncaught error: Error: Unrecognised property "depend".
Error: Unrecognised property "depend".

"bad.ipkg":2:1--2:7
1 | package bad
2 | depend = contrib
^^^^^^

Uncaught error: Error: Expected string.
Error: Expected string.

"bad2.ipkg":2:13--2:16
1 | package bad
2 | sourcedir = src
^^^

4 changes: 2 additions & 2 deletions tests/idris2/pkg/pkg018/run
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
. ../../../testutils.sh

idris2 --build bad.ipkg
idris2 --build bad2.ipkg
idris2 --build bad.ipkg 2>&1
idris2 --build bad2.ipkg 2>&1

0 comments on commit e200253

Please sign in to comment.