From 2655b9b049366a943a38f3bc6c957fb665836f75 Mon Sep 17 00:00:00 2001 From: Adam Sampson Date: Wed, 26 Mar 2008 14:45:51 +0000 Subject: [PATCH] Fix a broken occam test (spotted by the new type checker). --- testcases/automatic/usage-check-5.occ.test | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/testcases/automatic/usage-check-5.occ.test b/testcases/automatic/usage-check-5.occ.test index c0faad5..cefac7d 100644 --- a/testcases/automatic/usage-check-5.occ.test +++ b/testcases/automatic/usage-check-5.occ.test @@ -23,6 +23,7 @@ INT,INT FUNCTION fRR(VAL INT m, VAL INT n) PROC p(INT x, y, z) [10]INT a: [12]INT b: + INT q, w: %% : @@ -70,13 +71,13 @@ PROC m() %PASS Safe overlapping function calls PAR - y := fRR(y,z) - x := fRR(x,z) + y, q := fRR(y,z) + x, w := fRR(x,z) %FAIL Risky overlapping function calls PAR - x := fRR(y,z) - y := fRR(x,z) + x, q := fRR(y,z) + y, w := fRR(x,z) -- TODO array versions of these