From 82e318bf7b2a0c65fa54bdcffc517c465e5dd24f Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Wed, 6 May 2015 18:10:39 +0200
Subject: [PATCH] Allow functions returning Unit in codegen evaluator
---
src/main/scala/leon/codegen/CompilationUnit.scala | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/main/scala/leon/codegen/CompilationUnit.scala b/src/main/scala/leon/codegen/CompilationUnit.scala
index cd4a720a4..138cefc9c 100644
--- a/src/main/scala/leon/codegen/CompilationUnit.scala
+++ b/src/main/scala/leon/codegen/CompilationUnit.scala
@@ -240,6 +240,9 @@ class CompilationUnit(val ctx: LeonContext,
}
finiteMap(pairs.toSeq, from, to)
+ case (_, UnitType) =>
+ UnitLiteral()
+
case _ =>
throw CompilationException("Unsupported return value : " + e.getClass +" while expecting "+tpe)
}
--
GitLab