Some missing keywords.

[rossc719g]

I noticed a few keywords missing. I am not sure if there is a canonical list of the keywords that are in bs classic that are not in haskell or vice-versa, but we could just add/remove them as we notice?

So far I have noticed a few:

interface
module
rules
return
struct
primitive

Not sure if these count as keywords or not, since they're defined in the prelude.. how do we want to handle those?

error
warning
message
True
False
Action
ActionValue
$display

[quark17]

You can get a list of keywords from the BSC source by looking first in:

• src/comp/Lex.hs
  • at the datatype LexItem whose constructors all start with L_, such as L_interface

and then in the parser itself:

• src/comp/Parser/Classic/CParser.hs
  • and look for quotation marks ("), to find any places where the parser looks for a specific string that isn't declared as a lexical keyword -- usually with the functions literal or literalC that parse a variable or constructor ID that matches a given string, for example, hiding in the export list
  • and what it imports from PreStrings (src/comp/PreStrings.hs), which just defines a lot of strings (like fsTrue and fsFalse) so that they are only hardcoded in one place -- I think the name originally meant "Prelude strings", and much of what it defines are things from the Prelude (like fsBits, fsReg, fs_read), but there's probably non-Prelude things in there too.
    • Oddly, a few of the imported strings are used in the parsing of pragmas -- for example, "assert", "no", "implicit", "conditions" are all defined as separate strings. There's no reason that "fsNo" needed to be defined for parsing that.

The parser (CParser.hs) is fairly straightforward and short, so it should also be easy to manually inspect it. (Though if there's some way to automate generation of the highlighter, that'd be nice.)