generator only adds key to exercise if it was not already there

Author: oxe-i

generators/GenerateTestFile.lean

@@ -272,7 +272,9 @@ end {pascalExercise}Generator
 "
   let path := s!"./Generator/Generator/{pascalExercise}Generator.lean"
   IO.FS.writeFile path (stripWhiteSpace content ++ "\n")
-  addImport pascalExercise
+  match Generator.dispatch.get? pascalExercise with
+  | none => addImport pascalExercise
+  | some _ => return
 
 def main (args : List String) : IO Unit := do
   match args with

generators/Generator/Generator.lean

@@ -1,5 +1,4 @@
 import Generator.PrimeFactorsGenerator
-import Generator.PrimeFactorsGenerator
 import Generator.AllYourBaseGenerator
 import Generator.SayGenerator
 import Generator.BinarySearchGenerator
@@ -23,7 +22,6 @@ abbrev extraCasesList := List String
 
 def dispatch : Std.HashMap String (introGenerator × testCaseGenerator × endBodyGenerator) :=
   Std.HashMap.ofList [
-    ("PrimeFactors", (PrimeFactorsGenerator.genIntro, PrimeFactorsGenerator.genTestCase, PrimeFactorsGenerator.genEnd)),
     ("PrimeFactors", (PrimeFactorsGenerator.genIntro, PrimeFactorsGenerator.genTestCase, PrimeFactorsGenerator.genEnd)),
     ("AllYourBase", (AllYourBaseGenerator.genIntro, AllYourBaseGenerator.genTestCase, AllYourBaseGenerator.genEnd)),
     ("Say", (SayGenerator.genIntro, SayGenerator.genTestCase, SayGenerator.genEnd)),