git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
In error/warning link text, correctly say "error" or "warning"
7fbe93fMichael Gilliland
src/Language/PureScript/Errors.hs+6−1
compare with golang
unifiedsplit
@@ -392,7 +392,7 @@ prettyPrintSingleError full level e = prettyPrintErrorMessage <$> onTypesInError
392 prettyPrintErrorMessage em =
392 prettyPrintErrorMessage em =
393 paras $
393 paras $
394 go em:suggestions em ++
394 go em:suggestions em ++
395− [line $ "See " ++ wikiUri ++ " for more information, or to contribute content related to this error."]
395+ [line $ "See " ++ wikiUri ++ " for more information, or to contribute content related to this " ++ levelText ++ "."]
396 where
396 where
397 wikiUri :: String
397 wikiUri :: String
398 wikiUri = "https://github.com/purescript/purescript/wiki/Error-Code-" ++ errorCode e
398 wikiUri = "https://github.com/purescript/purescript/wiki/Error-Code-" ++ errorCode e
@@ -728,6 +728,11 @@ prettyPrintSingleError full level e = prettyPrintErrorMessage <$> onTypesInError
728 lineWithLevel :: String -> Box.Box
728 lineWithLevel :: String -> Box.Box
729 lineWithLevel text = line $ show level ++ " " ++ text
729 lineWithLevel text = line $ show level ++ " " ++ text
730
730
731+ levelText :: String
732+ levelText = case level of
733+ Error -> "error"
734+ Warning -> "warning"
735+
731 suggestions :: ErrorMessage -> [Box.Box]
736 suggestions :: ErrorMessage -> [Box.Box]
732 suggestions = suggestions' . unwrapErrorMessage
737 suggestions = suggestions' . unwrapErrorMessage
733 where
738 where