@@ -159,7 +159,7 @@ instance Json.FromJSON Type where
159 case value of
159 case value of
160 Json.String text ->
160 Json.String text ->
161 either failure (return . fromRawType)
161 either failure (return . fromRawType)
162− (Parse.iParse Type.expr (Text.unpack text))
162+ (Parse.iParse Type.expr (replacePrimes (Text.unpack text)))
164 Json.Object obj ->
164 Json.Object obj ->
165 fromObject obj
165 fromObject obj
@@ -168,6 +168,11 @@ instance Json.FromJSON Type where
168 failure ()
168 failure ()
171+replacePrimes :: String -> String
172+replacePrimes string =
173+ map (\c -> if c == '\'' then '_' else c) string
171fromObject :: Json.Object -> Json.Parser Type
176fromObject :: Json.Object -> Json.Parser Type
172fromObject obj =
177fromObject obj =
173 do tag <- obj .: "tag"
178 do tag <- obj .: "tag"