Change Synonym type printing to what it was, use a workaround in TypeToString() instead. Add test for /typeEncoding:m.

1 files changed, 2 insertions, 3 deletions

diff --git a/Source/Core/AbsyType.ssc b/Source/Core/AbsyType.ssc
index 6079163a..55b8913f 100644
--- a/Source/Core/AbsyType.ssc
+++ b/Source/Core/AbsyType.ssc
@@ -63,7 +63,7 @@ namespace Microsoft.Boogie
       }

       return buffer.ToString();

     }

-

+    

     //-----------  Equality  ----------------------------------

 

     [Pure][Reads(ReadsAttribute.Reads.Nothing)]

@@ -2131,8 +2131,7 @@ namespace Microsoft.Boogie
     public override void Emit(TokenTextWriter! stream, int contextBindingStrength) 

     {

       stream.SetToken(this);

-      ExpandedType.Emit(stream, contextBindingStrength);      

-      // CtorType.EmitCtorType(this.Decl.Name, Arguments, stream, contextBindingStrength);

+      CtorType.EmitCtorType(this.Decl.Name, Arguments, stream, contextBindingStrength);

     }

 

     //-----------  Resolution  ----------------------------------