From 82dc27578a2f57646f5b8c678699980b29b89c11 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=A9my=20Zurcher?= <jeremy@asynk.ch>
Date: Thu, 25 Apr 2013 17:17:17 +0200
Subject: Scala : sandbox: Scala : add 7-variance

---
 Scala/sandbox/0-main.scala     |  1 +
 Scala/sandbox/7-variance.scala | 25 +++++++++++++++++++++++++
 2 files changed, 26 insertions(+)
 create mode 100644 Scala/sandbox/7-variance.scala

diff --git a/Scala/sandbox/0-main.scala b/Scala/sandbox/0-main.scala
index 99ee4ba..6f0edf3 100644
--- a/Scala/sandbox/0-main.scala
+++ b/Scala/sandbox/0-main.scala
@@ -9,5 +9,6 @@ object Main  extends App {
     IntSet.run
     IntList.run
     Natural.run
+    Variance.run
 
 }
diff --git a/Scala/sandbox/7-variance.scala b/Scala/sandbox/7-variance.scala
new file mode 100644
index 0000000..49f0373
--- /dev/null
+++ b/Scala/sandbox/7-variance.scala
@@ -0,0 +1,25 @@
+object Variance
+{
+  // to allow 
+  trait List[+T] {
+    def isEmpty: Boolean
+    def head: T
+    def tail: List[T]
+  }
+
+  class Cons[T](val head: T, val tail: List[T]) extends List[T] {
+    def isEmpty = false
+  }
+
+  // extends List[Nothing] so that it can hold anything
+  object Nil extends List[Nothing] {
+    def isEmpty = true
+    def head: Nothing = throw new NoSuchElementException("Nil.head")
+    def tail: Nothing = throw new NoSuchElementException("Nil.tail")
+  }
+
+  def run = {
+    println("Variance")
+    val x: List[String] = Nil
+  }
+}
-- 
cgit v1.1-2-g2b99