From 833d81f2b010ecaafac935d21a3f15f80cce1e25 Mon Sep 17 00:00:00 2001 From: adelon <22380201+adelon@users.noreply.github.com> Date: Thu, 14 Aug 2025 02:49:20 +0200 Subject: Improve scanning Fixes scanning of relation symbols and adds a few error cases for function symbols. --- test/golden/relparam/tokenizing.golden | 38 ++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) create mode 100644 test/golden/relparam/tokenizing.golden (limited to 'test/golden/relparam/tokenizing.golden') diff --git a/test/golden/relparam/tokenizing.golden b/test/golden/relparam/tokenizing.golden new file mode 100644 index 0000000..95290d5 --- /dev/null +++ b/test/golden/relparam/tokenizing.golden @@ -0,0 +1,38 @@ +[ BeginEnv "abbreviation" +, Label "equalparam" +, BeginEnv "math" +, Variable "x" +, Command "EQUAL" +, InvisibleBraceL +, Variable "y" +, InvisibleBraceR +, Variable "z" +, EndEnv "math" +, Word "iff" +, BeginEnv "math" +, Variable "x" +, Symbol "=" +, Variable "z" +, EndEnv "math" +, Symbol "." +, EndEnv "abbreviation" +, BeginEnv "proposition" +, Label "dummy_abbr_test_noun" +, Word "for" +, Word "all" +, BeginEnv "math" +, Variable "x" +, EndEnv "math" +, Word "we" +, Word "have" +, BeginEnv "math" +, Variable "x" +, Command "EQUAL" +, InvisibleBraceL +, Variable "y" +, InvisibleBraceR +, Variable "x" +, EndEnv "math" +, Symbol "." +, EndEnv "proposition" +] \ No newline at end of file -- cgit v1.2.3