Variable names get trimmed to 1024 characters without proper warning

Question

Variable names get trimmed to 1024 characters without proper warning

Opened this issue 5 months ago · 3 comments

When a variable is longer than 1024 characters, Souffle seems to just take the first 1024 characters as its name, which may result in a misleading name clash error message. A more user-friendly message should warn about exceeding the hard limit on the variable length.

Answer 1 · 2024-08-05T13:51:26.000Z

Closed the issue by mistake

Answer 2 · 2024-08-28T14:15:39.000Z

That might be a limitation of the flex lexer. Not sure.

Answer 3 · 2024-08-28T15:47:44.000Z

Please keep in mind that there are also the OS limits on the filename length, which can be a problem for relation I/O