diff options
Diffstat (limited to 'ddl/out/LambdaCube.TypeInfo.purs')
-rw-r--r-- | ddl/out/LambdaCube.TypeInfo.purs | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/ddl/out/LambdaCube.TypeInfo.purs b/ddl/out/LambdaCube.TypeInfo.purs index db22d59..51911f2 100644 --- a/ddl/out/LambdaCube.TypeInfo.purs +++ b/ddl/out/LambdaCube.TypeInfo.purs | |||
@@ -1,5 +1,5 @@ | |||
1 | -- generated file, do not modify! | 1 | -- generated file, do not modify! |
2 | -- 2016-11-10T15:07:11.972496000000Z | 2 | -- 2016-11-10T16:02:38.361054000000Z |
3 | 3 | ||
4 | module LambdaCube.TypeInfo where | 4 | module LambdaCube.TypeInfo where |
5 | import Prelude | 5 | import Prelude |
@@ -51,7 +51,7 @@ data ErrorInfo | |||
51 | 51 | ||
52 | 52 | ||
53 | data CompileResult | 53 | data CompileResult |
54 | = CompileError (Array TypeInfo) (Array WarningInfo) (Array ErrorInfo) | 54 | = CompileError String (Array TypeInfo) (Array WarningInfo) (Array ErrorInfo) |
55 | | Compiled String String Pipeline (Array TypeInfo) (Array WarningInfo) | 55 | | Compiled String String Pipeline (Array TypeInfo) (Array WarningInfo) |
56 | 56 | ||
57 | 57 | ||
@@ -126,6 +126,7 @@ instance decodeJsonWarningInfo :: DecodeJson WarningInfo where | |||
126 | { wRange:wRange | 126 | { wRange:wRange |
127 | , wText:wText | 127 | , wText:wText |
128 | } | 128 | } |
129 | _ -> unsafeCrashWith "decodeJson @ WarningInfo" | ||
129 | 130 | ||
130 | instance encodeJsonErrorInfo :: EncodeJson ErrorInfo where | 131 | instance encodeJsonErrorInfo :: EncodeJson ErrorInfo where |
131 | encodeJson v = case v of | 132 | encodeJson v = case v of |
@@ -147,10 +148,11 @@ instance decodeJsonErrorInfo :: DecodeJson ErrorInfo where | |||
147 | { eRange:eRange | 148 | { eRange:eRange |
148 | , eText:eText | 149 | , eText:eText |
149 | } | 150 | } |
151 | _ -> unsafeCrashWith "decodeJson @ ErrorInfo" | ||
150 | 152 | ||
151 | instance encodeJsonCompileResult :: EncodeJson CompileResult where | 153 | instance encodeJsonCompileResult :: EncodeJson CompileResult where |
152 | encodeJson v = case v of | 154 | encodeJson v = case v of |
153 | CompileError arg0 arg1 arg2 -> "tag" := "CompileError" ~> "arg0" := arg0 ~> "arg1" := arg1 ~> "arg2" := arg2 ~> jsonEmptyObject | 155 | CompileError arg0 arg1 arg2 arg3 -> "tag" := "CompileError" ~> "arg0" := arg0 ~> "arg1" := arg1 ~> "arg2" := arg2 ~> "arg3" := arg3 ~> jsonEmptyObject |
154 | Compiled arg0 arg1 arg2 arg3 arg4 -> "tag" := "Compiled" ~> "arg0" := arg0 ~> "arg1" := arg1 ~> "arg2" := arg2 ~> "arg3" := arg3 ~> "arg4" := arg4 ~> jsonEmptyObject | 156 | Compiled arg0 arg1 arg2 arg3 arg4 -> "tag" := "Compiled" ~> "arg0" := arg0 ~> "arg1" := arg1 ~> "arg2" := arg2 ~> "arg3" := arg3 ~> "arg4" := arg4 ~> jsonEmptyObject |
155 | 157 | ||
156 | instance decodeJsonCompileResult :: DecodeJson CompileResult where | 158 | instance decodeJsonCompileResult :: DecodeJson CompileResult where |
@@ -158,11 +160,7 @@ instance decodeJsonCompileResult :: DecodeJson CompileResult where | |||
158 | obj <- decodeJson json | 160 | obj <- decodeJson json |
159 | tag <- obj .? "tag" | 161 | tag <- obj .? "tag" |
160 | case tag of | 162 | case tag of |
161 | "CompileError" -> CompileError <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" | 163 | "CompileError" -> CompileError <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" <*> obj .? "arg3" |
162 | <<<<<<< f4af737a0d4a1fd3b3c6babc2c119129df34f77d | ||
163 | "Compiled" -> Compiled <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" <*> obj .? "arg3" | ||
164 | _ -> unsafeCrashWith "decodeJson @ CompileResult" | ||
165 | ======= | ||
166 | "Compiled" -> Compiled <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" <*> obj .? "arg3" <*> obj .? "arg4" | 164 | "Compiled" -> Compiled <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" <*> obj .? "arg3" <*> obj .? "arg4" |
167 | >>>>>>> update type info to include warnings | 165 | _ -> unsafeCrashWith "decodeJson @ CompileResult" |
168 | 166 | ||