From aefb02caa62cb15b700fa3b8bf71f13f7acc718b Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Wed, 12 Sep 2007 10:17:15 +0000 Subject: [PATCH] Added missing cases for A.DirectedVariable in the C and C++ backends --- backends/GenerateC.hs | 1 + backends/GenerateCPPCSP.hs | 1 + 2 files changed, 2 insertions(+) diff --git a/backends/GenerateC.hs b/backends/GenerateC.hs index 05f0ac6..fcd99f8 100644 --- a/backends/GenerateC.hs +++ b/backends/GenerateC.hs @@ -716,6 +716,7 @@ cgenVariable' ops checkValid v -- treat c->x as if it's just x). accessAbbrevMode :: A.Variable -> CGen A.AbbrevMode accessAbbrevMode (A.Variable _ n) = abbrevModeOfName n + accessAbbrevMode (A.DirectedVariable _ _ v) = accessAbbrevMode v accessAbbrevMode (A.SubscriptedVariable _ sub v) = do am <- accessAbbrevMode v return $ case (am, sub) of diff --git a/backends/GenerateCPPCSP.hs b/backends/GenerateCPPCSP.hs index b3c1bba..6455c85 100644 --- a/backends/GenerateCPPCSP.hs +++ b/backends/GenerateCPPCSP.hs @@ -1266,6 +1266,7 @@ cppgenVariable' ops checkValid v -- treat c->x as if it's just x). accessAbbrevMode :: A.Variable -> CGen A.AbbrevMode accessAbbrevMode (A.Variable _ n) = abbrevModeOfName n + accessAbbrevMode (A.DirectedVariable _ _ v) = accessAbbrevMode v accessAbbrevMode (A.SubscriptedVariable _ sub v) = do am <- accessAbbrevMode v return $ case (am, sub) of