You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Originally posted by kwolcott June 15, 2024
suggestion regarding the error message when using alr with: "underscores" are also allowed
alr --no-color with gnatcoll-gmp
ERROR: Invalid name 'gnatcoll-gmp': Identifiers must be lowercase ASCII alphanumerical. You can see the complete identifier naming rules with 'alr help identifiers'
hamming: alr help
The following works:
hamming: alr --no-color with gnatcoll_gmp
The text was updated successfully, but these errors were encountered:
Discussed in #1698
Originally posted by kwolcott June 15, 2024
suggestion regarding the error message when using alr with: "underscores" are also allowed
alr --no-color with gnatcoll-gmp
ERROR: Invalid name 'gnatcoll-gmp': Identifiers must be lowercase ASCII alphanumerical. You can see the complete identifier naming rules with 'alr help identifiers'
hamming: alr help
The following works:
hamming: alr --no-color with gnatcoll_gmp
The text was updated successfully, but these errors were encountered: