From 587554a5a0b2dd451b58e1f98ccdc0cdb1a9681a Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Wed, 15 Apr 2009 12:05:34 +0000
Subject: [PATCH] Stopped INLINE PROCs and INLINE FUNCTIONs being written out
 to the .tock.inc files

---
 frontends/OccamPasses.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/frontends/OccamPasses.hs b/frontends/OccamPasses.hs
index 594046d..aa47145 100644
--- a/frontends/OccamPasses.hs
+++ b/frontends/OccamPasses.hs
@@ -70,7 +70,7 @@ writeIncFile = occamOnlyPass "Write .inc file" [] []
   ))
   where
     emitProcsAsExternal :: A.AST -> PassM (Seq.Seq String)
-    emitProcsAsExternal (A.Spec _ (A.Specification _ n (A.Proc _ _ fs (Just _))) scope)
+    emitProcsAsExternal (A.Spec _ (A.Specification _ n (A.Proc _ (A.PlainSpec,_) fs (Just _))) scope)
       = do origN <- lookupName n >>* A.ndOrigName
            thisProc <- sequence (
              [return $ "#PRAGMA TOCKEXTERNAL \"PROC " ++ origN ++ "("
@@ -80,7 +80,7 @@ writeIncFile = occamOnlyPass "Write .inc file" [] []
            modify $ \cs -> cs { csOriginalTopLevelProcs =
              A.nameName n : csOriginalTopLevelProcs cs }
            emitProcsAsExternal scope >>* (thisProc Seq.<|)
-    emitProcsAsExternal (A.Spec _ (A.Specification _ n (A.Function _ _ ts fs (Just _))) scope)
+    emitProcsAsExternal (A.Spec _ (A.Specification _ n (A.Function _ (A.PlainSpec,_) ts fs (Just _))) scope)
       = do origN <- lookupName n >>* A.ndOrigName
            thisProc <- sequence (
              [return $ "#PRAGMA TOCKEXTERNAL \""