Create a static constructor only for types that don't already define one.

Fix a problem in two of the heaps where the AST for "type Type;" wasn't getting created.

1 files changed, 6 insertions, 0 deletions

diff --git a/BCT/BytecodeTranslator/Heap.cs b/BCT/BytecodeTranslator/Heap.cs
index 919ab243..4bd086c0 100644
--- a/BCT/BytecodeTranslator/Heap.cs
+++ b/BCT/BytecodeTranslator/Heap.cs
@@ -67,6 +67,9 @@ procedure {:inline 1} Alloc() returns (x: int)
       program = null;

       string prelude = this.InitialPreludeText + this.DelegateEncodingText;

       var b = RepresentationFor.ParsePrelude(prelude, this, out program);

+      if (b) {

+        this.TypeType = new Bpl.CtorType(this.TypeTypeDecl.tok, this.TypeTypeDecl, new Bpl.TypeSeq());

+      }

       return b;

     }

 

@@ -305,6 +308,9 @@ procedure {:inline 1} Alloc() returns (x: int)
       program = null;

       string prelude = this.InitialPreludeText + this.DelegateEncodingText;

       var b = RepresentationFor.ParsePrelude(prelude, this, out program);

+      if (b) {

+        this.TypeType = new Bpl.CtorType(this.TypeTypeDecl.tok, this.TypeTypeDecl, new Bpl.TypeSeq());

+      }

       return b;

     }