type 1 was checking for modules with duplicate identifiers, which is not an error

Author: polgreen

src/test/scala/ParserSpec.scala

@@ -211,18 +211,6 @@ class ParserSpec extends AnyFlatSpec {
     val instantiatedModules = UclidMain.instantiateModules(UclidMain.Config(), fileModules, lang.Identifier("main"))
     assert (instantiatedModules.size == 1)
   }
-  "test-type1.ucl" should "not parse successfully." in {
-    try {
-      val filename = "test/test-type1.ucl"
-      val fileModules = UclidMain.compile(ConfigCons.createConfig(filename), lang.Identifier("main"))
-      assert (fileModules.size == 1)
-    }
-    catch {
-      case p : Utils.ParserErrorList =>
-        assert (p.errors.size == 1)
-        assert (p.errors(0)._1.contains("Redeclaration of identifier 'test'."))
-    }
-  }
   "test-typechecker-0.ucl" should "not parse successfully." in {
     try {
       val fileModules = UclidMain.compile(ConfigCons.createConfig("test/test-typechecker-0.ucl"), lang.Identifier("main"))