10000 Merge pull request #198 from xeno-by/master · zeide/scala.github.com@e8e6291 · GitHub
[go: up one dir, main page]

Skip to content

Commit e8e6291

Browse files
committed
Merge pull request scala#198 from xeno-by/master
oops forgot to link to an example
2 parents d7dfc1f + b808b3b commit e8e6291

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

overviews/macros/untypedmacros.md

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -51,7 +51,9 @@ The former will lead to a compile error, the latter, as in e.g. `List[_]`, will
5151

5252
Note that untyped macros enable extractor macros: [SI-5903](https://issues.scala-lang.org/browse/SI-5903). In 2.10.x, it is possible
5353
to declare `unapply` or `unapplySeq` as macros, but usability of such macros is extremely limited as described in the discussion
54-
of the linked JIRA issue. Untyped macros make the full power of textual abstraction available in pattern matching.
54+
of the linked JIRA issue. Untyped macros make the full power of textual abstraction available in pattern matching. The
55+
[test/files/run/macro-expand-unapply-c](https://github.com/scalamacros/kepler/tree/paradise/macros/test/files/run/macro-expand-unapply-c)
56+
unit test provides details on this matter.
5557

5658
If a macro has one or more untyped parameters, then when typing its expansions, the typechecker will do nothing to its arguments
5759
and will pass them to the macro untyped. Even if some of the parameters do have type annotations, they will currently be ignored. This

0 commit comments

Comments
 (0)
0