From 3943ee912d5f89267314a01dcae23b29730112dc Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Fri, 1 Apr 2016 16:40:40 +0200
Subject: [PATCH] Fix codegen to use unique names for lambdas
---
src/main/scala/leon/codegen/CodeGeneration.scala | 3 ++-
src/main/scala/leon/codegen/CompilationUnit.scala | 1 -
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/codegen/CodeGeneration.scala b/src/main/scala/leon/codegen/CodeGeneration.scala
index 866c3ce09..960e57ff8 100644
--- a/src/main/scala/leon/codegen/CodeGeneration.scala
+++ b/src/main/scala/leon/codegen/CodeGeneration.scala
@@ -245,7 +245,8 @@ trait CodeGeneration {
((if (tparams.nonEmpty) Seq(tpsID -> "[I") else Seq.empty) ++ closuresWithoutMonitor)
val afName = lambdaToClass.getOrElse(nl, {
- val afName = "Leon$CodeGen$Lambda$" + lambdaCounter.nextGlobal
+ val afId = FreshIdentifier("Leon$CodeGen$Lambda$")
+ val afName = afId.uniqueName
lambdaToClass += nl -> afName
classToLambda += afName -> nl
diff --git a/src/main/scala/leon/codegen/CompilationUnit.scala b/src/main/scala/leon/codegen/CompilationUnit.scala
index cd6bad57e..e8bd40eb2 100644
--- a/src/main/scala/leon/codegen/CompilationUnit.scala
+++ b/src/main/scala/leon/codegen/CompilationUnit.scala
@@ -582,6 +582,5 @@ class CompilationUnit(val ctx: LeonContext,
}
private [codegen] object exprCounter extends UniqueCounter[Unit]
-private [codegen] object lambdaCounter extends UniqueCounter[Unit]
private [codegen] object forallCounter extends UniqueCounter[Unit]
--
GitLab