X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fc%CE%BBash.git;a=blobdiff_plain;f=c%CE%BBash%2FCLasH%2FUtils%2FCore%2FBinderTools.hs;h=cd0167517236bc090357cde3ad46bfbb0927b7fe;hp=8d0751b5469b623137b25ecbb300826f67b42723;hb=111df719ec0e7f6af954a0638d42f85abfbef3ee;hpb=3a45d10632fc6041c6a6790a3c4b03b3f9536dad

diff --git "a/c\316\273ash/CLasH/Utils/Core/BinderTools.hs" "b/c\316\273ash/CLasH/Utils/Core/BinderTools.hs"
index 8d0751b..cd01675 100644
--- "a/c\316\273ash/CLasH/Utils/Core/BinderTools.hs"
+++ "b/c\316\273ash/CLasH/Utils/Core/BinderTools.hs"
@@ -13,6 +13,7 @@ import qualified UniqSupply
 import qualified Unique
 import qualified OccName
 import qualified Name
+import qualified Module
 import qualified Var
 import qualified SrcLoc
 import qualified IdInfo
@@ -81,3 +82,14 @@ mkFunction bndr body = do
   let newid = Var.setVarType id ty
   addGlobalBind newid body
   return newid
+
+-- Returns the full name of a NamedThing, in the forum
+-- modulename.occname
+getFullString :: Name.NamedThing a => a -> String
+getFullString thing = modstr ++ occstr
+  where
+    name    = Name.getName thing
+    modstr  = case Name.nameModule_maybe name of
+      Nothing -> ""
+      Just mod -> Module.moduleNameString (Module.moduleName mod) ++ "."
+    occstr  = Name.getOccString name