To protect your data, the CISO officer has suggested users to enable GitLab 2FA as soon as possible.

Commit bae0771f authored by Pavel Zakopaylo's avatar Pavel Zakopaylo
Browse files

Sped compliance; Added signature lists to COMMINST

parent 1f19f1aa
......@@ -589,6 +589,8 @@ data Expression
, comminstFlags :: [Flag]
-- | types (if any) of the arguments to pass to comminst
, comminstTypes :: [TypedefName]
-- | signatures (if any) to pass to the comminst
, comminstSigs :: [SignatureName]
-- | arguments (if any) to pass to the comminst
, comminstArgs :: [VarName]
-- | optional exception clause
......
......@@ -299,13 +299,13 @@ instance PrettyPrint Expression where
(pp v1)
(pp nsClause)
(printMaybe pp exec)
Comminst inst fLst tLst vLst exec alive ->
Comminst inst fLst tLst sLst vLst exec alive ->
printf
"COMMINST @%s%s%s%s%s%s"
"COMMINST @%s%s%s%s%s%s%s"
(show inst)
(printFlagList fLst)
(printTypeList tLst)
--(printSigList sLst)
(printSigList sLst)
(printArgList vLst)
(printMaybe pp exec)
(printMaybe pp alive)
......@@ -330,23 +330,6 @@ instance PrettyPrint Expression where
(pp v1)
(pp v2)
(printMaybe pp exec)
{-
ExtractValueS t1 index v1 exec ->
printf
"EXTRACTVALUE <%s %d> %s%s"
(pp t1)
index
(pp v1)
(printMaybe pp exec)
InsertValueS t1 index v1 v2 exec ->
printf
"INSERTVALUE <%s %d> %s %s%s"
(pp t1)
index
(pp v1)
(pp v2)
(printMaybe pp exec)
-}
ExtractValue t1 index v1 ->
printf
"EXTRACTVALUE <%s %d> %s"
......@@ -410,13 +393,12 @@ instance PrettyPrint Expression where
else "")
(pp t1)
(pp v1)
--Comment str -> printf "//%s" str
)
where
printTypeList :: [TypedefName] -> String
printTypeList lst = "<" ++ pp lst ++ ">"
--printSigList :: [FuncSig] -> String
--printSigList lst = "<[" ++ (pp lst) ++ "]>"
printSigList :: [SignatureName] -> String
printSigList lst = "<[" ++ (pp lst) ++ "]>"
printArgList :: [VarName] -> String
printArgList lst = "(" ++ (pp lst) ++ ")"
printFlagList :: [Flag] -> String
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment