Update Recursion library

julianmendez · Apr 27, 2024 · 3097288 · 3097288
1 parent ed63e27
commit 3097288
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 0 deletions.
diff --git a/translator/src/main/resources/lib/soda/lib/Package.scala b/translator/src/main/resources/lib/soda/lib/Package.scala
@@ -285,6 +285,7 @@ object OptionSDBuilder {
  */
 
 object Succ_ {
+  def apply (n : Int) : Int = n + 1
   def unapply (n : Int) : Option [Int] =
     if (n <= 0) None else Some (n - 1)
 }

diff --git a/translator/src/main/resources/lib/soda/lib/Recursion.soda b/translator/src/main/resources/lib/soda/lib/Recursion.soda
@@ -4,6 +4,7 @@
 
 directive scala
 object Succ_ {
+  def apply (n : Int) : Int = n + 1
   def unapply (n : Int) : Option [Int] =
     if (n <= 0) None else Some (n - 1)
 }

diff --git a/translator/src/main/scala/soda/lib/Package.scala b/translator/src/main/scala/soda/lib/Package.scala
@@ -281,6 +281,7 @@ object OptionSDBuilder {
  */
 
 object Succ_ {
+  def apply (n : Int) : Int = n + 1
   def unapply (n : Int) : Option [Int] =
     if (n <= 0) None else Some (n - 1)
 }

diff --git a/translator/src/main/scala/soda/lib/Recursion.soda b/translator/src/main/scala/soda/lib/Recursion.soda
@@ -4,6 +4,7 @@
 
 directive scala
 object Succ_ {
+  def apply (n : Int) : Int = n + 1
   def unapply (n : Int) : Option [Int] =
     if (n <= 0) None else Some (n - 1)
 }