← Back to branch summary

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

« back to all changes in this revision

Viewing changes to test/files/specialized/spec-hlists.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
http://bugs.debian.org/744278
http://bugs.debian.org/754935
http://bugs.debian.org/724704
* 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:
test/files/specialized/spec-hlists.scala
 
1
/** Test contributed by Stefan Zeiger showing that HLists can be
 
2
 *  specialized.
 
3
 */
 
4
 
 
5
sealed trait HList {
 
6
  type Self <: HList
 
7
  
 
8
  type |: [E] = HCons[E, Self]
 
9
 
 
10
  final def |: [@specialized E](elem: E): |: [E] = new HCons[E, Self](elem, this.asInstanceOf[Self])
 
11
 
 
12
  def m[@specialized E, T <: AnyRef](x: E): T = null.asInstanceOf[T]
 
13
}
 
14
 
 
15
final class HCons[@specialized H, T <: HList](val head: H, val tail: T) extends HList {
 
16
  type Self = HCons[H, T]
 
17
}
 
18
 
 
19
final object HNil extends HList {
 
20
  type Self = HNil.type
 
21
}
 
22
 
 
23
object Test extends App {
 
24
  val l1 = new HCons(42, "foo" |: HNil)
 
25
  println(l1.getClass)
 
26
  
 
27
  val l2 = 42 |: "abc" |: HNil
 
28
  println(l2.getClass)
 
29
}