diff options
Diffstat (limited to 'ddl/out/LambdaCube.TypeInfo.hpp')
-rw-r--r-- | ddl/out/LambdaCube.TypeInfo.hpp | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/ddl/out/LambdaCube.TypeInfo.hpp b/ddl/out/LambdaCube.TypeInfo.hpp index 6e302f3..dd6b023 100644 --- a/ddl/out/LambdaCube.TypeInfo.hpp +++ b/ddl/out/LambdaCube.TypeInfo.hpp | |||
@@ -1,5 +1,5 @@ | |||
1 | // generated file, do not modify! | 1 | // generated file, do not modify! |
2 | // 2016-02-12T16:05:13.364534000000Z | 2 | // 2016-02-26T10:42:57.376331000000Z |
3 | 3 | ||
4 | #ifndef HEADER_LambdaCube.TypeInfo_H | 4 | #ifndef HEADER_LambdaCube.TypeInfo_H |
5 | #define HEADER_LambdaCube.TypeInfo_H | 5 | #define HEADER_LambdaCube.TypeInfo_H |
@@ -25,26 +25,26 @@ namespace data { | |||
25 | TypeInfo() { tag = tag::TypeInfo; } | 25 | TypeInfo() { tag = tag::TypeInfo; } |
26 | }; | 26 | }; |
27 | } | 27 | } |
28 | class MyEither { | 28 | class CompileResult { |
29 | public: | 29 | public: |
30 | enum class tag { | 30 | enum class tag { |
31 | MyLeft, | 31 | CompileError, |
32 | MyRight | 32 | Compiled |
33 | } tag; | 33 | } tag; |
34 | }; | 34 | }; |
35 | namespace data { | 35 | namespace data { |
36 | class MyLeft : public ::MyEither { | 36 | class CompileError : public ::CompileResult { |
37 | public: | 37 | public: |
38 | std::shared_ptr<::TypeInfo> _0; | 38 | std::vector<std::shared_ptr<::TypeInfo>> _0; |
39 | std::vector<std::shared_ptr<::TypeInfo>> _1; | 39 | std::vector<std::shared_ptr<::TypeInfo>> _1; |
40 | MyLeft() { tag = tag::MyLeft; } | 40 | CompileError() { tag = tag::CompileError; } |
41 | }; | 41 | }; |
42 | class MyRight : public ::MyEither { | 42 | class Compiled : public ::CompileResult { |
43 | public: | 43 | public: |
44 | String _0; | 44 | String _0; |
45 | std::shared_ptr<::Pipeline> _1; | 45 | std::shared_ptr<::Pipeline> _1; |
46 | std::vector<std::shared_ptr<::TypeInfo>> _2; | 46 | std::vector<std::shared_ptr<::TypeInfo>> _2; |
47 | MyRight() { tag = tag::MyRight; } | 47 | Compiled() { tag = tag::Compiled; } |
48 | }; | 48 | }; |
49 | } | 49 | } |
50 | #endif | 50 | #endif |