Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Strange type error after "inlining" a val

I'm observing a very strange type error with shapeless.everywhere. Consider the following ammonite script which loads fine with load.module:

load.ivy("com.chuusai" %% "shapeless" % "2.3.0")

@

import shapeless._
import poly._

final case class Person(name: Person.Name, age: Person.Age)

object Person {
  final case class Name(value: String) extends AnyVal
  final case class Age(value: Int) extends AnyVal
}

def happyBirthday(person: Person, howManyYearsPast: Int): Person = {
  object incAge extends ->((age: Int) => age + howManyYearsPast)
  // THE MAGIC VAL
  val oldPerson = everywhere(incAge)(person)
  oldPerson
}

val john = Person(Person.Name("John Doe"), Person.Age(42))

val oldJohn = happyBirthday(john, 30)

Now if I try to “inline” the MAGIC VAL in this script, i.e. replace the val with just everywhere(incAge)(person), I get the following type error out of nowhere:

Main.scala:50: type mismatch;
 found   : person.type (with underlying type cachef6f1545a8d4dc31cb54d9957675f0559.Person)
 required: shapeless.poly.Case[_1.type,shapeless.HNil]{type Result = ?} where val _1: shapeless.EverywhereAux[incAge.type]
  everywhere(incAge)(person)

WAT?

I guess there's scalac's black magic implicit resolution to blame, but can't me no sense of what's going on here. It'd be great (and definitely somewhat enlightening to me) if someone could unravel this mystery to me.

Thanks

like image 855
lunaryorn Avatar asked Apr 19 '16 17:04

lunaryorn


1 Answers

I don't know the real reason for this issue, but it is caused by the expected type influencing implicit search and type inference. You can make the non-inlined version not compile by providing an expected type:

def happyBirthday(person: Person, howManyYearsPast: Int): Person = {
  object incAge extends ->((age: Int) => age + howManyYearsPast)
  val oldPerson: Person = everywhere(incAge)(person)
  oldPerson
}

This fails with the exact same error.

On the other hand, you can make the inlined version compile by removing the expected type (aka return type) from the function:

def happyBirthday(person: Person, howManyYearsPast: Int) = {
  object incAge extends ->((age: Int) => age + howManyYearsPast)
  everywhere(incAge)(person)
}

I'm pretty sure one could consider this a "bug", however, type inference is unspecified, so it's going to take a while to figure out what exactly should happen.

like image 161
larsrh Avatar answered Sep 27 '22 20:09

larsrh