From b5ca23fd6cbd5449ec16d080b63e5d9992699694 Mon Sep 17 00:00:00 2001 From: Andrey Breslav Date: Tue, 25 Jan 2011 22:43:47 +0300 Subject: [PATCH] A bit more tests for the basic typechecker --- .../jet/types/JetTypeCheckerTest.java | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/idea/tests/org/jetbrains/jet/types/JetTypeCheckerTest.java b/idea/tests/org/jetbrains/jet/types/JetTypeCheckerTest.java index 4d5d621bb30..f7f3486411c 100644 --- a/idea/tests/org/jetbrains/jet/types/JetTypeCheckerTest.java +++ b/idea/tests/org/jetbrains/jet/types/JetTypeCheckerTest.java @@ -96,6 +96,9 @@ public class JetTypeCheckerTest extends LightDaemonAnalyzerTestCase { assertSubtype("Float", "Float"); assertSubtype("Double", "Double"); assertSubtype("Unit", "Unit"); + assertSubtype("Unit", "()"); + assertSubtype("()", "Unit"); + assertSubtype("()", "()"); assertSubtype("Boolean", "Any"); assertSubtype("Byte", "Any"); @@ -127,10 +130,25 @@ public class JetTypeCheckerTest extends LightDaemonAnalyzerTestCase { 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)"); }