Added support for the #COMMENT directive to the occam parser

frontends/LexOccam.x

@@ -35,7 +35,7 @@ $hexDigit = [0-9 a-f A-F]
 $horizSpace = [\ \t]
 $vertSpace = [\r\n]
 
-@directive = "ELSE" | "ENDIF" | "IF" | "INCLUDE"
+@directive = "COMMENT" | "ELSE" | "ENDIF" | "IF" | "INCLUDE"
            | "OPTION" | "PRAGMA" | "RELAX" | "USE"
 
 @preprocessor = "#" @directive [^\n]*

frontends/PreprocessOccam.hs

@@ -120,6 +120,7 @@ directives :: [(Regex, DirectiveFunc)]
 directives =
   [ (mkRegex "^INCLUDE \"(.*)\"$", handleInclude)
   , (mkRegex "^USE \"(.*)\"$", handleUse)
+  , (mkRegex "^COMMENT .*$", (\_ _ -> return id))
   ]
 
 -- | Handle the @#INCLUDE@ directive.