Created a minimal example to show related problems

It shows that user generated names are not currently prevented from
shadowing previously declared variables, whether they were generated by
GOOL or previously declared by the user.

code/drasil-code/package.yaml

@@ -102,6 +102,7 @@ executables:
     - PatternTest
     - VectorTest
     - NameGenTest
+    - NameGenExample
     ghc-options:
     - -threaded
     - -O2

code/drasil-code/test/Main.hs

@@ -18,6 +18,7 @@ import PatternTest (patternTest)
 import FileTests (fileTests)
 import VectorTest (vectorTest)
 import NameGenTest (nameGenTest)
+import NameGenExample (nameGenExample)
 
 -- | Renders five GOOL tests (FileTests, HelloWorld, PatternTest, VectorTest, and NameGenTest)
 -- in Java, Python, C#, C++, and Swift.
@@ -60,8 +61,8 @@ classes unRepr unRepr' = zipWith
   (\p gs -> let (p',gs') = runState p gs
                 pd = unRepr p'
   in unRepr' $ package pd [makefile [] Program [] gs' pd])
-  [helloWorld, patternTest, fileTests, vectorTest, nameGenTest]
-  (map (unCI . (`evalState` initialState)) [helloWorld, patternTest, fileTests, vectorTest, nameGenTest])
+  [helloWorld, patternTest, fileTests, vectorTest, nameGenTest, nameGenExample]
+  (map (unCI . (`evalState` initialState)) [helloWorld, patternTest, fileTests, vectorTest, nameGenTest, nameGenExample])
 
 -- | Formats code to be rendered.
 makeCode :: [[FileData]] -> [[AuxData]] -> [(FilePath, Doc)]

code/drasil-code/test/NameGenExample.hs

@@ -0,0 +1,29 @@
+module NameGenExample (nameGenExample) where
+
+import Drasil.GOOL
+
+nameGenExample :: OOProg r => GSProgram r
+nameGenExample = prog "NameGenExample" "" [fileDoc $ buildModule "NameGenExample" [] [main, helper] []]
+
+helper :: OOProg r => SMethod r
+helper = function "helper" private void [param temp] $ body
+  [block [listDec 2 result],
+    listSlice result (valueOf temp) (Just (litInt 1)) (Just (litInt 3)) Nothing]
+  where
+    temp = var "temp" (listType int) local
+    result = var "result" (listType int) local
+
+main :: OOProg r => SMethod r
+main = mainFunction $ body
+  [block [listDecDef temp [litInt 1, litInt 2, litInt 3],
+    listDec 2 result],
+    listSlice result (valueOf temp) (Just (litInt 1)) (Just (litInt 3)) Nothing,
+    block [
+      comment "This shadows a generated name:",
+      listDecDef temp0 [litInt 1, litInt 2, litInt 3],
+      comment "This shadows a user-given name:",
+      listDec 2 result]]
+  where
+    temp = mainVar "temp" (listType int)
+    result = mainVar "result" (listType int)
+    temp0 = mainVar "temp0" (listType int)

code/hie.yaml

@@ -30,6 +30,9 @@ cradle:
     - path: "drasil-code/test/NameGenTest.hs"
       component: "drasil-code:exe:codegenTest"
 
+    - path: "drasil-code/test/NameGenExample.hs"
+      component: "drasil-code:exe:codegenTest"
+
     - path: "drasil-codeLang/lib"
       component: "drasil-codeLang:lib"