Removed the generate of tuples for sequential protocols in C++, since we're now using a byte-array approach

backends/GenerateCPPCSP.hs

@@ -943,9 +943,6 @@ cppintroduceSpec ops (A.Specification _ n (A.RecordType _ b fs))
           when b $ tell [" occam_struct_packed "]
           genName n
           tell [";"]
---We do sequential protocols by introducing a new tuple:
-cppintroduceSpec ops (A.Specification _ n (A.Protocol _ typeList))
-    =  do createChainedType "boost::tuple" (genProtocolName n) $ map (call genType ops) typeList
 --We do variant protocols by introducing a new variant:
 cppintroduceSpec _ (A.Specification _ n (A.ProtocolCase _ []))
     =  do tell ["typedef class {} "] 

backends/GenerateCTest.hs

@@ -469,6 +469,7 @@ testSpec = TestList
   ,testAllSame 100 ("","") $ A.DataType undefined undefined
   ,testBothFail "testAllSame 200" (tcall introduceSpec $ A.Specification emptyMeta foo $ A.RetypesExpr emptyMeta A.Original A.Int (A.True emptyMeta))
   ,testBothFail "testAllSame 300" (tcall introduceSpec $ A.Specification emptyMeta foo $ A.Place emptyMeta (A.True emptyMeta))
+  ,testAllSame 350 ("","") $ A.Protocol emptyMeta undefined
 
   --Record types:
   ,testAllSame 400 ("typedef struct{#ATION_True}foo;","") $ A.RecordType emptyMeta False [(bar,A.Int)]