summaryrefslogtreecommitdiff
path: root/ddl/out/LambdaCube.TypeInfo.purs
diff options
context:
space:
mode:
Diffstat (limited to 'ddl/out/LambdaCube.TypeInfo.purs')
-rw-r--r--ddl/out/LambdaCube.TypeInfo.purs16
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
4module LambdaCube.TypeInfo where 4module LambdaCube.TypeInfo where
5import Prelude 5import Prelude
@@ -51,7 +51,7 @@ data ErrorInfo
51 51
52 52
53data CompileResult 53data 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
130instance encodeJsonErrorInfo :: EncodeJson ErrorInfo where 131instance 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
151instance encodeJsonCompileResult :: EncodeJson CompileResult where 153instance 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
156instance decodeJsonCompileResult :: DecodeJson CompileResult where 158instance 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