suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added some tests for the type-checking of poison statements in Rain

Browse Source
This commit is contained in:
Neil Brown 2008-09-12 14:37:11 +00:00
parent 00a719a451
commit ec25ff9901
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
testcases/automatic/unify-types-1.rain.test
View File

@ -92,4 +92,17 @@ cb ! b;
?cb ? true; ?cb ? true;
%FAIL Invalid channel comm -- bad recv #3 %FAIL Invalid channel comm -- bad recv #3
cb ? x; cb ? x;
%PASS Valid poison
poison !cb;
poison !cx;
poison !cxi8;
poison ?cb;
poison ?cx;
poison ?cxi8;
%FAIL Poison non-channel
poison b;
%FAIL Poison indeterminate channel-end
poison cb;
% %