From 98d871d5ddd9dcb53d3b23f309a9a04b930401c9 Mon Sep 17 00:00:00 2001 From: Jan Mas Rovira Date: Tue, 3 Dec 2024 13:45:41 +0100 Subject: [PATCH] remove commented out test --- src/Juvix/Compiler/Pipeline/Loader/PathResolver/Error.hs | 3 ++- test/Resolver/Negative.hs | 7 ------- 2 files changed, 2 insertions(+), 8 deletions(-) diff --git a/src/Juvix/Compiler/Pipeline/Loader/PathResolver/Error.hs b/src/Juvix/Compiler/Pipeline/Loader/PathResolver/Error.hs index 63e52316d9..01279829eb 100644 --- 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 index 4763cbc194..93f7b3a1be 100644 --- 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 ]