From f96b6beefc08f56218ac68b37a4cecd757cb60ee Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Fri, 6 Apr 2007 09:39:53 +0000 Subject: adding test files from tcpoly branch without hi... adding test files from tcpoly branch without history -- much faster this way, sorry --- test/files/pos/tcpoly_typesub.scala | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 test/files/pos/tcpoly_typesub.scala (limited to 'test/files/pos/tcpoly_typesub.scala') diff --git a/test/files/pos/tcpoly_typesub.scala b/test/files/pos/tcpoly_typesub.scala new file mode 100644 index 0000000000..bb29d88bd9 --- /dev/null +++ b/test/files/pos/tcpoly_typesub.scala @@ -0,0 +1,14 @@ +// contributed by Lauri Alanko +trait TypeSub { + type l + type u + def castSub[f[+x]](fl : f[l]) : f[u] + def castSuper[f[-x]](fu : f[u]) : f[l] = { + type c[+y] = f[y] => f[l] + castSub[c]{ fl : f[l] => fl }(fu) + } + def castValue[t](lt : l with t) : u with t = { + type c[+y] = y with t + castSub[c](lt) + } +} \ No newline at end of file -- cgit v1.2.3