summaryrefslogtreecommitdiff
path: root/test/files/pos/gadts2.scala
diff options
context:
space:
mode:
authormichelou <michelou@epfl.ch>2008-06-10 10:27:45 +0000
committermichelou <michelou@epfl.ch>2008-06-10 10:27:45 +0000
commit0dabdc7b17a02f1d36a99cd21acfdc0b2498f951 (patch)
tree05e7999dc39a0faf11ca743d7314b178a9823026 /test/files/pos/gadts2.scala
parent943f6dda3b32057a3d9e91c68baac8971d94e567 (diff)
downloadscala-0dabdc7b17a02f1d36a99cd21acfdc0b2498f951.tar.gz
scala-0dabdc7b17a02f1d36a99cd21acfdc0b2498f951.tar.bz2
scala-0dabdc7b17a02f1d36a99cd21acfdc0b2498f951.zip
int -> Int, etc..
Diffstat (limited to 'test/files/pos/gadts2.scala')
-rw-r--r--test/files/pos/gadts2.scala37
1 files changed, 18 insertions, 19 deletions
diff --git a/test/files/pos/gadts2.scala b/test/files/pos/gadts2.scala
index ca905c572a..fc2a7e4333 100644
--- a/test/files/pos/gadts2.scala
+++ b/test/files/pos/gadts2.scala
@@ -1,26 +1,25 @@
-object Test{
+object Test {
-abstract class Number
-case class Int(n: int) extends Number
-case class Double(d: double) extends Number
+ abstract class Number
+ case class MyInt(n: Int) extends Number
+ case class MyDouble(d: Double) extends Number
-trait Term[+a]
-case class Cell[a](var x: a) extends Term[a]
-final case class NumTerm(val n: Number) extends Term[Number]
+ trait Term[+a]
+ case class Cell[a](var x: a) extends Term[a]
+ final case class NumTerm(val n: Number) extends Term[Number]
-
-def f[a](t:Term[a], c:Cell[a]): unit =
- t match {
- case NumTerm(n) => c.x = Double(1.0)
+ def f[a](t: Term[a], c: Cell[a]) {
+ t match {
+ case NumTerm(n) => c.x = MyDouble(1.0)
+ }
}
+ val x: Term[Number] = NumTerm(MyInt(5))
-val x:Term[Number] = NumTerm(Int(5))
-
-def main(args: Array[String]): unit = {
- val cell = Cell[Number](Int(6))
- Console.println(cell)
- f[Number](new NumTerm(Int(5)), cell)
- Console.println(cell)
-}
+ def main(args: Array[String]) {
+ val cell = Cell[Number](MyInt(6))
+ Console.println(cell)
+ f[Number](new NumTerm(MyInt(5)), cell)
+ Console.println(cell)
+ }
}