From d80e434d11f09b55dc46e5509a28cad19327b5ac Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Tue, 18 Oct 2016 08:05:18 +0200
Subject: [PATCH] Small fixes in various transformers
---
src/main/scala/inox/ast/TreeOps.scala | 2 ++
src/main/scala/inox/transformers/TransformerWithPC.scala | 2 +-
2 files changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/main/scala/inox/ast/TreeOps.scala b/src/main/scala/inox/ast/TreeOps.scala
index 5013774f7..5b44cc92d 100644
--- a/src/main/scala/inox/ast/TreeOps.scala
+++ b/src/main/scala/inox/ast/TreeOps.scala
@@ -32,6 +32,8 @@ trait TreeOps { self: Trees =>
class SymbolIdentity extends SymbolTransformer {
val transformer = TreeIdentity
+ override protected final def transformFunction(fd: s.FunDef): t.FunDef = sys.error("unexpected")
+ override protected final def transformADT(adt: s.ADTDefinition): t.ADTDefinition = sys.error("unexpected")
override def transform(syms: s.Symbols): t.Symbols = syms
}
diff --git a/src/main/scala/inox/transformers/TransformerWithPC.scala b/src/main/scala/inox/transformers/TransformerWithPC.scala
index a00dde177..1714f9d9d 100644
--- a/src/main/scala/inox/transformers/TransformerWithPC.scala
+++ b/src/main/scala/inox/transformers/TransformerWithPC.scala
@@ -7,7 +7,7 @@ package transformers
trait TransformerWithPC extends Transformer {
val program: Program
import program._
- final val trees: program.trees.type = program.trees
+ final lazy val trees: program.trees.type = program.trees
import trees._
import symbols._
type Env = Path
--
GitLab