summaryrefslogtreecommitdiff
path: root/lib/regex/interp.myr
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2015-10-01 23:06:16 -0700
committerOri Bernstein <ori@eigenstate.org>2015-10-01 23:07:46 -0700
commit6507bf31d345f0046a1415088e42390c8befdd97 (patch)
tree79f9c09722ec670555ea0e3d4fff4bfe76ca32c9 /lib/regex/interp.myr
parent02efc3a7d15eb97ec7b80be68474d112f65493c8 (diff)
downloadmc-6507bf31d345f0046a1415088e42390c8befdd97.tar.gz
Update the C glue library detection.
We still need to propagate the extra libs, though.
Diffstat (limited to 'lib/regex/interp.myr')
-rw-r--r--lib/regex/interp.myr5
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