kernel: uniformly support gvar an rnams of <= 1023 chars

The manual says that identifiers are truncated to 1023 chars, i.e., an
identifier has *at most* 1023 chars. But some of our code instead
restricted them to *less* than 1023 chars, i.e., the maximum was 1022.

We now do what the manual has been saying since forever.

src/gapstate.h

@@ -23,7 +23,7 @@ enum {
 
     MAX_OPEN_FILES = 16,
 
-    MAX_VALUE_LEN = 1030,
+    MAX_VALUE_LEN = 1024,
 };
 
 typedef struct GAPState {

src/records.c

@@ -96,9 +96,9 @@ UInt            RNamName (
     UInt                i;              /* loop variable                   */
     UInt                sizeRNam;
 
-    if (strlen(name) >= 1023) {
+    if (strlen(name) > 1023) {
         // Note: We can't pass 'name' here, as it might get moved by garbage collection
-        ErrorQuit("Record names must consist of less than 1023 characters", 0, 0);
+        ErrorQuit("Record names must consist of at most 1023 characters", 0, 0);
         return 0;
     }
 

src/scanner.c

@@ -256,8 +256,8 @@ static void GetIdent(Int i)
     }
 
     // terminate the identifier and lets assume that it is not a keyword
-    if (i >= SAFE_VALUE_SIZE-1) {
-        SyntaxError("Identifiers in GAP must consist of less than 1023 characters.");
+    if (i > SAFE_VALUE_SIZE-1) {
+        SyntaxError("Identifiers in GAP must consist of at most 1023 characters.");
         i = SAFE_VALUE_SIZE-1;
     }
     STATE(Value)[i] = '\0';

tst/testinstall/kernel/scanner.tst

@@ -0,0 +1,123 @@
+#
+# Tests for functions defined in src/scanner.c
+#
+gap> START_TEST("kernel/scanner.tst");
+
+#
+# test long gvar names: at most 1023 chars are supported
+#
+gap> x1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 := 1;
+1
+gap> x11111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 := 1;
+1
+gap> x111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 := 1;
+Syntax error: Identifiers in GAP must consist of at most 1023 characters. in s\
+tream:1
+x11111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+1111111111 := 1;
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+         ^
+
+# also test the case where the truncation to 1023 chars ia a number
+gap> 1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111x := 1;
+1
+gap> 11111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111x := 1;
+1
+gap> 111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111x := 1;
+Syntax error: Identifiers in GAP must consist of at most 1023 characters. in s\
+tream:1
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111x := 1;
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+         ^
+
+#
+# test long record names: at most 1023 chars are supported
+#
+gap> a:=rec();;
+gap> a.x1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 := 1;
+1
+gap> a.x11111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 := 1;
+1
+gap> a.x111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 := 1;
+Syntax error: Identifiers in GAP must consist of at most 1023 characters. in s\
+tream:1
+a.x111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111111111111111111111111111111111111111111111111111111111111111111111\
+111111111111 := 1;
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+                                                                              \
+           ^
+
+#
+gap> STOP_TEST("kernel/scanner.tst", 1);