Start of derived types (aka "new types")

Fixed bug in type checking for integer division.

1 files changed, 8 insertions, 0 deletions

diff --git a/Source/Dafny/Printer.cs b/Source/Dafny/Printer.cs
index bfbc9644..459cbcef 100644
--- a/Source/Dafny/Printer.cs
+++ b/Source/Dafny/Printer.cs
@@ -140,6 +140,14 @@ namespace Microsoft.Dafny {
           PrintClassMethodHelper("type", at.Attributes, at.Name, new List<TypeParameter>());

           wr.Write(EqualitySupportSuffix(at.EqualitySupport));

           wr.WriteLine();

+        } else if (d is DerivedTypeDecl) {

+          var dd = (DerivedTypeDecl)d;

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

+          Indent(indent);

+          PrintClassMethodHelper("type", dd.Attributes, dd.Name, new List<TypeParameter>());

+          wr.Write(" = new ");

+          PrintType(dd.BaseType);

+          wr.WriteLine();

         } else if (d is TypeSynonymDecl) {

           var syn = (TypeSynonymDecl)d;

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