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/abbr/glossing.golden | 38 ++++++++++++++++++++++----------------
 1 file changed, 22 insertions(+), 16 deletions(-)

(limited to 'test/golden/abbr/glossing.golden')

diff --git a/test/golden/abbr/glossing.golden b/test/golden/abbr/glossing.golden
index 152fbe1..0efddcd 100644
--- a/test/golden/abbr/glossing.golden
+++ b/test/golden/abbr/glossing.golden
@@ -125,25 +125,31 @@
     )
     ( Marker "dummy_abbr_test_noun" )
     ( Lemma []
-        ( TermSymbol
-            ( SymbolPredicate
-                ( PredicateNoun
-                    ( SgPl
-                        { sg =
-                            [ Just
-                                ( Word "function" )
-                            ]
-                        , pl =
-                            [ Just
-                                ( Word "functions" )
-                            ]
-                        }
+        ( Quantified Universally
+            ( Scope
+                ( TermSymbol
+                    ( SymbolPredicate
+                        ( PredicateNoun
+                            ( SgPl
+                                { sg =
+                                    [ Just
+                                        ( Word "function" )
+                                    ]
+                                , pl =
+                                    [ Just
+                                        ( Word "functions" )
+                                    ]
+                                }
+                            )
+                        )
                     )
+                    [ TermVar
+                        ( B
+                            ( NamedVar "x" )
+                        )
+                    ]
                 )
             )
-            [ TermVar
-                ( NamedVar "x" )
-            ]
         )
     )
 , BlockAbbr
-- 
cgit v1.2.3