From cd41124003d48d078098eeaefc20e4fc954f6b22 Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Thu, 13 Nov 2008 14:55:37 +0000 Subject: [PATCH] Added another test for unused variables --- checks/CheckTest.hs | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/checks/CheckTest.hs b/checks/CheckTest.hs index dc9b1e9..a25e055 100644 --- a/checks/CheckTest.hs +++ b/checks/CheckTest.hs @@ -41,7 +41,15 @@ testUnusedVar = TestList (wrapProcSeq $ A.Only emptyMeta (A.Skip emptyMeta)) (wrapProcSeq $ A.Spec emptyMeta (A.Specification emptyMeta (simpleName "x") $ A.Declaration emptyMeta A.Int) $ A.Only emptyMeta (A.Skip emptyMeta)) - + ,test "Unused var in loop" + (wrapProcSeq $ A.Only emptyMeta $ A.While emptyMeta (A.True emptyMeta) $ A.Seq + emptyMeta $ A.Several emptyMeta [A.Only emptyMeta $ A.Skip emptyMeta]) + (wrapProcSeq $ A.Only emptyMeta $ A.While emptyMeta (A.True emptyMeta) $ + A.Seq emptyMeta $ + A.Spec emptyMeta + (A.Specification emptyMeta (simpleName "x") $ A.Declaration emptyMeta + A.Int) $ + A.Several emptyMeta [A.Only emptyMeta $ A.Skip emptyMeta]) ] where test' str src = test str src src