summaryrefslogtreecommitdiff
path: root/ddl/out/LambdaCube.TypeInfo.hs
diff options
context:
space:
mode:
Diffstat (limited to 'ddl/out/LambdaCube.TypeInfo.hs')
-rw-r--r--ddl/out/LambdaCube.TypeInfo.hs8
1 files changed, 4 insertions, 4 deletions
diff --git a/ddl/out/LambdaCube.TypeInfo.hs b/ddl/out/LambdaCube.TypeInfo.hs
index 9632fff..5195f98 100644
--- a/ddl/out/LambdaCube.TypeInfo.hs
+++ b/ddl/out/LambdaCube.TypeInfo.hs
@@ -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{-# LANGUAGE OverloadedStrings, RecordWildCards #-} 4{-# LANGUAGE OverloadedStrings, RecordWildCards #-}
5module LambdaCube.TypeInfo where 5module LambdaCube.TypeInfo where
@@ -52,7 +52,7 @@ data ErrorInfo
52 deriving (Show, Eq, Ord) 52 deriving (Show, Eq, Ord)
53 53
54data CompileResult 54data CompileResult
55 = CompileError (Vector TypeInfo) (Vector WarningInfo) (Vector ErrorInfo) 55 = CompileError String (Vector TypeInfo) (Vector WarningInfo) (Vector ErrorInfo)
56 | Compiled String String Pipeline (Vector TypeInfo) (Vector WarningInfo) 56 | Compiled String String Pipeline (Vector TypeInfo) (Vector WarningInfo)
57 deriving (Show, Eq, Ord) 57 deriving (Show, Eq, Ord)
58 58
@@ -149,14 +149,14 @@ instance FromJSON ErrorInfo where
149 149
150instance ToJSON CompileResult where 150instance ToJSON CompileResult where
151 toJSON v = case v of 151 toJSON v = case v of
152 CompileError arg0 arg1 arg2 -> object [ "tag" .= ("CompileError" :: Text), "arg0" .= arg0, "arg1" .= arg1, "arg2" .= arg2] 152 CompileError arg0 arg1 arg2 arg3 -> object [ "tag" .= ("CompileError" :: Text), "arg0" .= arg0, "arg1" .= arg1, "arg2" .= arg2, "arg3" .= arg3]
153 Compiled arg0 arg1 arg2 arg3 arg4 -> object [ "tag" .= ("Compiled" :: Text), "arg0" .= arg0, "arg1" .= arg1, "arg2" .= arg2, "arg3" .= arg3, "arg4" .= arg4] 153 Compiled arg0 arg1 arg2 arg3 arg4 -> object [ "tag" .= ("Compiled" :: Text), "arg0" .= arg0, "arg1" .= arg1, "arg2" .= arg2, "arg3" .= arg3, "arg4" .= arg4]
154 154
155instance FromJSON CompileResult where 155instance FromJSON CompileResult where
156 parseJSON (Object obj) = do 156 parseJSON (Object obj) = do
157 tag <- obj .: "tag" 157 tag <- obj .: "tag"
158 case tag :: Text of 158 case tag :: Text of
159 "CompileError" -> CompileError <$> obj .: "arg0" <*> obj .: "arg1" <*> obj .: "arg2" 159 "CompileError" -> CompileError <$> obj .: "arg0" <*> obj .: "arg1" <*> obj .: "arg2" <*> obj .: "arg3"
160 "Compiled" -> Compiled <$> obj .: "arg0" <*> obj .: "arg1" <*> obj .: "arg2" <*> obj .: "arg3" <*> obj .: "arg4" 160 "Compiled" -> Compiled <$> obj .: "arg0" <*> obj .: "arg1" <*> obj .: "arg2" <*> obj .: "arg3" <*> obj .: "arg4"
161 parseJSON _ = mzero 161 parseJSON _ = mzero
162 162