package lrgrep
Detailed error messages for Menhir-generated parsers
Install
dune-project
Dependency
Authors
Maintainers
Sources
lrgrep-0.9.tbz
sha256=e53de12e4c5cbe6bca00643593266b4f9fa2e3f6a138195eeff7a4329f5c1c75
sha512=7fd7c4d11506fea7cc11c9bbf5aea9142d905643553c0c90e1bb16b794106b0c14a266acf89ae91b6929008dc0ba6515f788642873e2e4ba6c3d49bd45d25127
doc/kernel/Kernel/Regexp/index.html
Module Kernel.RegexpSource
This module implements the regular expressions used by LRGrep. It provides functions for creating, comparing, and deriving regular expressions and continuations, which appear during the derivation process. It is parameterized by the `Info` and `Redgraph` modules, which are used to provide information about the LR automaton and its (viable) reductions, respectively.
The Capture module defines types and functions for representing variables captured in regular expressions. It uses an index type to uniquely identify a capture in an expression.
Reductions represent pattern-match operations in regular expressions. Each reduction tracks which reduction targets to match, which captures to bind, and whether to prefer shortest or longest match.