From ee273f5e7373fa54dc6e81f4488519635344e2e3 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Wed, 19 Feb 2003 14:49:03 +0000
Subject: *** empty log message ***

---
 test/files/pos/List1.scala | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'test/files/pos/List1.scala')

diff --git a/test/files/pos/List1.scala b/test/files/pos/List1.scala
index 60c23634bf..a52c95b1c8 100644
--- a/test/files/pos/List1.scala
+++ b/test/files/pos/List1.scala
@@ -4,13 +4,13 @@ module lists {
       def isEmpty: Boolean;
       def head: a;
       def tail: List[a];
-      def prepend(x: a) = Cons@[a](x, this);
+      def prepend(x: a) = Cons[a](x, this);
   }
 
   def Nil[a] = new List[a] {
     def isEmpty = True;
-    def head = error@[a]("head of Nil");
-    def tail = error@[List[a]]("tail of Nil");
+    def head = error[a]("head of Nil");
+    def tail = error[List[a]]("tail of Nil");
   }
 
   def Cons[a](x: a, xs: List[a]): List[a] = new List[a] {
@@ -20,10 +20,10 @@ module lists {
   }
 
   def foo = {
-    val intnil = Nil@[Int];
+    val intnil = Nil[Int];
     val intlist = intnil.prepend(1).prepend(1+1);
     val x: Int = intlist.head;
-    val strnil = Nil@[String];
+    val strnil = Nil[String];
     val strlist = strnil.prepend("A").prepend("AA");
     val y: String = strlist.head;
     ()
@@ -32,9 +32,9 @@ module lists {
   class IntList() extends List[Int] {
     def isEmpty: Boolean = False;
     def head: Int = 1;
-    def foo: List[Int] with { def isEmpty: True.type; def head: Int; def tail: List[Int] } = Nil@[Int];
+    def foo: List[Int] with { def isEmpty: True.type; def head: Int; def tail: List[Int] } = Nil[Int];
     def tail0: List[Int] = foo.prepend(1).prepend(1+1);
-    def tail: List[Int] = Nil@[Int].prepend(1).prepend(1+1);
+    def tail: List[Int] = Nil[Int].prepend(1).prepend(1+1);
   }
 
   def foo2 = {
-- 
cgit v1.2.3