diff options
author | Martin Odersky <odersky@gmail.com> | 2013-06-07 22:45:56 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-06-07 22:46:26 +0200 |
commit | 4124ff23501eb8d30f0aa873bb3ea79115812f82 (patch) | |
tree | d387acd52a0655a3bf6ce3f6d309972de0ae8f99 /src/dotty/annotation/internal | |
parent | 27ce72f1b30a06f56782d88c6c4f96d261d4a44e (diff) | |
download | dotty-4124ff23501eb8d30f0aa873bb3ea79115812f82.tar.gz dotty-4124ff23501eb8d30f0aa873bb3ea79115812f82.tar.bz2 dotty-4124ff23501eb8d30f0aa873bb3ea79115812f82.zip |
Integrated new treatment of higher-kinded types with Unpickler.
Could drop quite a bit of code in the process.
Diffstat (limited to 'src/dotty/annotation/internal')
-rw-r--r-- | src/dotty/annotation/internal/ContravariantBetween.scala | 3 | ||||
-rw-r--r-- | src/dotty/annotation/internal/CovariantBetween.scala | 3 | ||||
-rw-r--r-- | src/dotty/annotation/internal/InvariantBetween.scala | 3 |
3 files changed, 0 insertions, 9 deletions
diff --git a/src/dotty/annotation/internal/ContravariantBetween.scala b/src/dotty/annotation/internal/ContravariantBetween.scala deleted file mode 100644 index 7eb068b89..000000000 --- a/src/dotty/annotation/internal/ContravariantBetween.scala +++ /dev/null @@ -1,3 +0,0 @@ -package dotty.annotation.internal - -trait ContravariantBetween[-Lo, +Hi]
\ No newline at end of file diff --git a/src/dotty/annotation/internal/CovariantBetween.scala b/src/dotty/annotation/internal/CovariantBetween.scala deleted file mode 100644 index d65a5f1b9..000000000 --- a/src/dotty/annotation/internal/CovariantBetween.scala +++ /dev/null @@ -1,3 +0,0 @@ -package dotty.annotation.internal - -trait CovariantBetween[-Lo, +Hi]
\ No newline at end of file diff --git a/src/dotty/annotation/internal/InvariantBetween.scala b/src/dotty/annotation/internal/InvariantBetween.scala deleted file mode 100644 index bf572b66c..000000000 --- a/src/dotty/annotation/internal/InvariantBetween.scala +++ /dev/null @@ -1,3 +0,0 @@ -package dotty.annotation.internal - -trait InvariantBetween[-Lo, +Hi]
\ No newline at end of file |