From ca818d423cab867802efb430a4a40c7fce070689 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Thu, 2 Apr 2009 15:31:50 +0000
Subject: [PATCH] Made the munging of the names include the file name, to help
 with separate compilation

This will allow (along with a few patches in a minute) different occam files to declare the same PROC, and have it resolved correctly based on the order of their declaration, just like if it was all in one file.
---
 data/CompState.hs       | 14 ++++++++++----
 frontends/ParseOccam.hs |  2 +-
 2 files changed, 11 insertions(+), 5 deletions(-)

diff --git a/data/CompState.hs b/data/CompState.hs
index 9248d59..927c87c 100644
--- a/data/CompState.hs
+++ b/data/CompState.hs
@@ -259,11 +259,17 @@ nameSource :: (CSMR m, Die m) => A.Name -> m A.NameSource
 nameSource n = lookupName n >>* A.ndNameSource
 
 -- | Make a name unique by appending a suffix to it.
-makeUniqueName :: CSM m => String -> m String
-makeUniqueName s
+makeUniqueName :: CSM m => Meta -> String -> m String
+makeUniqueName m s
     =  do st <- get
+          let mungedFile = munge $ fromMaybe "" (metaFile m)
           put $ st { csNameCounter = csNameCounter st + 1 }
-          return $ s ++ "_u" ++ show (csNameCounter st)
+          return $ s ++ "_" ++ mungedFile ++ "_u" ++ show (csNameCounter st)
+  where
+    munge cs = [if c `elem` (['A'..'Z'] ++ ['a'..'z'] ++ ['0'..'9'])
+                  then c
+                  else '_'
+               | c <- cs]
 
 -- | Find an unscoped name -- or define a new one if it doesn't already exist.
 findUnscopedName :: CSM m => A.Name -> m A.Name
@@ -272,7 +278,7 @@ findUnscopedName n@(A.Name m s)
           case Map.lookup s (csUnscopedNames st) of
             Just s' -> return $ A.Name m s'
             Nothing ->
-              do s' <- makeUniqueName s
+              do s' <- makeUniqueName m s
                  modify (\st -> st { csUnscopedNames = Map.insert s s' (csUnscopedNames st) })
                  let n = A.Name m s'
                  let nd = A.NameDef { A.ndMeta = m
diff --git a/frontends/ParseOccam.hs b/frontends/ParseOccam.hs
index 32372b5..168454e 100644
--- a/frontends/ParseOccam.hs
+++ b/frontends/ParseOccam.hs
@@ -403,7 +403,7 @@ findName thisN thisNT
 
 scopeIn :: A.Name -> NameType -> A.SpecType -> A.AbbrevMode -> OccParser A.Name
 scopeIn n@(A.Name m s) nt specType am
-    =  do s' <- makeUniqueName s
+    =  do s' <- makeUniqueName m s
           let n' = n { A.nameName = s' }
           let nd = A.NameDef {
             A.ndMeta = m,