From c361740ede214cd8dca34e1ff5cf60ddd45c66a3 Mon Sep 17 00:00:00 2001
From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch>
Date: Mon, 17 Mar 2014 21:20:53 +0100
Subject: [PATCH] MethodLifting compatible with Scala-legal printing
---
src/main/scala/leon/purescala/MethodLifting.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/purescala/MethodLifting.scala b/src/main/scala/leon/purescala/MethodLifting.scala
index 25d717c7b..d329b2949 100644
--- a/src/main/scala/leon/purescala/MethodLifting.scala
+++ b/src/main/scala/leon/purescala/MethodLifting.scala
@@ -24,10 +24,10 @@ object MethodLifting extends TransformationPhase {
// We import class type params
val ctParams = cd.tparams
- val id = FreshIdentifier(cd.id.name+"."+fd.id.name).setPos(fd.id)
+ val id = FreshIdentifier(cd.id.name+"$"+fd.id.name).setPos(fd.id)
val recType = classDefToClassType(cd, ctParams.map(_.tp))
- val receiver = FreshIdentifier("this").setType(recType).setPos(cd.id)
+ val receiver = FreshIdentifier("$this").setType(recType).setPos(cd.id)
val nfd = new FunDef(id, ctParams ++ fd.tparams, fd.returnType, ValDef(receiver, recType) +: fd.params)
nfd.postcondition = fd.postcondition
--
GitLab