@@ -289,8 +289,8 @@ onTypesInErrorMessageM f (ErrorMessage hints simple) = ErrorMessage <$> traverse
289289 gTypeSearch (TSBefore env) = pure (TSBefore env)
290290 gTypeSearch (TSAfter result) = TSAfter <$> traverse (traverse f) result
291291
292−wikiUri :: ErrorMessage -> Text
293−wikiUri e = "https://github.com/purescript/purescript/wiki/Error-Code-" <> errorCode e
292+errorDocUri :: ErrorMessage -> Text
293+errorDocUri e = "https://github.com/purescript/documentation/blob/master/errors/" <> errorCode e <> ".md"
294294
295295-- TODO Other possible suggestions:
296296-- WildcardInferredType - source span not small enough
@@ -373,7 +373,7 @@ data PPEOptions = PPEOptions
373373 { ppeCodeColor :: Maybe (ANSI.ColorIntensity, ANSI.Color) -- ^ Color code with this color... or not
374374 , ppeFull :: Bool -- ^ Should write a full error message?
375375 , ppeLevel :: Level -- ^ Should this report an error or a warning?
376− , ppeShowWiki :: Bool -- ^ Should show a link to error message's wiki page?
376+ , ppeShowDocs :: Bool -- ^ Should show a link to error message's doc page?
377377 }
378378
379379-- | Default options for PPEOptions
@@ -382,7 +382,7 @@ defaultPPEOptions = PPEOptions
382382 { ppeCodeColor = Just defaultCodeColor
383383 , ppeFull = False
384384 , ppeLevel = Error
385− , ppeShowWiki = True
385+ , ppeShowDocs = True
386386 }
387387
388388
@@ -390,7 +390,7 @@ defaultPPEOptions = PPEOptions
390390-- Pretty print a single error, simplifying if necessary
391391--
392392prettyPrintSingleError :: PPEOptions -> ErrorMessage -> Box.Box
393−prettyPrintSingleError (PPEOptions codeColor full level showWiki) e = flip evalState defaultUnknownMap $ do
393+prettyPrintSingleError (PPEOptions codeColor full level showDocs) e = flip evalState defaultUnknownMap $ do
394394 em <- onTypesInErrorMessageM replaceUnknowns (if full then e else simplifyErrorMessage e)
395395 um <- get
396396 return (prettyPrintErrorMessage um em)
@@ -405,10 +405,10 @@ prettyPrintSingleError (PPEOptions codeColor full level showWiki) e = flip evalS
405405 ] ++
406406 maybe [] (return . Box.moveDown 1) typeInformation ++
407407 [ Box.moveDown 1 $ paras
408− [ line $ "See " <> wikiUri e <> " for more information, "
408+ [ line $ "See " <> errorDocUri e <> " for more information, "
409409 , line $ "or to contribute content related to this " <> levelText <> "."
410410 ]
411− | showWiki
411+ | showDocs
412412 ]
413413 where
414414 typeInformation :: Maybe Box.Box