fix use module name instead of first directory

lemastero · Dec 18, 2023 · 4db314b · 4db314b
1 parent 6079bf5
commit 4db314b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/Agda/Compiler/Rust/ToRustCompiler.hs b/src/Agda/Compiler/Rust/ToRustCompiler.hs
@@ -154,7 +154,7 @@ compileModule mName cdefs =
   <> defsSeparator
 
 moduleName :: TopLevelModuleName -> String
-moduleName n = prettyShow (Nel.head (moduleNameParts n))
+moduleName n = prettyShow (Nel.last (moduleNameParts n))
 
 moduleHeader :: String -> String
 moduleHeader mName = "mod" <> exprSeparator <> mName <> exprSeparator
diff --git a/test/hello.rs b/test/hello.rs
@@ -1,4 +1,4 @@
-mod test {
+mod hello {
 enum TheRgb {
   Red, Green, Blue
 }