search

zaach / jison

Bison in JavaScript.
http://jison.org
4.36k stars 450 forks source link

case-insensitive option in json #364

Closed murphyke closed 6 years ago

murphyke commented 6 years ago

Just for posterity, it may not be obvious to everyone where to put the case-insensitive option in a JSON grammar.

It goes in the lex object, e.g.:


const grammar = {
  "lex": {
    "options": {
      "case-insensitive": true
    },
 ...
}

You can either close this or interpret it as a mild request for slightly better documentation of the JSON format or tell me what I missed.
murphyke commented 6 years ago

Closing my note for posterity. There are too many issues and PRs. #297 (new maintainer team) seems relevant.