search

breck7 / pldb

PLDB: a Programming Language DataBase
https://pldb.io
702 stars 93 forks source link

undetected bug ? file concepts/space.pldb seems to have a value with no key #509

Closed ghost closed 1 year ago

ghost commented 1 year ago

Line 5 of file in link (https://github.com/breck7/pldb/blob/main/concepts/space.pldb)

seems to have a key with no printable characters or is empty The value is "https://github.com/breck7/space"

It looks like an error but the parser does not seem to detect it as such.

breck7 commented 1 year ago

The isDead parser asks for a link to a url announcement of the language being discontinued: https://github.com/breck7/pldb/blob/main/questions/history.grammar#L5

Perhaps that should be on the same line and not a child key.

ghost commented 1 year ago

sorry. Closed as not a bug.