Regression tests for quoted patterns for NaN and floating point zeros

prolativ · prolativ · commit 1f7160c95cd7 · 2021-07-13T16:31:16.000+02:00
diff --git a/tests/neg-macros/i13033/Macro_1.scala b/tests/neg-macros/i13033/Macro_1.scala
@@ -0,0 +1,12 @@
+import scala.quoted.*
+
+object Macro:
+  def positiveImpl(using Quotes): Expr[Any] =
+    '{ 0.0 }  match
+      case '{ -0.0 } => '{1}
+  inline def positive: Any = ${positiveImpl}
+
+  def negativeImpl(using Quotes): Expr[Any] =
+    '{ -0.0 }  match
+      case '{ 0.0 } => '{-1}
+  inline def negative: Any = ${negativeImpl}
diff --git a/tests/neg-macros/i13033/Test_2.scala b/tests/neg-macros/i13033/Test_2.scala
@@ -0,0 +1,3 @@
+@main def test(): Unit =
+  println(Macro.positive) // error
+  println(Macro.negative) // error
diff --git a/tests/run-macros/i13033.check b/tests/run-macros/i13033.check
@@ -0,0 +1,3 @@
+0
+1
+-1
diff --git a/tests/run-macros/i13033/Macro_1.scala b/tests/run-macros/i13033/Macro_1.scala
@@ -0,0 +1,17 @@
+import scala.quoted.*
+
+object Macro:
+  def nanImpl(using Quotes): Expr[Any] =
+    '{ Double.NaN } match
+      case '{ Double.NaN } => '{0}
+  inline def nan: Any = ${nanImpl}
+
+  def positiveImpl(using Quotes): Expr[Any] =
+    '{ 0.0 }  match
+      case '{ 0.0 } => '{1}
+  inline def positive: Any = ${positiveImpl}
+
+  def negativeImpl(using Quotes): Expr[Any] =
+    '{ -0.0 }  match
+      case '{ -0.0 } => '{-1}
+  inline def negative: Any = ${negativeImpl}
diff --git a/tests/run-macros/i13033/Test_2.scala b/tests/run-macros/i13033/Test_2.scala
@@ -0,0 +1,4 @@
+@main def Test(): Unit =
+  println(Macro.nan)
+  println(Macro.positive)
+  println(Macro.negative)

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+@main def test(): Unit =`
	`2`	`+ println(Macro.positive) // error`
	`3`	`+ println(Macro.negative) // error`