Switched use of List(IToken) in UserDefinedType to NameSegment/ExprDotName, so use the new name resolution machinery that handles modules and type parameters

Included some inadvertently left-out test cases in dafny0/Modules0.dfy
Fixed comparable-types tests

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Dafny/Rewriter.cs b/Source/Dafny/Rewriter.cs
index eca1a353..f8f4b218 100644
--- a/Source/Dafny/Rewriter.cs
+++ b/Source/Dafny/Rewriter.cs
@@ -182,7 +182,7 @@ namespace Microsoft.Dafny
       Contract.Assert(ReprField != null);  // we expect there to be a "Repr" field, since we added one in PreResolve

 

       Boogie.IToken clTok = new AutoGeneratedToken(cl.tok);

-      Type ty = new UserDefinedType(clTok, cl.Name, cl, new List<Type>());

+      Type ty = new UserDefinedType(clTok, cl.Name, cl, cl.TypeArgs.ConvertAll(tp => (Type)new UserDefinedType(tp)));

       var self = new ThisExpr(clTok);

       self.Type = ty;

       var implicitSelf = new ImplicitThisExpr(clTok);