dotty
dotty copied to clipboard
Liftable instances for Nullable types
Liftable.scala has a bunch of liftable instances for primitive types, including String (not shown below):
object Liftable {
implicit def BooleanIsLiftable: Liftable[Boolean] = new Liftable[Boolean] {
def toExpr(x: Boolean): Expr[Boolean] = liftedExpr(x)
}
implicit def ByteIsLiftable: Liftable[Byte] = new Liftable[Byte] {
def toExpr(x: Byte): Expr[Byte] = liftedExpr(x)
}
...
Do we need to provide an instance for nullable strings?
Reference: https://biboudis.github.io/papers/pcp-gpce18.pdf