From a0c71ccf9b197a490991cec9c35b5efab8d78f1c Mon Sep 17 00:00:00 2001
From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch>
Date: Tue, 3 Feb 2015 17:39:53 +0100
Subject: [PATCH] BaseGrammar should not produce GenericValues
---
src/main/scala/leon/synthesis/utils/ExpressionGrammar.scala | 4 ----
1 file changed, 4 deletions(-)
diff --git a/src/main/scala/leon/synthesis/utils/ExpressionGrammar.scala b/src/main/scala/leon/synthesis/utils/ExpressionGrammar.scala
index e9d79114e..d555318ba 100644
--- a/src/main/scala/leon/synthesis/utils/ExpressionGrammar.scala
+++ b/src/main/scala/leon/synthesis/utils/ExpressionGrammar.scala
@@ -95,10 +95,6 @@ object ExpressionGrammars {
Generator(List(Int32Type, Int32Type), { case Seq(a,b) => Times(a, b) })
)
- case tp@TypeParameter(_) =>
- for (ind <- (1 to 3).toList) yield
- Generator[TypeTree, Expr](Nil, { _ => GenericValue(tp, ind) } )
-
case TupleType(stps) =>
List(Generator(stps, { sub => Tuple(sub) }))
--
GitLab