# HG changeset patch
# User Waqas Hussain <waqas20@gmail.com>
# 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;