Add test for type constructors (#108)

eclipse-archived · Aug 26, 2015 · d4c0112 · d4c0112
1 parent 05b9985
commit d4c0112
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/test-samples/higherTypes.ceylon b/test-samples/higherTypes.ceylon
@@ -12,3 +12,5 @@ value anonymousGenericFunction = <T>(T t) given T satisfies Anything => t;
 class C() {
     parameterizedExpressionWithTypeParams<T>(T t) => t;
 }
+<T> => T(T) id = identity;
+<T> given T satisfies Identifiable => T(T) id² = identity;