From 98d37bcb645ac7f86f7829fd67ad43b48ece078f Mon Sep 17 00:00:00 2001 From: Eugene Burmako Date: Mon, 9 Sep 2013 08:49:11 +0200 Subject: [PATCH] fixes a typo in an implicit macro guide --- overviews/macros/implicits.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/overviews/macros/implicits.md b/overviews/macros/implicits.md index e727bdb075..d67e21913f 100644 --- a/overviews/macros/implicits.md +++ b/overviews/macros/implicits.md @@ -119,7 +119,7 @@ which represents isomorphisms between types. `Iso` can be used to map cases clas tp == (23, "foo", true) If we try to write an implicit materializer for `Iso`, we will run into a wall. -When typechecking applications of methods like `foo`, scalac has to infer the type argument `L`, +When typechecking applications of methods like `conv`, scalac has to infer the type argument `L`, which it has no clue about (and that's no wonder, since this is domain-specific knowledge). As a result, when we define an implicit macro, which synthesizes `Iso[C, L]`, scalac will helpfully infer `L` as `Nothing` before expanding the macro and then everything will crumble.