muDOT zoo example takes a long (infinite?) time to check

[namin]

zoo.scala is as follows:

object Test {
type Meat = {
  type IsMeat = Any
}
type Grass = {
  type IsGrass = Any
}
type Animal = {
  type Food
  def eats(food: Food): Unit
  def gets: Food
}
type Cow = {
  type IsMeat = Any
  type Food <: Grass
  def eats(food: Grass): Unit
  def gets: Grass
}
type Lion = {
  type Food = Meat
  def eats(food: Meat): Unit
  def gets: Meat
}
def newMeat: Meat = new {
  type IsMeat = Any
}
def newGrass: Grass = new {
  type IsGrass = Any
}
def newCow: Cow = new {
  type IsMeat = Any
  type Food = Grass
  def eats(food: Grass) = ()
  def gets = newGrass
}
def newLion: Lion = new {
  type Food = Meat
  def eats(food: Meat) = ()
  def gets = newMeat
}
val milka = newCow
val leo = newLion
leo.eats(milka)
}

scalac zoo.scala fails with:

zoo.scala:10: error: Parameter type in structural refinement may not
refer to a type member of that refinement
  def eats(food: Food): Unit

while dottyc zoo.scala just seems to hang.

[odersky]

It was a typo in the splitter phase. Will be fixed in a sec.

On Sun, Jul 20, 2014 at 4:42 PM, Nada Amin notifications@github.com wrote:

zoo.scala is as follows:

object Test {type Meat = {
type IsMeat = Any}type Grass = {
type IsGrass = Any}type Animal = {
type Food
def eats(food: Food): Unit
def gets: Food}type Cow = {
type IsMeat = Any
type Food <: Grass
def eats(food: Grass): Unit
def gets: Grass}type Lion = {
type Food = Meat
def eats(food: Meat): Unit
def gets: Meat}def newMeat: Meat = new {
type IsMeat = Any}def newGrass: Grass = new {
type IsGrass = Any}def newCow: Cow = new {
type IsMeat = Any
type Food = Grass
def eats(food: Grass) = ()
def gets = newGrass}def newLion: Lion = new {
type Food = Meat
def eats(food: Meat) = ()
def gets = newMeat}val milka = newCowval leo = newLionleo.eats(milka)}

scalac zoo.scala fails with:

zoo.scala:10: error: Parameter type in structural refinement may not
refer to a type member of that refinement
def eats(food: Food): Unit

while dottyc zoo.scala just seems to hang.

—
Reply to this email directly or view it on GitHub
#148.

Martin Odersky
EPFL