Accept (but ignore) INLINE

fco2/LANGUAGE

@@ -0,0 +1,11 @@
+Language features supported by Tock
+-----------------------------------
+
+Everything in occam2.1, minus:
+- inline VALOF
+- ...
+
+KRoC's TLP interface.
+
+INLINE PROC, although it's ignored (because it should be up to the C compiler
+what gets inlined).

fco2/Parse.hs

@@ -85,6 +85,7 @@ occamStyle
                           "FROM",
                           "FUNCTION",
                           "IF",
+                          "INLINE",
                           "INT",
                           "INT16",
                           "INT32",
@@ -192,6 +193,7 @@ sFOR = reserved "FOR"
 sFROM = reserved "FROM"
 sFUNCTION = reserved "FUNCTION"
 sIF = reserved "IF"
+sINLINE = reserved "INLINE"
 sINT = reserved "INT"
 sINT16 = reserved "INT16"
 sINT32 = reserved "INT32"
@@ -1133,7 +1135,8 @@ definition
            do { sIS; p <- sequentialProtocol; sColon; eol; return $ A.Specification m n $ A.Protocol m p }
              <|> do { eol; indent; sCASE; eol; indent; ps <- many1 taggedProtocol; outdent; outdent; sColon; eol; return $ A.Specification m n $ A.ProtocolCase m ps }
     <|> do m <- md
-           sPROC
+           -- FIXME INLINE is ignored.
+           sPROC <|> (tryXX sINLINE sPROC)
            n <- newProcName
            fs <- formalList
            eol