Как сопоставить регулярное выражение в парсе Happy?

Question

Я пишу парсер JavaScript с Happy, и мне нужно соответствовать регулярному выражению. Я не хочу полностью анализировать регулярное выражение, просто сохраните его как строку.

Соответствующая часть моего AST выглядит следующим образом:

data PrimaryExpr 
    -- | Literal integer 
    = ExpLitInt  Integer 
    -- | Literal strings 
    | ExpLitStr  String 
    -- | Identifier 
    | ExpId   String 
    -- | Bracketed expression 
    | ExpBrackExp Expression 
    -- | This (current object) 
    | ExpThis 
    -- | Regular Expression 
    | ExpRegex  String 
    -- | Arrays 
    | ExpArray  ArrayLit 
    -- | Objects 
    | ExpObject  [(PropName, Assignment)] 
    deriving Show 

Это отношение Счастливый код:

primaryExpr :: { PrimaryExpr } 
    : LITINT   { ExpLitInt $1 } 
    | LITSTR   { ExpLitStr $1 } 
    | ID    { ExpId $1 } 
    | THIS   { ExpThis } 
    | regex   { ExpRegex $1 } 
    | arrayLit  { ExpArray $1 } 
    | objectLit  { ExpObject $1 } 
    | '(' expression ')' { ExpBrackExp $2 } 

Мой вопрос, как я должен определить мой regex нетерминальный? Правильно ли такая структура?

regex :: { String } 
    : '/' whatHere? '/' { $2 } 

Answer 1

Вы должны определить регулярное выражение как терминал, который распознается лексером (то есть LITREGEX).

primaryExpr :: { PrimaryExpr } 
    : LITINT   { ExpLitInt $1 } 
    | LITSTR   { ExpLitStr $1 } 
    | LITREGEX  { ExpRegex $1 } 
    | ID    { ExpId $1 } 
    | THIS   { ExpThis } 
    | arrayLit  { ExpArray $1 } 
    | objectLit  { ExpObject $1 } 
    | '(' expression ')' { ExpBrackExp $2 } 

Answer 2

Чтобы ответить на вопрос в комментарии, вам нужно немного больше места.

Нечто подобное (растянуты и прокомментированы):

/    forward slash 
( \\.  either: an escaped character 
| [^\[/\\]   anything which isn't/or [ or \ 
| \[     a character class containing: 
    [^\]]*    anything which isn't ] any number of times 
    \]     
)*   any number of times 
/   forward slash 

Сгущенное:

/(\\.|[^\[/\\]|\[[^\]]*\])*/