From 7c34b692599e036b847c871a9573066c1a87733a Mon Sep 17 00:00:00 2001
From: paltherr <paltherr@epfl.ch>
Date: Wed, 4 Feb 2004 20:40:54 +0000
Subject: - Added isInstanceOf and asInstanceOf tests

---
 test/files/shl/basic.check | 6 ++++++
 test/files/shl/basic.scala | 5 +++++
 2 files changed, 11 insertions(+)

(limited to 'test')

diff --git a/test/files/shl/basic.check b/test/files/shl/basic.check
index 2a4cd09b49..9439e81b3b 100644
--- a/test/files/shl/basic.check
+++ b/test/files/shl/basic.check
@@ -34,5 +34,11 @@ length(Nil)
 }
 > val p1: $console$25.Point = Point(3,7)
 > Point(10,10): $console$25.Point
+> > true: scala.Boolean
+> false: scala.Boolean
+> string: java.lang.String("string")
+> Exception in thread "main" java.lang.ClassCastException: class java.lang.String is not an instance of class scala.Int
+        at $console$31.$console$31(<console>:1)
+        at <root>.$console$31(<console>:1)
 > > > 
 [Leaving scalarun]
diff --git a/test/files/shl/basic.scala b/test/files/shl/basic.scala
index 4b0841f5e6..5d1264e901 100644
--- a/test/files/shl/basic.scala
+++ b/test/files/shl/basic.scala
@@ -38,4 +38,9 @@ class Point(x: Int, y: Int) {
 val p1 = new Point(3,7)
 p1.move(7,3)
 
+"string".isInstanceOf[String]
+"string".isInstanceOf[Int]
+"string".asInstanceOf[String]
+"string".asInstanceOf[Int]
+
 //############################################################################
-- 
cgit v1.2.3