diff --git a/.idea/workspace.xml b/.idea/workspace.xml
index 6b187f1d406..2b6e648cae1 100644
--- a/.idea/workspace.xml
+++ b/.idea/workspace.xml
@@ -7,7 +7,7 @@
-
+
@@ -117,10 +117,8 @@
-
-
-
-
+
+
@@ -129,9 +127,7 @@
-
-
-
+
@@ -140,9 +136,7 @@
-
-
-
+
@@ -150,7 +144,7 @@
-
+
@@ -159,7 +153,7 @@
-
+
@@ -168,7 +162,7 @@
-
+
@@ -177,7 +171,7 @@
-
+
@@ -196,9 +190,7 @@
-
-
-
+
@@ -246,7 +238,7 @@
-
+
@@ -385,6 +377,22 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -515,22 +523,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -546,9 +538,9 @@
-
-
+
+
@@ -810,11 +802,9 @@
-
-
@@ -822,11 +812,13 @@
-
+
-
+
+
+
@@ -907,127 +899,105 @@
-
+
-
-
-
-
-
-
-
-
-
-
+
-
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
-
-
-
-
-
-
-
-
-
-
+
-
-
-
-
-
-
-
-
-
-
+
-
+
-
+
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
-
+
-
+
-
+
-
+
-
+
-
-
-
-
+
+
-
+
-
-
-
-
+
+
-
-
-
-
+
+
diff --git a/out/production/frontend/jet/Library.jet b/out/production/frontend/jet/Library.jet
index b88e5eb0287..6d8bcdf7d01 100644
--- a/out/production/frontend/jet/Library.jet
+++ b/out/production/frontend/jet/Library.jet
@@ -1,13 +1,13 @@
namespace jet
namespace typeinfo {
- class TypeInfo {
+ class TypeInfo {
fun isSubtypeOf(other : TypeInfo<*>) : Boolean
fun isInstance(obj : Any?) : Boolean
}
fun typeinfo() : TypeInfo
- fun typeinfo(expression : T) : TypeInfo
+ fun typeinfo(expression : T) : TypeInfo
}
namespace io {
@@ -34,12 +34,18 @@ namespace io {
fun readLine() : String?
}
+fun Any?.identityEquals(other : Any?) // = this === other
+
// Can't write a body due to a bootstrapping problem (see JET-74)
fun Any?.equals(other : Any?) : Boolean// = this === other
// Returns "null" for null
fun Any?.toString() : String// = this === other
+// fun array(vararg elements : T) : Array
+
+// fun array(vararg elements : Int) : IntArray
+
fun String?.plus(other: Any?) : String
trait Iterator {
@@ -495,7 +501,7 @@ class Char : Number, Comparable {
fun plus(other : Int) : Int
fun plus(other : Short) : Int
fun plus(other : Byte) : Int
- fun plus(other : Char) : Int
+// fun plus(other : Char) : Int
fun minus(other : Double) : Double
fun minus(other : Float) : Float
@@ -511,7 +517,7 @@ class Char : Number, Comparable {
fun times(other : Int) : Int
fun times(other : Short) : Int
fun times(other : Byte) : Int
- fun times(other : Char) : Int
+// fun times(other : Char) : Int
fun div(other : Double) : Double
fun div(other : Float) : Float
@@ -519,7 +525,7 @@ class Char : Number, Comparable {
fun div(other : Int) : Int
fun div(other : Short) : Int
fun div(other : Byte) : Int
- fun div(other : Char) : Int
+// fun div(other : Char) : Int
fun mod(other : Double) : Double
fun mod(other : Float) : Float
@@ -527,7 +533,7 @@ class Char : Number, Comparable {
fun mod(other : Int) : Int
fun mod(other : Short) : Int
fun mod(other : Byte) : Int
- fun mod(other : Char) : Int
+// fun mod(other : Char) : Int
fun rangeTo(other : Double) : Range
fun rangeTo(other : Float) : Range
@@ -602,8 +608,8 @@ class Short : Number, Comparable {
fun inc() : Short
fun dec() : Short
- fun plus() : Int
- fun minus() : Int
+ fun plus() : Short
+ fun minus() : Short
}
class Byte : Number, Comparable {
@@ -665,6 +671,6 @@ class Byte : Number, Comparable {
fun inc() : Byte
fun dec() : Byte
- fun plus() : Int
- fun minus() : Int
-}
+ fun plus() : Byte
+ fun minus() : Byte
+}
\ No newline at end of file