diff options
| -rw-r--r-- | tools/erlparse.lua | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/erlparse.lua b/tools/erlparse.lua index a5cef464..dc3a2f94 100644 --- a/tools/erlparse.lua +++ b/tools/erlparse.lua @@ -121,6 +121,12 @@ local function readTuple() end local function readBinary() read("<"); -- read < + -- Discard PIDs + if isNumeric(peek()) then + while peek() ~= ">" do read(); end + read(">"); + return {}; + end local t = readTuple(); read(">") -- read > local ch = peek(); |