From bec7014b319590219219fd2ad60b3eeb1a554ee1 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Mon, 18 May 2015 16:09:46 +0200
Subject: [PATCH] Fix compatibility with Scalac
---
library/collection/List.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/library/collection/List.scala b/library/collection/List.scala
index e4924f75e..11eccd24f 100644
--- a/library/collection/List.scala
+++ b/library/collection/List.scala
@@ -250,14 +250,14 @@ sealed abstract class List[T] {
case Cons(h, t) =>
t.lastOption.orElse(Some(h))
case Nil() =>
- None()
+ None[T]()
}} ensuring { _.isDefined != this.isEmpty }
def firstOption: Option[T] = { this match {
case Cons(h, t) =>
Some(h)
case Nil() =>
- None()
+ None[T]()
}} ensuring { _.isDefined != this.isEmpty }
def unique: List[T] = this match {
--
GitLab