GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-28 08:34:23 +03:00
Code Issues Projects Releases Wiki Activity

Silence a warning around the ipVal in TH-generated semantics code

Browse Source 
Most instructions don't reference this variable, but it is in the signature of
every semantics function, leading to many unused variable warnings.  This commit
adds an underscore prefix to the variable name to silence the warning.
This commit is contained in:
Tristan Ravitch 2018-07-26 22:07:15 -07:00
parent e1c04f1b5a
commit feb2521a0b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
macaw-semmc/src/Data/Macaw/SemMC/TH.hs
View File

@ -105,7 +105,7 @@ instructionMatcher :: (OrdF a, LF.LiftF a, A.Architecture arch)
-> (Q Type, Q Type) -> (Q Type, Q Type)
-> Q (Exp, [Dec]) -> Q (Exp, [Dec])
instructionMatcher ltr ena ae lib archSpecificMatcher formulas operandResultType = do instructionMatcher ltr ena ae lib archSpecificMatcher formulas operandResultType = do
ipVarName <- newName "ipVal" ipVarName <- newName "_ipVal"
opcodeVar <- newName "opcode" opcodeVar <- newName "opcode"
operandListVar <- newName "operands" operandListVar <- newName "operands"
(libDefs, df) <- libraryDefinitions ltr ena ae (snd operandResultType) lib (libDefs, df) <- libraryDefinitions ltr ena ae (snd operandResultType) lib