remove commented out test

anoma · Dec 4, 2024 · 3076c8d · 3076c8d
1 parent 822b4fe
commit 3076c8d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 8 deletions.
diff --git a/src/Juvix/Compiler/Pipeline/Loader/PathResolver/Error.hs b/src/Juvix/Compiler/Pipeline/Loader/PathResolver/Error.hs
@@ -94,7 +94,8 @@ data PathResolverError
   = ErrDependencyConflict DependencyConflict
   | ErrMissingModule MissingModule
   | ErrPackageInvalidImport PackageInvalidImport
-  | ErrAmbiguousPackageId AmbiguousPackageId
+  | -- | This error is unused at the moment
+    ErrAmbiguousPackageId AmbiguousPackageId
   deriving stock (Show)
 
 instance ToGenericError PathResolverError where

diff --git a/test/Resolver/Negative.hs b/test/Resolver/Negative.hs
@@ -70,11 +70,4 @@ resolverErrorTests =
         ErrMissingModule
           MissingModule {} -> Nothing
         _ -> wrongError
-    -- negTest
-    --   "Depend on two packages with the same package id"
-    --   $(mkRelDir "AmbiguousPackageId")
-    --   $(mkRelFile "Main.juvix")
-    --   $ \case
-    --     ErrAmbiguousPackageId {} -> Nothing
-    --     _ -> wrongError
   ]