diff options
| author | ilyas <ilyas@epfl.ch> | 2009-06-29 16:09:59 +0000 |
|---|---|---|
| committer | ilyas <ilyas@epfl.ch> | 2009-06-29 16:09:59 +0000 |
| commit | e659affbea5daf934f2f078fd8b872930bbaa09c (patch) | |
| tree | 8bc757562f2ab5ddcca47b2663821993cdcc92dd /test/files/scalap/classWithExistential | |
| parent | 91643c355b853e9bdfb70a5afab426a3537bfc1d (diff) | |
| download | scala-e659affbea5daf934f2f078fd8b872930bbaa09c.tar.gz scala-e659affbea5daf934f2f078fd8b872930bbaa09c.tar.bz2 scala-e659affbea5daf934f2f078fd8b872930bbaa09c.zip | |
scalap changed to treat named parameters and pa...
scalap changed to treat named parameters and package objects
Diffstat (limited to 'test/files/scalap/classWithExistential')
| -rw-r--r-- | test/files/scalap/classWithExistential/A.scala | 3 | ||||
| -rw-r--r-- | test/files/scalap/classWithExistential/result.test | 4 |
2 files changed, 7 insertions, 0 deletions
diff --git a/test/files/scalap/classWithExistential/A.scala b/test/files/scalap/classWithExistential/A.scala new file mode 100644 index 0000000000..2a77a842c9 --- /dev/null +++ b/test/files/scalap/classWithExistential/A.scala @@ -0,0 +1,3 @@ +class ClassWithExistential { + def foo[A, B] : A=> B forSome {type A <: Seq[Int]; type B >: String} = null +}
\ No newline at end of file diff --git a/test/files/scalap/classWithExistential/result.test b/test/files/scalap/classWithExistential/result.test new file mode 100644 index 0000000000..377edff7ef --- /dev/null +++ b/test/files/scalap/classWithExistential/result.test @@ -0,0 +1,4 @@ +class ClassWithExistential extends java.lang.Object with scala.ScalaObject { + def this() = { /* compiled code */ } + def foo[A >: scala.Nothing <: scala.Any, B >: scala.Nothing <: scala.Any] : scala.Function1[A, B forSome {type A >: scala.Nothing <: scala.Seq[scala.Int]; type B >: scala.Predef.String <: scala.Any}] = { /* compiled code */ } +}
\ No newline at end of file |