From 8220630426e75bd108d01ad40820df3dd725b3bd Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Fri, 3 Apr 2009 16:50:41 +0000
Subject: [PATCH] Attempted to fix a problem with parsing pragmas, but I
 suspect it's still a bit haphazard

---
 frontends/ParseOccam.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/frontends/ParseOccam.hs b/frontends/ParseOccam.hs
index 3490d54..48a6880 100644
--- a/frontends/ParseOccam.hs
+++ b/frontends/ParseOccam.hs
@@ -358,6 +358,7 @@ maybeIndentedList :: Meta -> String -> OccParser t -> OccParser [t]
 maybeIndentedList m msg inner
     =   do try indent
            vs <- many1 inner
+           optional $ many1 pragma
            outdent
            return vs
     <|> do warnP m WarnParserOddity msg
@@ -1475,7 +1476,7 @@ process
     <|> intrinsicProc
     <|> handleSpecs (allocation <|> specification <|> claimSpec) process
                     (\m s p -> A.Seq m (A.Spec m s (A.Only m p)))
-    <|> (pragma >> process)
+    <|> (tryXV pragma process)
     <?> "process"
 
 claimSpec :: OccParser ([NameSpec], OccParser ())