diff options
Diffstat (limited to 'ddl/out/LambdaCube.TypeInfo.hs')
-rw-r--r-- | ddl/out/LambdaCube.TypeInfo.hs | 8 |
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 #-} |
5 | module LambdaCube.TypeInfo where | 5 | module LambdaCube.TypeInfo where |
@@ -52,7 +52,7 @@ data ErrorInfo | |||
52 | deriving (Show, Eq, Ord) | 52 | deriving (Show, Eq, Ord) |
53 | 53 | ||
54 | data CompileResult | 54 | data 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 | ||
150 | instance ToJSON CompileResult where | 150 | instance 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 | ||
155 | instance FromJSON CompileResult where | 155 | instance 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 | ||