レクサーの定義セクションでいくつかの識別子を定義するとき（ここで説明されているように）、私は次の形式の何かを書き込もうとしています。
let op_char = ['+' '-' '*' '/']
let id_char = [^ ' ' '\r' '\n' '\t' op_char]
id_charを、空白文字またはop_charではないすべての文字として定義します。ただし、2行目の「op_char」で構文エラーが発生します。これはどのように書くべきですか？ありがとう。