~ubuntu-branches/debian/sid/scala/sid

« back to all changes in this revision

Viewing changes to test/files/pos/t6624.scala

  • Committer: Package Import Robot
  • Author(s): Emmanuel Bourg, Mehdi Dogguy, Lucas Satabin, Frank S. Thomas, Emmanuel Bourg
  • Date: 2015-06-05 23:52:59 UTC
  • mfrom: (1.2.11)
  • Revision ID: package-import@ubuntu.com-20150605235259-wk00vgk83dh8o19g
Tags: 2.10.5-1
* Team upload.

[ Mehdi Dogguy ]
* New upstream release (Closes: #744278).

[ Lucas Satabin ]
* Update patches
* Update the clean target
* Update paths of elements to install
* Update watch file

[ Frank S. Thomas ]
* Remove myself from Uploaders.

[ Emmanuel Bourg ]
* The package has been adopted by the Java Team (Closes: #754935)
* Patched the build to avoid downloading libraries from the Internet
* Replaced the minified JavaScript files with unobfuscated ones
* No longer build scala-partest.jar until diffutils is packaged or replaced
* debian/watch: Fixed the versions matched (x.y.z instead of x.y.z..z)
* debian/rules:
  - Added the missing get-orig-source target (Closes: #724704)
  - Improved the clean target
* debian/control:
  - Build depend on scala (>= 2.10) and bnd
  - Use canonical URLs for the Vcs-* fields
  - Standards-Version updated to 3.9.6 (no changes)
* Switch to debhelper level 9

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
sealed trait KList[+M[_]]
 
2
 
 
3
case class KCons[M[_], +T <: KList[M]](
 
4
  tail: T
 
5
) extends KList[M]
 
6
 
 
7
case class KNil[M[_]]() extends KList[M]
 
8
 
 
9
object Test {
 
10
  val klist: KCons[Option, KCons[Option, KCons[Option, KNil[Nothing]]]] = ???
 
11
 
 
12
  // crashes with
 
13
  // "Exception in thread "main" scala.reflect.internal.Types$TypeError: value _1 is not a member 
 
14
  // of KCons[Option,KCons[Option,KNil[Nothing]]]"
 
15
  klist match {
 
16
   case KCons(KCons(KCons(_))) =>
 
17
  }
 
18
 
 
19
  // fails with a similar message as an error, rather than a crash.
 
20
  klist match {
 
21
    case KCons(KCons(_)) =>
 
22
  }
 
23
 
 
24
  // succeeds
 
25
  klist match {
 
26
    case KCons(_) =>
 
27
  }
 
28
}
 
 
b'\\ No newline at end of file'