diff options
author | Ori Bernstein <ori@eigenstate.org> | 2015-10-01 23:06:16 -0700 |
---|---|---|
committer | Ori Bernstein <ori@eigenstate.org> | 2015-10-01 23:07:46 -0700 |
commit | 6507bf31d345f0046a1415088e42390c8befdd97 (patch) | |
tree | 79f9c09722ec670555ea0e3d4fff4bfe76ca32c9 /lib/regex | |
parent | 02efc3a7d15eb97ec7b80be68474d112f65493c8 (diff) | |
download | mc-6507bf31d345f0046a1415088e42390c8befdd97.tar.gz |
Update the C glue library detection.
We still need to propagate the extra libs, though.
Diffstat (limited to 'lib/regex')
-rw-r--r-- | lib/regex/interp.myr | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/regex/interp.myr b/lib/regex/interp.myr index b6710a7..03fd4ab 100644 --- a/lib/regex/interp.myr +++ b/lib/regex/interp.myr @@ -4,6 +4,7 @@ use "types.use" pkg regex = const exec : (re : regex#, str : byte[:] -> std.option(byte[:][:])) + const matchfree : (pat : byte[:][:] -> void) /* FIXME: implement. This should scan for a possible start char in the regex and use that to optimize. @@ -44,6 +45,10 @@ const cleanup = {re ;; } +const matchfree = {m + std.slfree(m) +} + const getmatches = {re, thr var ret |