diff options
| author | Laurenz <laurmaedje@gmail.com> | 2024-04-13 10:39:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-13 08:39:45 +0000 |
| commit | 020294fca9a7065d4b9cf4e677f606ebaaa29b00 (patch) | |
| tree | c0027ad22046e2726c22298461327823d6b88d53 /tests/typ/compiler/hint.typ | |
| parent | 72dd79210602ecc799726fc096b078afbb47f299 (diff) | |
Better test runner (#3922)
Diffstat (limited to 'tests/typ/compiler/hint.typ')
| -rw-r--r-- | tests/typ/compiler/hint.typ | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/tests/typ/compiler/hint.typ b/tests/typ/compiler/hint.typ deleted file mode 100644 index 1a5efcaa..00000000 --- a/tests/typ/compiler/hint.typ +++ /dev/null @@ -1,41 +0,0 @@ -// Test hints on diagnostics. -// Ref: false - ---- -// Error: 1:17-1:19 expected length, found integer: a length needs a unit - did you mean 12pt? -#set text(size: 12) - ---- -#{ - let a = 2 - a = 1-a - a = a -1 - - // Error: 7-10 unknown variable: a-1 - // Hint: 7-10 if you meant to use subtraction, try adding spaces around the minus sign - a = a-1 -} - ---- -#{ - // Error: 3-6 unknown variable: a-1 - // Hint: 3-6 if you meant to use subtraction, try adding spaces around the minus sign - a-1 = 2 -} - ---- -= Heading <intro> - -// Error: 1:20-1:26 cannot reference heading without numbering -// Hint: 1:20-1:26 you can enable heading numbering with `#set heading(numbering: "1.")` -Can not be used as @intro - ---- -// This test is more of a tooling test. It checks if hint annotation validation -// can be turned off. -// Hints: false - -= Heading <intro> - -// Error: 1:20-1:26 cannot reference heading without numbering -Can not be used as @intro |
