Rename Quotable -> Liftable

Author: odersky

library/src/scala/quoted/Expr.scala

@@ -6,6 +6,6 @@ class Expr[T] extends Quoted {
 }
 
 object Expr {
-  implicit def toExpr[T](x: T)(implicit ev: Quotable[T]): Expr[T] =
+  implicit def toExpr[T](x: T)(implicit ev: Liftable[T]): Expr[T] =
     ev.toExpr(x)
 }

library/src/scala/quoted/Quotable.scala renamed to library/src/scala/quoted/Liftable.scala

@@ -1,20 +1,18 @@
 package scala.quoted
-import scala.math
 
 /** A typeclass for types that can be turned to `quoted.Expr[T]`
  *  without going through an explicit `'(...)` operation.
  */
-abstract class Quotable[T] {
+abstract class Liftable[T] {
   implicit def toExpr(x: T): Expr[T]
 }
 
-/** Some base quotable types. To be completed with at least all types
+/** Some liftable base types. To be completed with at least all types
  *  that are valid Scala literals. The actual implementation of these
  *  typed could be in terms of `ast.tpd.Literal`; the test `quotable.scala`
  *  gives an alternative implementation using just the basic staging system.
  */
-object Quotable {
-
-  implicit def IntIsQuotable: Quotable[Int] = ???
-  implicit def BooleanIsQuotable: Quotable[Boolean] = ???
+object Liftable {
+  implicit def IntIsLiftable: Liftable[Int] = ???
+  implicit def BooleanIsLiftable: Liftable[Boolean] = ???
 }

tests/pos/quotable.scala renamed to tests/pos/liftable.scala

@@ -17,7 +17,7 @@ object Test {
       if (b) '(true) else '(false)
   }
 
-  implicit def ListIsQuotable[T: Type: Quotable]: Quotable[List[T]] = new {
+  implicit def ListIsQuotable[T: Quotable]: Quotable[List[T]] = new {
     def toExpr(xs: List[T]): Expr[List[T]] = xs match {
       case x :: xs1 => '{ ~implicitly[Quotable[T]].toExpr(x) :: ~toExpr(xs1) }
       case Nil => '(Nil: List[T])