Handle null-delimited input paths

[dups.git] / input_delim.mll

diff --git a/input_delim.mll b/input_delim.mll
new file mode 100644 (file)
index 0000000..0d32486
--- /dev/null
+++ b/input_delim.mll
@@ -0,0 +1,4 @@
+rule by_null = parse
+| eof                  {None}
+| [^ '\000']+ as line  {Some line}
+| '\000'+              {by_null lexbuf}