More tests

Author: odersky

tests/neg/BigFloat/BigFloat_1.scala

@@ -0,0 +1,66 @@
+import scala.util.FromDigits
+import scala.quoted._
+import scala.quoted.matching._
+
+case class BigFloat(mantissa: BigInt, exponent: Int) {
+  override def toString = s"${mantissa}e${exponent}"
+}
+
+object BigFloat extends App {
+  def apply(digits: String): BigFloat = {
+    val (mantissaDigits, givenExponent) = digits.toUpperCase.split('E') match {
+      case Array(mantissaDigits, edigits) =>
+        val expo =
+          try FromDigits.intFromDigits(edigits)
+          catch {
+            case ex: FromDigits.NumberTooLarge =>
+              throw FromDigits.NumberTooLarge(s"exponent too large: $edigits")
+          }
+        (mantissaDigits, expo)
+      case Array(mantissaDigits) =>
+        (mantissaDigits, 0)
+    }
+    val (intPart, exponent) = mantissaDigits.split('.') match {
+      case Array(intPart, decimalPart) =>
+        (intPart ++ decimalPart, givenExponent - decimalPart.length)
+      case Array(intPart) =>
+        (intPart, givenExponent)
+    }
+    BigFloat(BigInt(intPart), exponent)
+  }
+
+  private def fromDigitsImpl(digits: Expr[String]) given (ctx: QuoteContext): Expr[BigFloat] =
+    digits match {
+      case Const(ds) =>
+        try {
+          val BigFloat(m, e) = apply(ds)
+          '{BigFloat(${m.toExpr}, ${e.toExpr})}
+        }
+        catch {
+          case ex: FromDigits.FromDigitsException =>
+            ctx.error(ex.getMessage)
+            '{BigFloat(0, 0)}
+        }
+      case digits =>
+        '{apply($digits)}
+    }
+
+  class BigFloatFromDigits extends FromDigits.Floating[BigFloat] {
+    def fromDigits(digits: String) = apply(digits)
+  }
+
+  given as BigFloatFromDigits {
+    override inline def fromDigits(digits: String) = ${
+      fromDigitsImpl('digits)
+    }
+  }
+}
+
+// Should be in StdLib:
+
+given as Liftable[BigInt] {
+  def toExpr(x: BigInt) given (qctx: QuoteContext): Expr[BigInt] =
+    '{BigInt(${x.toString.toExpr})}
+}
+
+

tests/neg/BigFloat/Test_2.scala

@@ -0,0 +1,4 @@
+import scala.util.FromDigits
+object Test extends App {
+  val x: BigFloat = 1234.45e3333333333  // error: exponent too large
+}

tests/run/BigFloat/BigFloat_1.scala

@@ -0,0 +1,66 @@
+import scala.util.FromDigits
+import scala.quoted._
+import scala.quoted.matching._
+
+case class BigFloat(mantissa: BigInt, exponent: Int) {
+  override def toString = s"${mantissa}e${exponent}"
+}
+
+object BigFloat extends App {
+  def apply(digits: String): BigFloat = {
+    val (mantissaDigits, givenExponent) = digits.toUpperCase.split('E') match {
+      case Array(mantissaDigits, edigits) =>
+        val expo =
+          try FromDigits.intFromDigits(edigits)
+          catch {
+            case ex: FromDigits.NumberTooLarge =>
+              throw FromDigits.NumberTooLarge(s"exponent too large: $edigits")
+          }
+        (mantissaDigits, expo)
+      case Array(mantissaDigits) =>
+        (mantissaDigits, 0)
+    }
+    val (intPart, exponent) = mantissaDigits.split('.') match {
+      case Array(intPart, decimalPart) =>
+        (intPart ++ decimalPart, givenExponent - decimalPart.length)
+      case Array(intPart) =>
+        (intPart, givenExponent)
+    }
+    BigFloat(BigInt(intPart), exponent)
+  }
+
+  private def fromDigitsImpl(digits: Expr[String]) given (ctx: QuoteContext): Expr[BigFloat] =
+    digits match {
+      case Const(ds) =>
+        try {
+          val BigFloat(m, e) = apply(ds)
+          '{BigFloat(${m.toExpr}, ${e.toExpr})}
+        }
+        catch {
+          case ex: FromDigits.FromDigitsException =>
+            ctx.error(ex.getMessage)
+            '{BigFloat(0, 0)}
+        }
+      case digits =>
+        '{apply($digits)}
+    }
+
+  class BigFloatFromDigits extends FromDigits.Floating[BigFloat] {
+    def fromDigits(digits: String) = apply(digits)
+  }
+
+  given as BigFloatFromDigits {
+    override inline def fromDigits(digits: String) = ${
+      fromDigitsImpl('digits)
+    }
+  }
+}
+
+// Should be in StdLib:
+
+given as Liftable[BigInt] {
+  def toExpr(x: BigInt) given (qctx: QuoteContext): Expr[BigInt] =
+    '{BigInt(${x.toString.toExpr})}
+}
+
+

tests/run/BigFloat/Test_2.scala

@@ -0,0 +1,18 @@
+import scala.util.FromDigits
+object Test extends App {
+
+
+  println(BigFloat("1234.45"))
+  println(BigFloat("1234.45" ++ "678"))
+  println(BigFloat("1234.45e3"))
+  try println(BigFloat("1234.45e3333333333"))
+  catch {
+    case ex: FromDigits.FromDigitsException => println("too large")
+  }
+
+  def check(x: BigFloat, digits: String) =
+    assert(x == BigFloat(digits), x)
+
+  check(1234.45, "1234.45")
+  check(1234.45e3, "1234.45e3")
+}

tests/run/genericNumLits.scala

@@ -30,7 +30,7 @@ object Test extends App {
   val N = 10
 
   x match {
-    case 13232202002020202020202 => ()
+    case 13_232_202_002_020_202_020_202 => ()
   }
   (x: Any) match {
     case 13232202002020202020202: BigInt => ()
@@ -43,7 +43,7 @@ object Test extends App {
     case 132322020020.223 => ()
   }
   (z: Any) match {
-    case 132322020020.223: BigDecimal => ()
+    case 132_322_020_020.223: BigDecimal => ()
   }
 
   e match {