X-Git-Url: https://git.xandkar.net/?p=dups.git;a=blobdiff_plain;f=input_delim.mll;fp=input_delim.mll;h=0d32486eb4a5a7db70b3353bf2ab731472530eb4;hp=0000000000000000000000000000000000000000;hb=6b873e5a4a280daaa1c9817ec037a930b3410833;hpb=f289b74bfb797118e32341290319012e3f06f8c1

diff --git a/input_delim.mll b/input_delim.mll
new file mode 100644
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}