Skip to content

Commit

Permalink
Use a more targeted and sensible test case
Browse files Browse the repository at this point in the history
  • Loading branch information
ab5tract committed Feb 15, 2023
1 parent 9779702 commit 887d301
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions S12-subset/type-subset.t
Expand Up @@ -141,11 +141,11 @@ subtest "When a subset has no where block", {
subtest "When a subset is a subset of a subset", {
plan 2;

is-run 'subset F of Int where * %% 5; subset G of F where * %% 25; my G $g = 25',
is-run 'subset F of Int where * %% 2; subset G of F where * %% 3; my G $g = 6',
:exitcode(0),
"Subset works as 'of' of a subset (assignment meets criteria)";

is-run 'subset F of Int where * %% 5; subset G of F where * %% 25; my G $g = 26',
is-run 'subset F of Int where * %% 5; subset G of F where * %% 25; my G $g = 9',
:exitcode(1), :err({ .contains: 'Type check failed in assignment ' }),
"Subset works as 'of' of a subset (asigment fails criteria)";
}
Expand Down

0 comments on commit 887d301

Please sign in to comment.