Fixing function types

This commit is contained in:
Andrey Breslav
2010-12-29 15:42:57 +03:00
parent 49d4812a20
commit 2305f3c445
28 changed files with 1674 additions and 1215 deletions
+6 -3
View File
@@ -1,20 +1,23 @@
fun foo()
fun [a] foo()
fun [a] T.foo()
fun [a] T<T>.{(A<B>) : ()}.foo()
fun {[a] T<T>.(A<B>) : ()}.foo()
fun [a] T.foo(a : foo) : bar
fun [a()] T.foo<T : {(a) : b}>(a : foo) : bar
fun foo();
fun [a] foo();
fun [a] T.foo();
fun [a] T<T>.{(A<B>) : ()}.foo();
fun {[a] T<T>.(A<B>) : ()}.foo();
fun [a] T.foo(a : foo) : bar;
fun [a()] T.foo<T : {(a) : b}>(a : foo) : bar;
fun foo() {}
fun [a] foo() {}
fun [a] T.foo() {}
fun [a] T<T>.{(A<B>) : ()}.foo() {}
fun {[a] T<T>.(A<B>) : ()}.foo() {}
fun [a] T.foo(a : foo) : bar {}
fun [a()] T.foo<T : {(a) : b}>(a : foo) : bar {}
fun [a] {[a] T<T>.(A<B>) : ()}.foo() {}
fun [a()] T.foo<T : [a] {(a) : b}>(a : foo) : bar {}