Finished up refactoring of the new name segment parsing, AST, and resolution.

Removed now defunct IdentifierSequence from the AST.

1 files changed, 0 insertions, 13 deletions

diff --git a/Source/Dafny/Printer.cs b/Source/Dafny/Printer.cs
index 856c6085..58c03069 100644
--- a/Source/Dafny/Printer.cs
+++ b/Source/Dafny/Printer.cs
@@ -1855,19 +1855,6 @@ namespace Microsoft.Dafny {
         PrintExpr(e.E, opBindingStrength, containsNestedNegation, parensNeeded || isRightmost, !parensNeeded && isFollowedBySemicolon, -1);

         if (parensNeeded) { wr.Write(")"); }

 

-      } else if (expr is IdentifierSequence) {

-        var e = (IdentifierSequence)expr;

-        string sep = "";

-        string name = null;

-        foreach (var id in e.Tokens) {

-          name = id.val;

-          wr.Write("{0}{1}", sep, name);

-          sep = ".";

-        }

-        if (e.Arguments != null) {

-          PrintActualArguments(e.Arguments, name);

-        }

-

       } else if (expr is MatchExpr) {

         var e = (MatchExpr)expr;

         var parensNeeded = !isRightmost && !e.UsesOptionalBraces;