From 68af29282f26a4e1fe248115ad3416d8e7231771 Mon Sep 17 00:00:00 2001
From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch>
Date: Wed, 20 Aug 2014 18:46:52 +0200
Subject: [PATCH] Pretty printing fixes/improvements
---
src/main/scala/leon/purescala/PrettyPrinter.scala | 15 ++++++++++-----
1 file changed, 10 insertions(+), 5 deletions(-)
diff --git a/src/main/scala/leon/purescala/PrettyPrinter.scala b/src/main/scala/leon/purescala/PrettyPrinter.scala
index 1c6c95cb1..0d9b42aa9 100644
--- a/src/main/scala/leon/purescala/PrettyPrinter.scala
+++ b/src/main/scala/leon/purescala/PrettyPrinter.scala
@@ -431,11 +431,16 @@ class PrettyPrinter(opts: PrinterOptions, val sb: StringBuffer = new StringBuffe
p"""|@$a
|"""
}
-
-
- p"""|def ${fd.id}(${fd.params}): ${fd.returnType} = {
- |"""
-
+
+ if (!fd.tparams.isEmpty) {
+ p"""|def ${fd.id}[${nary(fd.tparams, ",")}](${fd.params}): ${fd.returnType} = {
+ |"""
+ } else {
+ p"""|def ${fd.id}(${fd.params}): ${fd.returnType} = {
+ |"""
+ }
+
+
fd.precondition.foreach { case pre =>
p"""| require($pre)
|"""
--
GitLab