diff --git a/compiler/testData/type-checker-test.kt b/compiler/testData/type-checker-test.kt index da0cb9a9c4b..8852ce71e27 100644 --- a/compiler/testData/type-checker-test.kt +++ b/compiler/testData/type-checker-test.kt @@ -1,5 +1,7 @@ package testData +class Pair (val first: A, val second: B} + open class Base_T() open class Derived_T() : Base_T open class DDerived_T() : Derived_T diff --git a/compiler/tests/org/jetbrains/jet/types/JetTypeCheckerTest.java b/compiler/tests/org/jetbrains/jet/types/JetTypeCheckerTest.java index bf448cb1338..a7fe6e212a9 100644 --- a/compiler/tests/org/jetbrains/jet/types/JetTypeCheckerTest.java +++ b/compiler/tests/org/jetbrains/jet/types/JetTypeCheckerTest.java @@ -129,17 +129,11 @@ public class JetTypeCheckerTest extends JetLiteFixture { assertType("\"d\"", builtIns.getStringType()); assertType("\"\"\"d\"\"\"", builtIns.getStringType()); - assertType("#()", KotlinBuiltIns.getInstance().getUnitType()); + assertType("Unit.VALUE", KotlinBuiltIns.getInstance().getUnitType()); assertType("null", KotlinBuiltIns.getInstance().getNullableNothingType()); } - public void testTupleConstants() throws Exception { - assertType("#()", KotlinBuiltIns.getInstance().getUnitType()); - - assertType("#(1, 'a')", KotlinBuiltIns.getInstance().getTupleType(builtIns.getIntType(), builtIns.getCharType())); - } - public void testTypeInfo() throws Exception { // todo: obsolete since removal of typeinfo // assertType("typeinfo", "TypeInfo"); @@ -269,41 +263,6 @@ public class JetTypeCheckerTest extends JetLiteFixture { assertNotSubtype("Unit", "Int"); } - public void testTuples() throws Exception { - assertSubtype("Unit", "#()"); - assertSubtype("#()", "Unit"); - assertSubtype("#()", "#()"); - - assertSubtype("#(Boolean)", "#(Boolean)"); - assertSubtype("#(Byte)", "#(Byte)"); - assertSubtype("#(Char)", "#(Char)"); - assertSubtype("#(Short)", "#(Short)"); - assertSubtype("#(Int)", "#(Int)"); - assertSubtype("#(Long)", "#(Long)"); - assertSubtype("#(Float)", "#(Float)"); - assertSubtype("#(Double)", "#(Double)"); - assertSubtype("#(Unit)", "#(Unit)"); - assertSubtype("#(Unit, Unit)", "#(Unit, Unit)"); - - assertSubtype("#(Boolean)", "#(Boolean)"); - assertSubtype("#(Byte)", "#(Byte)"); - assertSubtype("#(Char)", "#(Char)"); - assertSubtype("#(Short)", "#(Short)"); - assertSubtype("#(Int)", "#(Int)"); - assertSubtype("#(Long)", "#(Long)"); - assertSubtype("#(Float)", "#(Float)"); - assertSubtype("#(Double)", "#(Double)"); - assertSubtype("#(Unit)", "#(Unit)"); - assertSubtype("#(Unit, Unit)", "#(Unit, Unit)"); - - assertNotSubtype("#(Unit)", "#(Int)"); - - assertSubtype("#(Unit)", "#(Any)"); - assertSubtype("#(Unit, Unit)", "#(Any, Any)"); - assertSubtype("#(Unit, Unit)", "#(Any, Unit)"); - assertSubtype("#(Unit, Unit)", "#(Unit, Any)"); - } - public void testProjections() throws Exception { assertSubtype("Base_T", "Base_T"); assertNotSubtype("Base_T", "Base_T"); @@ -433,7 +392,7 @@ public class JetTypeCheckerTest extends JetLiteFixture { public void testOverloads() throws Exception { assertType("Functions().f()", "Unit"); assertType("Functions().f(1)", "Int"); - assertType("Functions().f(#(1, 1))", "Double"); + assertType("Functions().f(Pair(1, 1))", "Double"); assertType("Functions().f(1.0)", "Any"); assertType("Functions().f(\"\")", "Byte");