Update example

julianmendez · Mar 16, 2024 · df5a527 · df5a527
1 parent 9702e47
commit df5a527
Show file tree

Hide file tree

Showing 4 changed files with 16 additions and 16 deletions.
diff --git a/examples/src/main/scala/soda/example/mathematics/FiboExample.soda b/examples/src/main/scala/soda/example/mathematics/FiboExample.soda
@@ -23,10 +23,10 @@ class FiboExampleInSoda
   _plus (a : NonNegative) (b : NonNegative) : NonNegative =
     NonNegative .mk (a .v + b .v)
 
- _monus1 (a : NonNegative) : NonNegative =
-   if a .v > 0
-   then NonNegative .mk (a .v - 1)
-   else a
+  _monus1 (a : NonNegative) : NonNegative =
+    if a .v > 0
+    then NonNegative .mk (a .v - 1)
+    else a
 
   _rec (m : NonNegative) (a : NonNegative) (b : NonNegative) : NonNegative =
     if m .v == 0 then a

diff --git a/examples/src/main/scala/soda/example/mathematics/Package.scala b/examples/src/main/scala/soda/example/mathematics/Package.scala
@@ -212,10 +212,10 @@ trait FiboExampleInSoda
   private def _plus (a : NonNegative) (b : NonNegative) : NonNegative =
     NonNegative .mk (a .v + b .v)
 
- private def _monus1 (a : NonNegative) : NonNegative =
-   if ( a .v > 0
-   ) NonNegative .mk (a .v - 1)
-   else a
+  private def _monus1 (a : NonNegative) : NonNegative =
+    if ( a .v > 0
+    ) NonNegative .mk (a .v - 1)
+    else a
 
   private def _rec (m : NonNegative) (a : NonNegative) (b : NonNegative) : NonNegative =
     if ( m .v == 0 ) a

diff --git a/translator/src/test/resources/soda/translator/example/mathematics/FiboExample.scala b/translator/src/test/resources/soda/translator/example/mathematics/FiboExample.scala
@@ -30,10 +30,10 @@ trait FiboExampleInSoda
   private def _plus (a : NonNegative) (b : NonNegative) : NonNegative =
     NonNegative .mk (a .v + b .v)
 
- private def _monus1 (a : NonNegative) : NonNegative =
-   if ( a .v > 0
-   ) NonNegative .mk (a .v - 1)
-   else a
+  private def _monus1 (a : NonNegative) : NonNegative =
+    if ( a .v > 0
+    ) NonNegative .mk (a .v - 1)
+    else a
 
   private def _rec (m : NonNegative) (a : NonNegative) (b : NonNegative) : NonNegative =
     if ( m .v == 0 ) a

diff --git a/translator/src/test/resources/soda/translator/example/mathematics/FiboExample.soda b/translator/src/test/resources/soda/translator/example/mathematics/FiboExample.soda
@@ -23,10 +23,10 @@ class FiboExampleInSoda
   _plus (a : NonNegative) (b : NonNegative) : NonNegative =
     NonNegative .mk (a .v + b .v)
 
- _monus1 (a : NonNegative) : NonNegative =
-   if a .v > 0
-   then NonNegative .mk (a .v - 1)
-   else a
+  _monus1 (a : NonNegative) : NonNegative =
+    if a .v > 0
+    then NonNegative .mk (a .v - 1)
+    else a
 
   _rec (m : NonNegative) (a : NonNegative) (b : NonNegative) : NonNegative =
     if m .v == 0 then a