From 63ac5f1bd6eb687eb9763e84cac1d2a54bef0c88 Mon Sep 17 00:00:00 2001
From: Thomas Koehler <thomas.koehler@thok.eu>
Date: Mon, 3 Feb 2025 17:20:39 +0100
Subject: [PATCH 1/2] avoid using 'sun.reflect.generics.'
---
src/main/scala/arithexpr/arithmetic/Sign.scala | 8 +++-----
1 file changed, 3 insertions(+), 5 deletions(-)
diff --git a/src/main/scala/arithexpr/arithmetic/Sign.scala b/src/main/scala/arithexpr/arithmetic/Sign.scala
index 4966247..24206fa 100644
--- a/src/main/scala/arithexpr/arithmetic/Sign.scala
+++ b/src/main/scala/arithexpr/arithmetic/Sign.scala
@@ -1,8 +1,6 @@
package arithexpr
package arithmetic
-import sun.reflect.generics.reflectiveObjects.NotImplementedException
-
object Sign extends Enumeration {
type Sign = Value
val Positive, Negative, Unknown = Value
@@ -41,7 +39,7 @@ object Sign extends Enumeration {
case LShift(a, b) => Sign.Unknown
}
}
-
+
// 0 ≤ ⌈x⌉ iff -1 < x
private def signCeil(e: ArithExpr): Sign = {
ArithExpr.isSmaller(Cst(-1), e) match {
@@ -114,8 +112,8 @@ object Sign extends Enumeration {
case Sign.Negative => Sign.Negative
case Sign.Unknown => Sign.Unknown
}
- case Sign.Negative => throw new NotImplementedException
- case Sign.Unknown => throw new NotImplementedException
+ case Sign.Negative => throw new NotImplementedError()
+ case Sign.Unknown => throw new NotImplementedError()
}
}
From ec75f6dc35513abf881e84a3d3f5fe08b38288fe Mon Sep 17 00:00:00 2001
From: Thomas Koehler <thomas.koehler@thok.eu>
Date: Mon, 10 Mar 2025 14:51:36 +0100
Subject: [PATCH 2/2] also update to Scala 2.13.16
---
build.sbt | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build.sbt b/build.sbt
index 12adba8..e7c6479 100644
--- a/build.sbt
+++ b/build.sbt
@@ -2,7 +2,7 @@ lazy val arithExpr = (project in file("."))
.settings(
name := "ArithExpr",
version := "1.0",
- scalaVersion := "2.13.3",
+ scalaVersion := "2.13.16",
organization := "org.rise-lang",
scalacOptions ++= Seq("-unchecked", "-deprecation", "-feature"),