From 647a5455e1895e1fd9b738e3ae005db5cd82efef Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Tue, 8 May 2012 04:05:10 +0400
Subject: [PATCH] Source representations for Any and Nothing. These sources are
 to be shown in the IDE

---
 compiler/frontend/src/jet/Any.jet.src     | 3 +++
 compiler/frontend/src/jet/Nothing.jet.src | 6 ++++++
 2 files changed, 9 insertions(+)
 create mode 100644 compiler/frontend/src/jet/Any.jet.src
 create mode 100644 compiler/frontend/src/jet/Nothing.jet.src

diff --git a/compiler/frontend/src/jet/Any.jet.src b/compiler/frontend/src/jet/Any.jet.src
new file mode 100644
index 00000000000..636c32f49c1
--- /dev/null
+++ b/compiler/frontend/src/jet/Any.jet.src
@@ -0,0 +1,3 @@
+package jet
+
+public open class Any() {}
diff --git a/compiler/frontend/src/jet/Nothing.jet.src b/compiler/frontend/src/jet/Nothing.jet.src
new file mode 100644
index 00000000000..836cc3bfad7
--- /dev/null
+++ b/compiler/frontend/src/jet/Nothing.jet.src
@@ -0,0 +1,6 @@
+package jet
+
+/**
+ * Nothing has no instances
+ */
+public class Nothing private () {}