diff options
Diffstat (limited to 'bridge/src/sbt-test/source-dependencies/type-parameter')
7 files changed, 0 insertions, 33 deletions
diff --git a/bridge/src/sbt-test/source-dependencies/type-parameter/A.scala b/bridge/src/sbt-test/source-dependencies/type-parameter/A.scala deleted file mode 100644 index d712f6feb..000000000 --- a/bridge/src/sbt-test/source-dependencies/type-parameter/A.scala +++ /dev/null @@ -1 +0,0 @@ -trait A[T] diff --git a/bridge/src/sbt-test/source-dependencies/type-parameter/B.scala b/bridge/src/sbt-test/source-dependencies/type-parameter/B.scala deleted file mode 100644 index 0f996cdc3..000000000 --- a/bridge/src/sbt-test/source-dependencies/type-parameter/B.scala +++ /dev/null @@ -1 +0,0 @@ -trait B[T] extends A[T] diff --git a/bridge/src/sbt-test/source-dependencies/type-parameter/C.scala b/bridge/src/sbt-test/source-dependencies/type-parameter/C.scala deleted file mode 100644 index 505a83aa6..000000000 --- a/bridge/src/sbt-test/source-dependencies/type-parameter/C.scala +++ /dev/null @@ -1,3 +0,0 @@ -object C { - new A[Int] {} -}
\ No newline at end of file diff --git a/bridge/src/sbt-test/source-dependencies/type-parameter/D.scala b/bridge/src/sbt-test/source-dependencies/type-parameter/D.scala deleted file mode 100644 index 51273ad98..000000000 --- a/bridge/src/sbt-test/source-dependencies/type-parameter/D.scala +++ /dev/null @@ -1,3 +0,0 @@ -object D { - def x[T](a: A[T]) = a -} diff --git a/bridge/src/sbt-test/source-dependencies/type-parameter/changes/A.scala b/bridge/src/sbt-test/source-dependencies/type-parameter/changes/A.scala deleted file mode 100644 index 0eab80adc..000000000 --- a/bridge/src/sbt-test/source-dependencies/type-parameter/changes/A.scala +++ /dev/null @@ -1 +0,0 @@ -trait A diff --git a/bridge/src/sbt-test/source-dependencies/type-parameter/project/DottyInjectedPlugin.scala b/bridge/src/sbt-test/source-dependencies/type-parameter/project/DottyInjectedPlugin.scala deleted file mode 100644 index 3433779b6..000000000 --- a/bridge/src/sbt-test/source-dependencies/type-parameter/project/DottyInjectedPlugin.scala +++ /dev/null @@ -1,17 +0,0 @@ -import sbt._ -import Keys._ - -object DottyInjectedPlugin extends AutoPlugin { - override def requires = plugins.JvmPlugin - override def trigger = allRequirements - - override val projectSettings = Seq( - scalaVersion := "0.1-SNAPSHOT", - scalaOrganization := "ch.epfl.lamp", - scalacOptions += "-language:Scala2", - scalaBinaryVersion := "2.11", - autoScalaLibrary := false, - libraryDependencies ++= Seq("org.scala-lang" % "scala-library" % "2.11.5"), - scalaCompilerBridgeSource := ("ch.epfl.lamp" % "dotty-bridge" % "0.1.1-SNAPSHOT" % "component").sources() - ) -} diff --git a/bridge/src/sbt-test/source-dependencies/type-parameter/test b/bridge/src/sbt-test/source-dependencies/type-parameter/test deleted file mode 100644 index 2063e9e1b..000000000 --- a/bridge/src/sbt-test/source-dependencies/type-parameter/test +++ /dev/null @@ -1,7 +0,0 @@ -> compile - -# remove type parameter from A -$ copy-file changes/A.scala A.scala - -# should get compile error because B, C, D reference A without a type parameter --> compile
\ No newline at end of file |