From 6477e710d49ad17be5000b82f7ff4a2b00fd3445 Mon Sep 17 00:00:00 2001 From: Luke Maurer Date: Tue, 3 Jul 2018 13:10:06 -0700 Subject: [PATCH] Use "df_" rather than "_df_" as prefix for defined functions The underscore squelches potentially useful warnings, since if a defined function isn't being used, something is indeed wrong. --- macaw-semmc/src/Data/Macaw/SemMC/TH.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/macaw-semmc/src/Data/Macaw/SemMC/TH.hs b/macaw-semmc/src/Data/Macaw/SemMC/TH.hs index 38ab5bfc..10963a6b 100644 --- a/macaw-semmc/src/Data/Macaw/SemMC/TH.hs +++ b/macaw-semmc/src/Data/Macaw/SemMC/TH.hs @@ -538,7 +538,7 @@ translateFunction :: forall arch t args ret . -> FunctionFormula (Sym t) '(args, ret) -> Q (Name, Dec, Dec) translateFunction ltr ena ae archType ff = do - var <- newName ("_df_" ++ (ffName ff)) + var <- newName ("df_" ++ (ffName ff)) argVars :: [Name] <- sequence $ FC.toListFC (\bv -> newName (bvarName bv)) (ffArgVars ff) let argVarMap :: Map.MapF (SI.BoundVar (Sym t)) (C.Const Name)