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 01bf5a6..38a3e48 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-02-26T11:29:11.823283000000Z | 2 | -- 2016-02-26T11:37:22.609565000000Z |
3 | 3 | ||
4 | {-# LANGUAGE OverloadedStrings, RecordWildCards #-} | 4 | {-# LANGUAGE OverloadedStrings, RecordWildCards #-} |
5 | module LambdaCube.TypeInfo where | 5 | module LambdaCube.TypeInfo where |
@@ -36,7 +36,7 @@ data TypeInfo | |||
36 | deriving (Show, Eq, Ord) | 36 | deriving (Show, Eq, Ord) |
37 | 37 | ||
38 | data CompileResult | 38 | data CompileResult |
39 | = CompileError (Vector TypeInfo) (Vector TypeInfo) | 39 | = CompileError (Vector Range) String (Vector TypeInfo) |
40 | | Compiled String Pipeline (Vector TypeInfo) | 40 | | Compiled String Pipeline (Vector TypeInfo) |
41 | deriving (Show, Eq, Ord) | 41 | deriving (Show, Eq, Ord) |
42 | 42 | ||
@@ -91,14 +91,14 @@ instance FromJSON TypeInfo where | |||
91 | 91 | ||
92 | instance ToJSON CompileResult where | 92 | instance ToJSON CompileResult where |
93 | toJSON v = case v of | 93 | toJSON v = case v of |
94 | CompileError arg0 arg1 -> object [ "tag" .= ("CompileError" :: Text), "arg0" .= arg0, "arg1" .= arg1] | 94 | CompileError arg0 arg1 arg2 -> object [ "tag" .= ("CompileError" :: Text), "arg0" .= arg0, "arg1" .= arg1, "arg2" .= arg2] |
95 | Compiled arg0 arg1 arg2 -> object [ "tag" .= ("Compiled" :: Text), "arg0" .= arg0, "arg1" .= arg1, "arg2" .= arg2] | 95 | Compiled arg0 arg1 arg2 -> object [ "tag" .= ("Compiled" :: Text), "arg0" .= arg0, "arg1" .= arg1, "arg2" .= arg2] |
96 | 96 | ||
97 | instance FromJSON CompileResult where | 97 | instance FromJSON CompileResult where |
98 | parseJSON (Object obj) = do | 98 | parseJSON (Object obj) = do |
99 | tag <- obj .: "tag" | 99 | tag <- obj .: "tag" |
100 | case tag :: Text of | 100 | case tag :: Text of |
101 | "CompileError" -> CompileError <$> obj .: "arg0" <*> obj .: "arg1" | 101 | "CompileError" -> CompileError <$> obj .: "arg0" <*> obj .: "arg1" <*> obj .: "arg2" |
102 | "Compiled" -> Compiled <$> obj .: "arg0" <*> obj .: "arg1" <*> obj .: "arg2" | 102 | "Compiled" -> Compiled <$> obj .: "arg0" <*> obj .: "arg1" <*> obj .: "arg2" |
103 | parseJSON _ = mzero | 103 | parseJSON _ = mzero |
104 | 104 | ||