Update modNameChunksText to match modNameToText behavior

GaloisInc · Jan 23, 2025 · 02f5f91 · 02f5f91
1 parent 9e50047
commit 02f5f91
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/Cryptol/Utils/Ident.hs b/src/Cryptol/Utils/Ident.hs
@@ -226,8 +226,7 @@ modNameChunksText (ModName x fl) = unfoldr step x
         (a,b)
           | T.null b  -> Just (maybeAnonText fl str, b)
           | otherwise -> Just (a,T.drop (T.length modSep) b)
-modNameChunksText (ModMain _) = panic "modNameChunksText"
-  ["Cannot get chunks of main module name"]
+modNameChunksText (ModMain _) =  ["Main"]
 
 -- | Break up a module name on the separators, `String` version
 modNameChunks :: ModName -> [String]