diff options
Diffstat (limited to 'ddl/out/LambdaCube.TypeInfo.purs')
-rw-r--r-- | ddl/out/LambdaCube.TypeInfo.purs | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/ddl/out/LambdaCube.TypeInfo.purs b/ddl/out/LambdaCube.TypeInfo.purs index 28854e1..a7b5705 100644 --- a/ddl/out/LambdaCube.TypeInfo.purs +++ b/ddl/out/LambdaCube.TypeInfo.purs | |||
@@ -1,14 +1,15 @@ | |||
1 | -- generated file, do not modify! | 1 | -- generated file, do not modify! |
2 | -- 2016-11-11T11:17:03.605012000000Z | 2 | -- 2016-11-12T12:48:59.998839000000Z |
3 | 3 | ||
4 | module LambdaCube.TypeInfo where | 4 | module LambdaCube.TypeInfo where |
5 | import Prelude | 5 | import Prelude |
6 | import Data.Generic | 6 | import Data.Generic |
7 | import Data.Either (Either(..)) | ||
7 | import Data.Maybe (Maybe(..)) | 8 | import Data.Maybe (Maybe(..)) |
8 | import Data.StrMap (StrMap(..)) | 9 | import Data.StrMap (StrMap(..)) |
9 | import Data.Map (Map(..)) | 10 | import Data.Map (Map(..)) |
10 | import Data.List (List(..)) | 11 | import Data.List (List(..)) |
11 | import Linear | 12 | import LinearBase |
12 | 13 | ||
13 | import Data.Argonaut.Encode.Combinators ((~>), (:=)) | 14 | import Data.Argonaut.Encode.Combinators ((~>), (:=)) |
14 | import Data.Argonaut.Decode.Combinators ((.?)) | 15 | import Data.Argonaut.Decode.Combinators ((.?)) |
@@ -16,7 +17,6 @@ import Data.Argonaut.Core (jsonEmptyObject) | |||
16 | import Data.Argonaut.Printer (printJson) | 17 | import Data.Argonaut.Printer (printJson) |
17 | import Data.Argonaut.Encode (class EncodeJson, encodeJson) | 18 | import Data.Argonaut.Encode (class EncodeJson, encodeJson) |
18 | import Data.Argonaut.Decode (class DecodeJson, decodeJson) | 19 | import Data.Argonaut.Decode (class DecodeJson, decodeJson) |
19 | import Partial.Unsafe (unsafeCrashWith) | ||
20 | 20 | ||
21 | import LambdaCube.IR | 21 | import LambdaCube.IR |
22 | 22 | ||
@@ -82,7 +82,7 @@ instance decodeJsonRange :: DecodeJson Range where | |||
82 | , endLine:endLine | 82 | , endLine:endLine |
83 | , endColumn:endColumn | 83 | , endColumn:endColumn |
84 | } | 84 | } |
85 | _ -> unsafeCrashWith "decodeJson @ Range" | 85 | _ -> Left ("decodeJsonRange - unknown tag: " <> tag) |
86 | 86 | ||
87 | instance encodeJsonTypeInfo :: EncodeJson TypeInfo where | 87 | instance encodeJsonTypeInfo :: EncodeJson TypeInfo where |
88 | encodeJson v = case v of | 88 | encodeJson v = case v of |
@@ -104,7 +104,7 @@ instance decodeJsonTypeInfo :: DecodeJson TypeInfo where | |||
104 | { range:range | 104 | { range:range |
105 | , text:text | 105 | , text:text |
106 | } | 106 | } |
107 | _ -> unsafeCrashWith "decodeJson @ TypeInfo" | 107 | _ -> Left ("decodeJsonTypeInfo - unknown tag: " <> tag) |
108 | 108 | ||
109 | instance encodeJsonWarningInfo :: EncodeJson WarningInfo where | 109 | instance encodeJsonWarningInfo :: EncodeJson WarningInfo where |
110 | encodeJson v = case v of | 110 | encodeJson v = case v of |
@@ -126,7 +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 | _ -> Left ("decodeJsonWarningInfo - unknown tag: " <> tag) |
130 | 130 | ||
131 | instance encodeJsonErrorInfo :: EncodeJson ErrorInfo where | 131 | instance encodeJsonErrorInfo :: EncodeJson ErrorInfo where |
132 | encodeJson v = case v of | 132 | encodeJson v = case v of |
@@ -148,7 +148,7 @@ instance decodeJsonErrorInfo :: DecodeJson ErrorInfo where | |||
148 | { eRange:eRange | 148 | { eRange:eRange |
149 | , eText:eText | 149 | , eText:eText |
150 | } | 150 | } |
151 | _ -> unsafeCrashWith "decodeJson @ ErrorInfo" | 151 | _ -> Left ("decodeJsonErrorInfo - unknown tag: " <> tag) |
152 | 152 | ||
153 | instance encodeJsonCompileResult :: EncodeJson CompileResult where | 153 | instance encodeJsonCompileResult :: EncodeJson CompileResult where |
154 | encodeJson v = case v of | 154 | encodeJson v = case v of |
@@ -162,5 +162,5 @@ instance decodeJsonCompileResult :: DecodeJson CompileResult where | |||
162 | case tag of | 162 | case tag of |
163 | "CompileError" -> CompileError <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" <*> obj .? "arg3" | 163 | "CompileError" -> CompileError <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" <*> obj .? "arg3" |
164 | "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" |
165 | _ -> unsafeCrashWith "decodeJson @ CompileResult" | 165 | _ -> Left ("decodeJsonCompileResult - unknown tag: " <> tag) |
166 | 166 | ||