Merge remote-tracking branch 'remote/main' into record-suffix-warn-tweaks

This commit is contained in:
Luke Boswell 2024-11-13 07:29:31 +11:00
commit 4b4ab7bc0c
No known key found for this signature in database
GPG key ID: F6DB3C9DB47377B0
250 changed files with 3649 additions and 5696 deletions

View file

@ -198,7 +198,7 @@ pub fn can_problem<'b>(
]),
alloc.region(lines.convert_region(region), severity),
alloc.reflow("Builtins are imported automatically, so you can remove this import."),
alloc.reflow("Tip: Learn more about builtins in the tutorial:\n\n<https://www.roc-lang.org/tutorial#builtin-modules>"),
alloc.reflow("Tip: Learn more about builtins in the tutorial:\n<https://www.roc-lang.org/tutorial#builtin-modules>"),
]);
title = EXPLICIT_BUILTIN_IMPORT.to_string();
@ -216,7 +216,7 @@ pub fn can_problem<'b>(
alloc.symbol_unqualified(symbol),
alloc.reflow(" from the exposing list.")
]),
alloc.reflow("Tip: Learn more about builtins in the tutorial:\n\n<https://www.roc-lang.org/tutorial#builtin-modules>"),
alloc.reflow("Tip: Learn more about builtins in the tutorial:\n<https://www.roc-lang.org/tutorial#builtin-modules>"),
]);
title = EXPLICIT_BUILTIN_IMPORT.to_string();

View file

@ -97,6 +97,9 @@ pub fn pretty_header_with_path(title: &str, path: &Path) -> String {
relative_path.to_string()
};
// ensure path conatians only unix slashes
let path = path.replace('\\', "/");
let header = format!(
"── {} {} {} {}",
title,