1 files changed, 95 insertions, 0 deletions

diff --git a/ddl/out/cpp/LambdaCube.TypeInfo.hpp b/ddl/out/cpp/LambdaCube.TypeInfo.hpp
new file mode 100644
index 0000000..8b5e74f
--- /dev/null
+++ b/ddl/out/cpp/LambdaCube.TypeInfo.hpp
@@ -0,0 +1,95 @@
+// generated file, do not modify!
+// 2016-11-11T11:17:03.605012000000Z
+
+#ifndef HEADER_LambdaCube.TypeInfo_H
+#define HEADER_LambdaCube.TypeInfo_H
+
+#include "RT.hpp"
+
+#include "LambdaCube.IR.hpp"
+
+class Range {
+  public:
+    enum class tag { 
+      Range
+    } tag;
+};
+namespace data { 
+  class Range : public ::Range {
+    public:
+      Int startLine;
+      Int startColumn;
+      Int endLine;
+      Int endColumn;
+      Range() { tag = tag::Range; }
+  };
+}
+class TypeInfo {
+  public:
+    enum class tag { 
+      TypeInfo
+    } tag;
+};
+namespace data { 
+  class TypeInfo : public ::TypeInfo {
+    public:
+      std::shared_ptr<::Range> range;
+      String text;
+      TypeInfo() { tag = tag::TypeInfo; }
+  };
+}
+class WarningInfo {
+  public:
+    enum class tag { 
+      WarningInfo
+    } tag;
+};
+namespace data { 
+  class WarningInfo : public ::WarningInfo {
+    public:
+      std::shared_ptr<::Range> wRange;
+      String wText;
+      WarningInfo() { tag = tag::WarningInfo; }
+  };
+}
+class ErrorInfo {
+  public:
+    enum class tag { 
+      ErrorInfo
+    } tag;
+};
+namespace data { 
+  class ErrorInfo : public ::ErrorInfo {
+    public:
+      std::shared_ptr<::Range> eRange;
+      String eText;
+      ErrorInfo() { tag = tag::ErrorInfo; }
+  };
+}
+class CompileResult {
+  public:
+    enum class tag { 
+      CompileError,
+      Compiled
+    } tag;
+};
+namespace data { 
+  class CompileError : public ::CompileResult {
+    public:
+      String _0;
+      std::vector<std::shared_ptr<::TypeInfo>> _1;
+      std::vector<std::shared_ptr<::WarningInfo>> _2;
+      std::vector<std::shared_ptr<::ErrorInfo>> _3;
+      CompileError() { tag = tag::CompileError; }
+  };
+  class Compiled : public ::CompileResult {
+    public:
+      String _0;
+      String _1;
+      std::shared_ptr<::Pipeline> _2;
+      std::vector<std::shared_ptr<::TypeInfo>> _3;
+      std::vector<std::shared_ptr<::WarningInfo>> _4;
+      Compiled() { tag = tag::Compiled; }
+  };
+}
+#endif