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, 4 insertions, 3 deletions

diff --git a/Test/hofs/Consequence.dfy b/Test/hofs/Consequence.dfy
index 35934470..9c62a6ba 100644
--- a/Test/hofs/Consequence.dfy
+++ b/Test/hofs/Consequence.dfy
@@ -1,9 +1,10 @@
 // RUN: %dafny /compile:0 "%s" > "%t"
 // RUN: %diff "%s.expect" "%t"
 
+newtype Nat = x | 0 <= x
+
 method Check() {
-  var f : nat -> nat;
+  var f : Nat -> Nat;
   assume f.requires(0);
-  var i : nat := f(0);
+  var i : Nat := f(0);
 }
-