[ fix agda#338 ] Only filter out imports of current module, not other…

… modules with current module as prefix
jespercockx · Jul 11, 2024 · 3478a21 · 3478a21
1 parent 1dea964
commit 3478a21
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Agda2Hs/Compile/Imports.hs b/src/Agda2Hs/Compile/Imports.hs
@@ -25,7 +25,7 @@ type ImportDeclMap = Map (Hs.ModuleName (), Qualifier) ImportSpecMap
 
 compileImports :: String -> Imports -> TCM [Hs.ImportDecl ()]
 compileImports top is0 = do
-  let is = filter (not . (top `isPrefixOf`) . Hs.prettyPrint . importModule) is0
+  let is = filter (not . (top ==) . Hs.prettyPrint . importModule) is0
   checkClashingImports is
   let imps = Map.toList $ groupModules is
   return $ map (uncurry $ uncurry makeImportDecl) imps