change arguments to have coherent names

lemastero · May 5, 2024 · f1e086c · f1e086c
1 parent c868641
commit f1e086c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/examples/adts.agda b/examples/adts.agda
@@ -37,11 +37,11 @@ idRgb theArg = theArg
 -- const function with one named argument
 
 rgbConstTrue1 : (rgb : Rgb) → Bool
-rgbConstTrue1 foo = True
+rgbConstTrue1 rgb = True -- TODO produce function body
 {-# COMPILE AGDA2SCALA rgbConstTrue1 #-}
 
 -- function with multiple named arguments
 
 and0 : (rgbPairArg : RgbPair) -> (rgbArg : Rgb) -> Bool
-and0 a b = False
+and0 rgbPairArg rgbArg = False
 {-# COMPILE AGDA2SCALA and0 #-}
diff --git a/examples/adts.scala b/examples/adts.scala
@@ -13,7 +13,7 @@ final case class RgbPair(snd: Bool, fst: Rgb)
 
 def idRgb(theArg: Rgb): Rgb = theArg
 
-def rgbConstTrue1(rgb: Rgb): Bool = foo
+def rgbConstTrue1(rgb: Rgb): Bool = rgb
 
-def and0(rgbArg: Rgb, rgbPairArg: RgbPair): Bool = a
+def and0(rgbArg: Rgb, rgbPairArg: RgbPair): Bool = rgbPairArg
 }