1 files changed, 63 insertions, 5 deletions

diff --git a/ddl/out/LambdaCube.TypeInfo.hs b/ddl/out/LambdaCube.TypeInfo.hs
index 03346b6..9632fff 100644
--- a/ddl/out/LambdaCube.TypeInfo.hs
+++ b/ddl/out/LambdaCube.TypeInfo.hs
@@ -1,5 +1,5 @@
 -- generated file, do not modify!
--- 2016-09-15T19:44:48.120020034Z
+-- 2016-11-10T15:07:11.972496000000Z
 
 {-# LANGUAGE OverloadedStrings, RecordWildCards #-}
 module LambdaCube.TypeInfo where
@@ -35,9 +35,25 @@ data TypeInfo
 
   deriving (Show, Eq, Ord)
 
+data WarningInfo
+  = WarningInfo
+  { wRange :: Range
+  , wText :: String
+  }
+
+  deriving (Show, Eq, Ord)
+
+data ErrorInfo
+  = ErrorInfo
+  { eRange :: Range
+  , eText :: String
+  }
+
+  deriving (Show, Eq, Ord)
+
 data CompileResult
-  = CompileError (Vector Range) String (Vector TypeInfo)
-  | Compiled String String Pipeline (Vector TypeInfo)
+  = CompileError (Vector TypeInfo) (Vector WarningInfo) (Vector ErrorInfo)
+  | Compiled String String Pipeline (Vector TypeInfo) (Vector WarningInfo)
   deriving (Show, Eq, Ord)
 
 
@@ -89,16 +105,58 @@ instance FromJSON TypeInfo where
           } 
   parseJSON _ = mzero
 
+instance ToJSON WarningInfo where
+  toJSON v = case v of
+    WarningInfo{..} -> object
+      [ "tag" .= ("WarningInfo" :: Text)
+      , "wRange" .= wRange
+      , "wText" .= wText
+      ]
+
+instance FromJSON WarningInfo where
+  parseJSON (Object obj) = do
+    tag <- obj .: "tag"
+    case tag :: Text of
+      "WarningInfo" -> do
+        wRange <- obj .: "wRange"
+        wText <- obj .: "wText"
+        pure $ WarningInfo
+          { wRange = wRange
+          , wText = wText
+          } 
+  parseJSON _ = mzero
+
+instance ToJSON ErrorInfo where
+  toJSON v = case v of
+    ErrorInfo{..} -> object
+      [ "tag" .= ("ErrorInfo" :: Text)
+      , "eRange" .= eRange
+      , "eText" .= eText
+      ]
+
+instance FromJSON ErrorInfo where
+  parseJSON (Object obj) = do
+    tag <- obj .: "tag"
+    case tag :: Text of
+      "ErrorInfo" -> do
+        eRange <- obj .: "eRange"
+        eText <- obj .: "eText"
+        pure $ ErrorInfo
+          { eRange = eRange
+          , eText = eText
+          } 
+  parseJSON _ = mzero
+
 instance ToJSON CompileResult where
   toJSON v = case v of
     CompileError arg0 arg1 arg2 -> object [ "tag" .= ("CompileError" :: Text), "arg0" .= arg0, "arg1" .= arg1, "arg2" .= arg2]
-    Compiled arg0 arg1 arg2 arg3 -> object [ "tag" .= ("Compiled" :: Text), "arg0" .= arg0, "arg1" .= arg1, "arg2" .= arg2, "arg3" .= arg3]
+    Compiled arg0 arg1 arg2 arg3 arg4 -> object [ "tag" .= ("Compiled" :: Text), "arg0" .= arg0, "arg1" .= arg1, "arg2" .= arg2, "arg3" .= arg3, "arg4" .= arg4]
 
 instance FromJSON CompileResult where
   parseJSON (Object obj) = do
     tag <- obj .: "tag"
     case tag :: Text of
       "CompileError" -> CompileError <$> obj .: "arg0" <*> obj .: "arg1" <*> obj .: "arg2"
-      "Compiled" -> Compiled <$> obj .: "arg0" <*> obj .: "arg1" <*> obj .: "arg2" <*> obj .: "arg3"
+      "Compiled" -> Compiled <$> obj .: "arg0" <*> obj .: "arg1" <*> obj .: "arg2" <*> obj .: "arg3" <*> obj .: "arg4"
   parseJSON _ = mzero