From 291950a92b05f41269e47a8441d1a9914de76104 Mon Sep 17 00:00:00 2001 From: Roberto Bonvallet Date: Sun, 6 May 2018 14:59:16 -0300 Subject: [PATCH] Add missing colons --- docs/docs/reference/principled-meta-programming.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/docs/reference/principled-meta-programming.md b/docs/docs/reference/principled-meta-programming.md index 84abc9a234a9..a222153dbc54 100644 --- a/docs/docs/reference/principled-meta-programming.md +++ b/docs/docs/reference/principled-meta-programming.md @@ -177,12 +177,12 @@ To avoid clutter, the Scala implementation tries to convert any phase-incorrect reference to a type `T` to a type-splice, by rewriting `T` to `~implicitly[Type[T]]`. For instance, the user-level definition of `reflect`: - def reflect[T: Type, U](f: Expr[T] => Expr[U]) Expr[T => U] = + def reflect[T: Type, U](f: Expr[T] => Expr[U]): Expr[T => U] = ’{ (x: T) => ~f(’(x)) } would be rewritten to - def reflect[T: Type, U](f: Expr[T] => Expr[U]) Expr[T => U] = + def reflect[T: Type, U](f: Expr[T] => Expr[U]): Expr[T => U] = ’{ (x: ~implicitly[Type[T]]) => ~f(’(x)) } The `implicitly` query succeeds because there is an implicit value of