# HG changeset patch # User Waqas Hussain # Date 1344106552 -18000 # Node ID 52767b1f057b3f34b49b7c6cd9c88a3c165d2363 # Parent 2ab99e239d45dd6549e3b4eec4dcee6d18d1d414 tools/erlparse: Handle decimal point in numbers. diff -r 2ab99e239d45 -r 52767b1f057b tools/erlparse.lua --- a/tools/erlparse.lua Sat Aug 04 23:23:49 2012 +0500 +++ b/tools/erlparse.lua Sat Aug 04 23:55:52 2012 +0500 @@ -95,6 +95,12 @@ while isNumeric(peek()) do num[#num+1] = read(); end + if peek() == "." then + num[#num+1] = read(); + while isNumeric(peek()) do + num[#num+1] = read(); + end + end return tonumber(t_concat(num)); end local readItem = nil;