Added type synonyms. (No support yet for these in refinements.)

1 files changed, 8 insertions, 0 deletions

diff --git a/Source/Dafny/Printer.cs b/Source/Dafny/Printer.cs
index 440fcc68..49121848 100644
--- a/Source/Dafny/Printer.cs
+++ b/Source/Dafny/Printer.cs
@@ -142,6 +142,14 @@ namespace Microsoft.Dafny {
             wr.Write("(==)");

           }

           wr.WriteLine();

+        } else if (d is TypeSynonymDecl) {

+          var syn = (TypeSynonymDecl)d;

+          if (i++ != 0) { wr.WriteLine(); }

+          Indent(indent);

+          PrintClassMethodHelper("type", syn.Attributes, syn.Name, syn.TypeArgs);

+          wr.Write(" = ");

+          PrintType(syn.Rhs);

+          wr.WriteLine();

         } else if (d is DatatypeDecl) {

           if (i++ != 0) { wr.WriteLine(); }

           PrintDatatype((DatatypeDecl)d, indent);