search

GaloisInc / daedalus

The Daedalus data description language
BSD 3-Clause "New" or "Revised" License
65 stars 11 forks source link

`formats/http/Lexemes.ddl` `hexdig` definition doesn't match RFC 5234 #316

Closed kenballus closed 1 year ago

kenballus commented 1 year ago

The hexdig definition in formats/http/Lexemes.ddl:

def $hexdig   = $digit | 'A' .. 'F' | 'a' .. 'f'

The HEXDIG definition in RFC 5234:

HEXDIG         =  DIGIT / "A" / "B" / "C" / "D" / "E" / "F"

This is probably a non-issue, but I figured I should bring it up just in case.

yav commented 1 year ago

The convention they use in RFC 5234 is that literal strings, such as "A", are case insensitive, but in DaeDaLus 'A' only refers to the upper case letter, which is why we need both cases.

kenballus commented 1 year ago

The convention they use in RFC 5234 is that literal strings, such as "A", are case insensitive, but in DaeDaLus 'A' only refers to the upper case letter, which is why we need both cases.

Thanks for letting me know! Just learned something new :)