summaryrefslogtreecommitdiff
path: root/tests/typ/compiler/hint.typ
diff options
context:
space:
mode:
authorLaurenz <laurmaedje@gmail.com>2024-04-13 10:39:45 +0200
committerGitHub <noreply@github.com>2024-04-13 08:39:45 +0000
commit020294fca9a7065d4b9cf4e677f606ebaaa29b00 (patch)
treec0027ad22046e2726c22298461327823d6b88d53 /tests/typ/compiler/hint.typ
parent72dd79210602ecc799726fc096b078afbb47f299 (diff)
Better test runner (#3922)
Diffstat (limited to 'tests/typ/compiler/hint.typ')
-rw-r--r--tests/typ/compiler/hint.typ41
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