Skip to content

Regex tokens #2

@vgel

Description

@vgel

Right now to define, e.g., a digit, you have to do:

Cows -> Digit[ num: sg ] cow
Cows -> Digit[ num: pl ] cows
Digit[ num: pl ] -> 0
Digit[ num: sg ] -> 1
Digit[ num: pl ] -> 2
Digit[ num: pl ] -> 3
Digit[ num: pl ] -> 4
Digit[ num: pl ] -> 5
Digit[ num: pl ] -> 6
// ...

This is bad. Should be this:

Cows -> Digit[ num: sg ] cow
Cows -> Digit[ num: pl ] cows
Digit[ num: pl ] -> /[02-9]/
Digit[ num: sg ] -> 1

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions