diff options
author | Martin Odersky <odersky@gmail.com> | 2014-07-20 17:54:16 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-07-20 17:54:16 +0200 |
commit | 65658a4d0c3250d0d27f7af51632b2356f829464 (patch) | |
tree | e16ca98ffb7f72fa5a8fb834d978200d413f2e28 /tests | |
parent | 9e1759f34dcfa90f688ef560c90f209dcb9b1374 (diff) | |
download | dotty-65658a4d0c3250d0d27f7af51632b2356f829464.tar.gz dotty-65658a4d0c3250d0d27f7af51632b2356f829464.tar.bz2 dotty-65658a4d0c3250d0d27f7af51632b2356f829464.zip |
fix/148
Fixed typo in Splitter. Closes #148.
Diffstat (limited to 'tests')
-rw-r--r-- | tests/neg/zoo.scala | 44 | ||||
-rw-r--r-- | tests/pos/zoo.scala | 44 |
2 files changed, 88 insertions, 0 deletions
diff --git a/tests/neg/zoo.scala b/tests/neg/zoo.scala new file mode 100644 index 000000000..6a3e4ca0b --- /dev/null +++ b/tests/neg/zoo.scala @@ -0,0 +1,44 @@ +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) // structural select not supported +} diff --git a/tests/pos/zoo.scala b/tests/pos/zoo.scala new file mode 100644 index 000000000..08f7eba63 --- /dev/null +++ b/tests/pos/zoo.scala @@ -0,0 +1,44 @@ +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) // structural select not supported +} |