GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-28 01:35:33 +03:00
Code Issues Projects Releases Wiki Activity

Use "df_" rather than "_df_" as prefix for defined functions

Browse Source 
The underscore squelches potentially useful warnings, since if a defined
function isn't being used, something is indeed wrong.
This commit is contained in:
Luke Maurer 2018-07-03 13:10:06 -07:00
parent 2a6686375f
commit 6477e710d4
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

@ -538,7 +538,7 @@ translateFunction :: forall arch t args ret .
-> FunctionFormula (Sym t) '(args, ret) -> FunctionFormula (Sym t) '(args, ret)
-> Q (Name, Dec, Dec) -> Q (Name, Dec, Dec)
translateFunction ltr ena ae archType ff = do translateFunction ltr ena ae archType ff = do
var <- newName ("_df_" ++ (ffName ff)) var <- newName ("df_" ++ (ffName ff))
argVars :: [Name] argVars :: [Name]
<- sequence $ FC.toListFC (\bv -> newName (bvarName bv)) (ffArgVars ff) <- sequence $ FC.toListFC (\bv -> newName (bvarName bv)) (ffArgVars ff)
let argVarMap :: Map.MapF (SI.BoundVar (Sym t)) (C.Const Name) let argVarMap :: Map.MapF (SI.BoundVar (Sym t)) (C.Const Name)