From 0511c852dada55410b9102fc11e9a6f2dac2333f Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Fri, 21 Mar 2008 20:16:48 +0000 Subject: [PATCH] Added a couple of reminders to RainPassesTest --- frontends/RainPassesTest.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/frontends/RainPassesTest.hs b/frontends/RainPassesTest.hs index 8f75afa..c143d88 100644 --- a/frontends/RainPassesTest.hs +++ b/frontends/RainPassesTest.hs @@ -201,7 +201,8 @@ testUnique4 = TestCase $ testPassWithItemsStateCheck "testUnique4" exp (uniquify (tag7 A.NameDef DontCare "foo" "foo" A.ProcName (tag4 A.Proc DontCare A.PlainSpec [tag3 A.Formal A.ValAbbrev A.Byte newcName] (bodyPattern newcName)) A.Original A.Unplaced) - +-- TODO check that doing {int : c; { int: c; } } does give an error +-- TODO check that declaring a new proc with the same name as an old one does give an error -- | checks that c's type is recorded in: ***each (c : "hello") {}