From 47028320b7a70d24eff9fde5dc7cd7ba9a3910ae Mon Sep 17 00:00:00 2001
From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch>
Date: Mon, 3 Nov 2014 15:24:48 +0100
Subject: [PATCH] Make Literals and LiteralPatterns covariant
---
src/main/scala/leon/purescala/Trees.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/purescala/Trees.scala b/src/main/scala/leon/purescala/Trees.scala
index 8cb92d293..60d915535 100644
--- a/src/main/scala/leon/purescala/Trees.scala
+++ b/src/main/scala/leon/purescala/Trees.scala
@@ -230,7 +230,7 @@ object Trees {
case class TuplePattern(binder: Option[Identifier], subPatterns: Seq[Pattern]) extends Pattern
- case class LiteralPattern[T](binder: Option[Identifier], lit : Literal[T]) extends Pattern {
+ case class LiteralPattern[+T](binder: Option[Identifier], lit : Literal[T]) extends Pattern {
val subPatterns = Seq()
}
@@ -431,7 +431,7 @@ object Trees {
}
/* Literals */
- sealed abstract class Literal[T] extends Expr with Terminal {
+ sealed abstract class Literal[+T] extends Expr with Terminal {
val value: T
}
--
GitLab