Variable names get trimmed to 1024 characters without proper warning

[DIvanov503]

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.

[DIvanov503]

Closed the issue by mistake

[quentin]

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

[DIvanov503]

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