Skip to content

Commit

Permalink
Fully convert test cast to sonsibility
Browse files Browse the repository at this point in the history
  • Loading branch information
ab5tract committed Feb 15, 2023
1 parent 887d301 commit f53b0cd
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion S12-subset/type-subset.t
Expand Up @@ -145,7 +145,7 @@ subtest "When a subset is a subset of a subset", {
: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 = 9',
is-run 'subset F of Int where * %% 2; subset G of F where * %% 3; 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 f53b0cd

Please sign in to comment.