blob: fb5caf3bd70d128bc1592ef702378ac51f351f32 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
--- html-non-char html ---
// Error: 1-9 the character `"\u{fdd0}"` cannot be encoded in HTML
\u{fdd0}
--- html-void-element-with-children html ---
// Error: 2-27 HTML void elements must not have children
#html.elem("img", [Hello])
--- html-pre-starting-with-newline html ---
#html.pre("hello")
#html.pre("\nhello")
#html.pre("\n\nhello")
|
