JET-50 Drop the 'new' keyword
This commit is contained in:
@@ -6,7 +6,7 @@
|
||||
~foo~fun foo(~foo.a~a : `std::Char`Char) = `foo.a`a`:std::Char`
|
||||
~fooB~fun fooB() = `foo`foo('1')`:std::Char`
|
||||
~foo.1~fun foo() : Int = (1.`std::Int.plus(Int)`plus(1))`:std::Int`
|
||||
~foo1~fun foo1() : `B`B = new `B()`B()`:B`
|
||||
~foo1~fun foo1() : `B`B = `B()`B()`:B`
|
||||
~A.a~val a : `std::Int`Int
|
||||
}
|
||||
|
||||
|
||||
@@ -12,4 +12,4 @@ namespace Jet86
|
||||
|
||||
val a = `A`A.`A.x`x
|
||||
val c = `B`B.`!null`x
|
||||
val d = new B().`B.x`x
|
||||
val d = B().`B.x`x
|
||||
@@ -1,5 +1,5 @@
|
||||
|
||||
class C(~x~x : Int, ~y~val y : Int) : Base(`x`x /*parameter*/), Base1 by new Base1(`x`x) {
|
||||
class C(~x~x : Int, ~y~val y : Int) : Base(`x`x /*parameter*/), Base1 by Base1(`x`x) {
|
||||
var z = `x`x // parameter
|
||||
get() = `$x`x // property
|
||||
|
||||
|
||||
@@ -5,7 +5,7 @@ class A(~a~val a : Int) {
|
||||
}
|
||||
|
||||
fun test() {
|
||||
~va~val a = new A()
|
||||
~va~val a = A()
|
||||
`va`a.`$a`a`:std::Int`
|
||||
a.`b`b`:std::Int`
|
||||
a.`f`f()`:std::Int`
|
||||
|
||||
@@ -1,56 +1,56 @@
|
||||
class In<in T> {
|
||||
class In<in T>() {
|
||||
~In.f:T->Unit~fun f(t : T) : Unit {}
|
||||
~In.f:Int->Int~fun f(t : Int) : Int {}
|
||||
~In.f1~fun f1(t : T) : Unit {}
|
||||
}
|
||||
|
||||
class Out<out T> {
|
||||
class Out<out T>() {
|
||||
~Out.f~fun f() : T {}
|
||||
~Out.f(a)~fun f(a : Int) : Int {a}
|
||||
}
|
||||
|
||||
class Inv<T> {
|
||||
class Inv<T>() {
|
||||
~Inv.f~fun f(t : T) : T {t}
|
||||
~Inv.inf~fun inf(t : T) : Unit {}
|
||||
~Inv.outf~fun outf() : T {}
|
||||
}
|
||||
|
||||
fun testInOut() {
|
||||
new In<String>().`In.f:T->Unit`f("1");
|
||||
In<String>().`In.f:T->Unit`f("1");
|
||||
(return : In<in String>).`In.f:T->Unit`f("1");
|
||||
(return : In<out String>).`!`f("1")
|
||||
(return : In<*>).`!`f("1");
|
||||
|
||||
new In<String>().`In.f:Int->Int`f(1);
|
||||
In<String>().`In.f:Int->Int`f(1);
|
||||
(return : In<in String>).`In.f:Int->Int`f(1);
|
||||
(return : In<out String>).`In.f:Int->Int`f(1)
|
||||
(return : In<out String>).`!`f1(1)
|
||||
(return : In<*>).`In.f:Int->Int`f(1);
|
||||
|
||||
new Out<Int>().`Out.f(a)`f(1)
|
||||
Out<Int>().`Out.f(a)`f(1)
|
||||
(return : Out<out Int>).`Out.f(a)`f(1)
|
||||
(return : Out<in Int>).`Out.f(a)`f(1)
|
||||
(return : Out<*>).`Out.f(a)`f(1)
|
||||
|
||||
new Out<Int>().`Out.f`f()
|
||||
Out<Int>().`Out.f`f()
|
||||
(return : Out<out Int>).`Out.f`f()
|
||||
(return : Out<in Int>).`Out.f`f()
|
||||
(return : Out<*>).`Out.f`f()
|
||||
|
||||
new Inv<Int>().`Inv.f`f(1)
|
||||
Inv<Int>().`Inv.f`f(1)
|
||||
(return : Inv<in Int>).`Inv.f`f(1)
|
||||
(return : Inv<out Int>).`!`f(1)
|
||||
(return : Inv<*>).`!`f(1)
|
||||
|
||||
new Inv<Int>().`Inv.inf`inf(1)
|
||||
Inv<Int>().`Inv.inf`inf(1)
|
||||
(return : Inv<in Int>).`Inv.inf`inf(1)
|
||||
(return : Inv<out Int>).`!`inf(1)
|
||||
(return : Inv<*>).`!`inf(1)
|
||||
|
||||
new Inv<Int>().`Inv.outf`outf()
|
||||
Inv<Int>().`Inv.outf`outf()
|
||||
((return : Inv<in Int>).`Inv.outf`outf())`:std::Any`
|
||||
(return : Inv<out Int>).`Inv.outf`outf()
|
||||
(return : Inv<*>).`Inv.outf`outf()
|
||||
|
||||
new Inv<Int>().`Inv.outf`outf(1)
|
||||
Inv<Int>().`Inv.outf`outf(1)
|
||||
}
|
||||
@@ -23,13 +23,13 @@ fun f_plus(): Int {
|
||||
~t~fun <~t.T~T> t(~t.t~t : `t.T`T) : `t.T`T {
|
||||
`t`t<Int>(1)`:std::Int`
|
||||
`t`t<`t.T`T>(`t.t`t)`:t.T`
|
||||
new `X()`X<`t.T`T>()
|
||||
`X()`X<`t.T`T>()
|
||||
1 `std::Int.plus(Int)`+ 1
|
||||
1 `std::Int.plus(Int)`+= 1
|
||||
new X<String>() `plus`+ "1"
|
||||
new X<String>() `plus`plus "sadfas"
|
||||
new X<String>().`plus`plus("")
|
||||
val x = new X<String>()
|
||||
X<String>() `plus`+ "1"
|
||||
X<String>() `plus`plus "sadfas"
|
||||
X<String>().`plus`plus("")
|
||||
val x = X<String>()
|
||||
x `minus`- ""
|
||||
x `times`* ""
|
||||
x `div`/ ""
|
||||
@@ -61,7 +61,7 @@ fun f_plus(): Int {
|
||||
fun <T> tt(t : T) : T {
|
||||
val x : List<Int> = 0
|
||||
x`java::java.util.List.get()`[1]
|
||||
val foo = new `Bar()`Bar()
|
||||
val foo = `Bar()`Bar()
|
||||
foo`!`[null, 1]
|
||||
foo`get2`[1, 1]
|
||||
foo`get1`[1]
|
||||
@@ -72,7 +72,7 @@ fun <T> tt(t : T) : T {
|
||||
x`!`[null] = null
|
||||
(x`!`[null, 2]) = null
|
||||
(`not`!foo)[1]`:std::Char`
|
||||
val y = new Bar()
|
||||
val y = Bar()
|
||||
y`inc`++
|
||||
`inc`++y
|
||||
`dec`--y
|
||||
@@ -87,13 +87,13 @@ fun <T> tt(t : T) : T {
|
||||
}
|
||||
|
||||
|
||||
class UnitIncDec {
|
||||
class UnitIncDec() {
|
||||
~uinc~fun inc() : Unit
|
||||
~udec~fun dec() : Unit
|
||||
}
|
||||
|
||||
fun testUnitIncDec() {
|
||||
var x = new UnitIncDec()
|
||||
var x = UnitIncDec()
|
||||
x`uinc`++
|
||||
x`udec`--
|
||||
}
|
||||
@@ -8,7 +8,7 @@ fun foo(~a~a : `std::Array`Array<`std::Int`Int>) : `java::java.util.List`List {
|
||||
|
||||
fun foo(o : `java::java.lang.Object`Object, l : `java::java.util`util.`java::java.util.List`List) : `java::java.util.List`List {}
|
||||
|
||||
~A~class A {
|
||||
~A~class A() {
|
||||
fun f(a : `java::java.util`util.`java::java.util.List`List) {}
|
||||
fun f(a : `java::java.util.List`List) {}
|
||||
|
||||
@@ -31,7 +31,7 @@ class B : `java::java.lang.Object`Object {
|
||||
}
|
||||
|
||||
fun barrr() : `std::Int`Int {
|
||||
`foo`foo(new `A`A())
|
||||
`foo`foo(`A`A())
|
||||
}
|
||||
}
|
||||
|
||||
@@ -40,7 +40,7 @@ class B : `java::java.lang.Object`Object {
|
||||
}
|
||||
|
||||
fun <T> t(t : T) : T {
|
||||
`c`c(new java.lang.Integer(1))
|
||||
`c`c(java.lang.Integer(1))
|
||||
System.out.`java::java.io.PrintStream.print(Object)`print(t)
|
||||
System.out.`java::java.io.PrintStream.print(char[])`print(null : Array<Char>?)
|
||||
System.out.`java::java.io.PrintStream.print(Object)`print(null : Object?)
|
||||
|
||||
@@ -5,5 +5,5 @@ var xxxx = 1
|
||||
}
|
||||
|
||||
fun foo() {
|
||||
new `SimpleClass`SimpleClass(1).`!`xxxx
|
||||
`SimpleClass`SimpleClass(1).`!`xxxx
|
||||
}
|
||||
Reference in New Issue
Block a user