util.serialization: Implemented deserialize().

diff --git a/util/serialization.lua b/util/serialization.lua
index e193b64f7ff70e8683ef06cfafa365cefbcd65f3..474b5d655c285248330b06ae673843c3bfdc6662 100644 (file)
--- a/util/serialization.lua
+++ b/util/serialization.lua
@@ -28,20 +28,14 @@ local indent = function(i)
 end
 local function basicSerialize (o)
        if type(o) == "number" or type(o) == "boolean" then
-               -- no need to check for NaN, as that's not a valid table index
-               if o == 1/0 then return "(1/0)";
-               elseif o == -1/0 then return "(-1/0)";
-               else return tostring(o); end
+               return tostring(o);
        else -- assume it is a string -- FIXME make sure it's a string. throw an error otherwise.
                return (("%q"):format(tostring(o)):gsub("\\\n", "\\n"));
        end
 end
 local function _simplesave(o, ind, t, func)
        if type(o) == "number" then
-               if o ~= o then func(t, "(0/0)");
-               elseif o == 1/0 then func(t, "(1/0)");
-               elseif o == -1/0 then func(t, "(-1/0)");
-               else func(t, tostring(o)); end
+               func(t, tostring(o));
        elseif type(o) == "string" then
                func(t, (("%q"):format(o):gsub("\\\n", "\\n")));
        elseif type(o) == "table" then