roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-11-13 09:49:11 +03:00
Code Issues Packages Projects Releases Wiki Activity

Replace <br>s with new lines

Browse Source
This commit is contained in:
Chadtech 2021-04-25 19:17:31 -04:00
parent 5a90a6ac4f
commit debbe6eedd
1 changed files with 12 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
docs/src/lib.rs
View File

@ -298,15 +298,19 @@ fn indent(buf: &mut String, times: usize) {
}
}
fn new_line(buf: &mut String) {
buf.push('\n');
}
fn type_annotation_to_html(indent_level: usize, buf: &mut String, type_ann: &TypeAnnotation) {
match type_ann {
TypeAnnotation::TagUnion { tags, extension } => {
buf.push_str("<br>");
new_line(buf);
let tag_union_indent = indent_level + 1;
indent(buf, tag_union_indent);
buf.push('[');
buf.push_str("<br>");
new_line(buf);
let next_indent_level = tag_union_indent + 1;
@ -323,7 +327,7 @@ fn type_annotation_to_html(indent_level: usize, buf: &mut String, type_ann: &Typ
buf.push(',');
}
buf.push_str("<br>");
new_line(buf);
}
indent(buf, tag_union_indent);
@ -350,11 +354,13 @@ fn type_annotation_to_html(indent_level: usize, buf: &mut String, type_ann: &Typ
}
}
TypeAnnotation::Record { fields } => {
buf.push_str("<br>");
new_line(buf);
let record_indent = indent_level + 1;
indent(buf, record_indent);
buf.push('{');
buf.push_str("<br>");
new_line(buf);
let next_indent_level = record_indent + 1;
for (index, field) in fields.iter().enumerate() {
@ -388,7 +394,7 @@ fn type_annotation_to_html(indent_level: usize, buf: &mut String, type_ann: &Typ
buf.push(',');
}
buf.push_str("<br>");
new_line(buf);
}
indent(buf, record_indent);