diff options
author | Martin Odersky <odersky@gmail.com> | 2017-04-09 15:09:54 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2017-04-09 15:12:37 +0200 |
commit | ab101bcd299e060ad41cad2d1a91c3e32ae5267e (patch) | |
tree | 8057a5606062f7b3ede425688f4fac353b8a695b /tests/pos | |
parent | 756ba3d0dd5fe6f0f1dd0a954fb764503433da02 (diff) | |
download | dotty-ab101bcd299e060ad41cad2d1a91c3e32ae5267e.tar.gz dotty-ab101bcd299e060ad41cad2d1a91c3e32ae5267e.tar.bz2 dotty-ab101bcd299e060ad41cad2d1a91c3e32ae5267e.zip |
Tweak logic for hk type comparisons
Diffstat (limited to 'tests/pos')
-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] +} |