wip

Author: biboudis

docs/docs/reference/metaprogramming/macros.md

@@ -446,7 +446,7 @@ as follows:
    of splices minus the number of quotes between use and definition
    is either 0 or 1.
 
-### Limitations to Splicing
+### Scope Extrusion
 
 Quotes and splices are duals as far as the PCP is concerned. But there is an additional
 restriction that needs to be imposed on splices to guarantee soundness:
@@ -566,4 +566,6 @@ Here’s an application of `map` and how it rewrites to optimized code:
 ### Relationship with Whitebox Inline
 
 `inline def charOrString(inline str: String) <: Any = ${ impl(str) }`
-https://github.com/lampepfl/dotty/pull/5846/files (more tests needed)
+https://github.com/lampepfl/dotty/pull/5846/files (more tests needed)
+
+[More details]

docs/docs/reference/metaprogramming/tasty-reflect.md

@@ -91,6 +91,30 @@ def macroImpl(param: Expr[Boolean])(implicit refl: Reflection): Expr[Unit] = {
 
 TODO
 
+### Positions
+
+The tasty context provides a `rootPosition` value. For macros it corresponds to
+the expansion site. The macro authors can obtain various information about that
+expansion site. The example below shows how we can obtain position information
+such as the start line, the end line or even the source code at the expansion
+point.
+
+```scala
+def macroImpl()(reflect: Reflection): Expr[Unit] = {
+  import reflect.{Position => _, _}
+  val pos = rootPosition
+
+  val path = pos.sourceFile.jpath.toString
+  val start = pos.start
+  val end = pos.end
+  val startLine = pos.startLine
+  val endLine = pos.endLine
+  val startColumn = pos.startColumn
+  val endColumn = pos.endColumn
+  val sourceCode = pos.sourceCode
+  ...
+```
+
 ### Tree Utilities
 
 `scala.tasty.reflect.TreeUtils` contains three facilities for tree traversal and