diff options
Diffstat (limited to 'build-aux/measurestack/util.py')
| -rw-r--r-- | build-aux/measurestack/util.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/build-aux/measurestack/util.py b/build-aux/measurestack/util.py index e878ffa..5367da9 100644 --- a/build-aux/measurestack/util.py +++ b/build-aux/measurestack/util.py @@ -37,8 +37,10 @@ def synthetic_node( return n +re_location = re.compile(r"(?P<filename>.+):(?P<row>[0-9]+):(?P<col>[0-9]+)") + + def read_source(location: str) -> str: - re_location = re.compile(r"(?P<filename>.+):(?P<row>[0-9]+):(?P<col>[0-9]+)") m = re_location.fullmatch(location) if not m: raise ValueError(f"unexpected label value {location!r}") |