add a helper summon inline method

DFiantHDL · Jan 10, 2025 · c36b913 · c36b913
1 parent c55e5c5
commit c36b913
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/internals/src/main/scala/dfhdl/internals/helpers.scala b/internals/src/main/scala/dfhdl/internals/helpers.scala
@@ -117,6 +117,14 @@ object Error:
     '{ compiletime.error(${ Expr(msg) }) }
 end Error
 
+transparent inline def summonInlineWithError[T]: T = ${ summonInlineWithErrorMacro[T] }
+private def summonInlineWithErrorMacro[T: Type](using Quotes): Expr[T] =
+  import quotes.reflect.*
+  Implicits.search(TypeRepr.of[T]) match
+    case iss: ImplicitSearchSuccess => iss.tree.asExprOf[T]
+    case isf: NoMatchingImplicits   => report.errorAndAbort(isf.explanation)
+    case isf: ImplicitSearchFailure => '{ compiletime.error(${ Expr(isf.explanation) }) }
+
 extension (using quotes: Quotes)(partsExprs: Seq[Expr[Any]])
   def scPartsWithArgs(argsExprs: Seq[Expr[Any]]): quotes.reflect.Term =
     import quotes.reflect.*