From d8127d2f0f31913cca7eb60a721b25974b3bfde6 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Mon, 10 Oct 2016 09:40:08 +0200
Subject: Use => instead of -> for PolyTypes

If PolyTypes are to become value types we want to keep `=>` as the arrow
for consistency. `->` should be reserved for PolyTypes that do not have
side effects on instantiation.
---
 tests/pending/pos/polytypes.scala | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 tests/pending/pos/polytypes.scala

(limited to 'tests/pending')

diff --git a/tests/pending/pos/polytypes.scala b/tests/pending/pos/polytypes.scala
new file mode 100644
index 000000000..ec6c89d10
--- /dev/null
+++ b/tests/pending/pos/polytypes.scala
@@ -0,0 +1,9 @@
+object Test {
+
+  type T = [+X] => (List[X] => List[X])
+
+  def reverse[X](xs: List[X]): List[X] = ???
+
+ // val x: T = reverse
+
+}
-- 
cgit v1.2.3