Kindelia/Kind2
1
1
Fork 0
mirror of https://github.com/Kindelia/Kind2.git synced 2024-10-03 19:07:11 +03:00
Code Issues Projects Releases Wiki Activity

fix: change guide URLs

Browse Source
This commit is contained in:
felipegchi 2022-11-29 13:57:46 -03:00
parent df27bb8190
commit bd26cf3ce7
5 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
crates/kind-driver/src/errors.rs
View File

@ -61,7 +61,7 @@ impl Diagnostic for DriverError {
.iter()
.map(|path| Subtitle::Phrase(Color::Fst, vec![Word::White(path.display().to_string())]))
.collect(),
hints: vec!["Take a look at the rules for name searching at https://kind.kindelia.org/hints/name-search".to_string()],
hints: vec!["Take a look at the rules for name searching at https://github.com/Kindelia/Kind2/blob/master/guide/naming.md".to_string()],
positions: vec![Marker {
position: ident.range,
color: Color::Fst,

2
crates/kind-query/src/errors.rs
View File

@ -36,7 +36,7 @@ impl Diagnostic for DriverError {
suggestions.iter().map(|x| format!("'{}'", x)).collect::<Vec<String>>().join(", ")
)
} else {
"Take a look at the rules for name searching at https://kind.kindelia.org/hints/name-search".to_string()
"Take a look at the rules for name searching at https://github.com/Kindelia/Kind2/blob/master/guide/naming.md".to_string()
}],
positions: idents
.iter()

1
guide/doc_strings.md Normal file
View File

@ -0,0 +1 @@
# TODO

1
guide/naming.md Normal file
View File

@ -0,0 +1 @@
# TODO

1
guide/sugars.md Normal file
View File

@ -0,0 +1 @@
# TODO