uppercase enums cases to have more idiomatic Rust output

lemastero · Dec 17, 2023 · cd6e976 · cd6e976
1 parent 9ed1ef9
commit cd6e976
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/test/Hello.agda b/test/Hello.agda
@@ -2,7 +2,7 @@ module test.hello where
 
 -- simple record type
 data Rgb : Set where
-  red green blue : Rgb
+  Red Green Blue : Rgb
 {-# COMPILE AGDA2RUST Rgb #-}
 
 -- simple function

diff --git a/test/Hello.rs b/test/Hello.rs
@@ -1,6 +1,6 @@
-mod test.hello {
+mod test {
 enum Rgb {
-  red, green, blue
+  Red, Green, Blue
 }