diff options
author | odersky <odersky@gmail.com> | 2017-04-09 17:04:57 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-09 17:04:57 +0200 |
commit | c82db74c97bec486f3da7cce3128b72711c8cbc3 (patch) | |
tree | 25d23bb6da4bef45a7b37b7f09fa17ee7a19b3c5 /tests | |
parent | b8bb34dd0ea68cfed09ed54604f659a787037d2d (diff) | |
parent | a321a982a6ebdaaa924a2538866959abe0b9eb18 (diff) | |
download | dotty-c82db74c97bec486f3da7cce3128b72711c8cbc3.tar.gz dotty-c82db74c97bec486f3da7cce3128b72711c8cbc3.tar.bz2 dotty-c82db74c97bec486f3da7cce3128b72711c8cbc3.zip |
Merge pull request #2205 from dotty-staging/fix-#2220
Fix #2220: Change handling of package objects and tweak hk type inference
Diffstat (limited to 'tests')
-rw-r--r-- | tests/pos/i2200/Hello.scala | 6 | ||||
-rw-r--r-- | tests/pos/i2200/package.scala | 4 |
2 files changed, 10 insertions, 0 deletions
diff --git a/tests/pos/i2200/Hello.scala b/tests/pos/i2200/Hello.scala new file mode 100644 index 000000000..47e8b2024 --- /dev/null +++ b/tests/pos/i2200/Hello.scala @@ -0,0 +1,6 @@ +package bar +import scala.language.higherKinds +class Fix[F[_]](unfix: F[Fix[F]]) +object DocTree { + def docTree(s: StreamTree[DocTree]): DocTree = new Fix(s: StreamTree[DocTree]) +} diff --git a/tests/pos/i2200/package.scala b/tests/pos/i2200/package.scala new file mode 100644 index 000000000..3bc519b72 --- /dev/null +++ b/tests/pos/i2200/package.scala @@ -0,0 +1,4 @@ +package object bar { + type StreamTree[T] = Stream[Int] + type DocTree = Fix[StreamTree] +} |