Implement module export so we can export a subset of items defined in the

module.

1 files changed, 5 insertions, 0 deletions

diff --git a/Source/Dafny/Cloner.cs b/Source/Dafny/Cloner.cs
index 6b3b0caa..8971d2c1 100644
--- a/Source/Dafny/Cloner.cs
+++ b/Source/Dafny/Cloner.cs
@@ -126,6 +126,11 @@ namespace Microsoft.Dafny
           abs.Signature = a.Signature;

           abs.OriginalSignature = a.OriginalSignature;

           return abs;

+        } else if (d is ModuleExportDecl) {

+          var a = (ModuleExportDecl)d;

+          var export = new ModuleExportDecl(a.tok, m, a.IsDefault, a.Exports, a.Extends);

+          export.Signature = a.Signature;

+          return export;

         } else {

           Contract.Assert(false);  // unexpected declaration

           return null;  // to please compiler