diff --git a/.luacheckrc b/.luacheckrc new file mode 100644 index 0000000..ede251e --- /dev/null +++ b/.luacheckrc @@ -0,0 +1,9 @@ + +read_globals = { + "minetest", + "vector", +} + +globals = { + "player_monoids", +} diff --git a/init.lua b/init.lua index 02b42d6..6527154 100644 --- a/init.lua +++ b/init.lua @@ -65,7 +65,7 @@ function mon_meta:add_change(player, value, id) local p_name = player:get_player_name() local def = self.def - + local p_effects = self.player_map[p_name] if p_effects == nil then p_effects = {} diff --git a/standard_monoids.lua b/standard_monoids.lua index 33d835e..7b4fedb 100644 --- a/standard_monoids.lua +++ b/standard_monoids.lua @@ -1,17 +1,5 @@ -- Standard effect monoids, to provide canonicity. -local function mult(x, y) return x * y end - -local function mult_fold(elems) - local tot = 1 - - for k,v in pairs(elems) do - tot = tot * v - end - - return tot -end - local function v_mult(v1, v2) local res = {} @@ -26,7 +14,7 @@ local function v_mult_fold(identity) return function(elems) local tot = identity - for k, v in pairs(elems) do + for _, v in pairs(elems) do tot = v_mult(tot, v) end @@ -42,7 +30,7 @@ player_monoids.speed = monoid({ combine = function(x, y) return x * y end, fold = function(elems) local res = 1 - for k, v in pairs(elems) do + for _, v in pairs(elems) do res = res * v end @@ -63,7 +51,7 @@ player_monoids.jump = monoid({ combine = function(x, y) return x * y end, fold = function(elems) local res = 1 - for k, v in pairs(elems) do + for _, v in pairs(elems) do res = res * v end @@ -83,7 +71,7 @@ player_monoids.gravity = monoid({ combine = function(x, y) return x * y end, fold = function(elems) local res = 1 - for k, v in pairs(elems) do + for _, v in pairs(elems) do res = res * v end @@ -103,7 +91,7 @@ player_monoids.gravity = monoid({ player_monoids.fly = monoid({ combine = function(p, q) return p or q end, fold = function(elems) - for k, v in pairs(elems) do + for _, v in pairs(elems) do if v then return true end end @@ -130,7 +118,7 @@ player_monoids.fly = monoid({ player_monoids.noclip = monoid({ combine = function(p, q) return p or q end, fold = function(elems) - for k, v in pairs(elems) do + for _, v in pairs(elems) do if v then return true end end diff --git a/test.lua b/test.lua index eff1491..f006d86 100644 --- a/test.lua +++ b/test.lua @@ -11,7 +11,7 @@ local function test(player) local p_name = player:get_player_name() minetest.chat_send_player(p_name, "Your speed is: " .. speed:value(player)) - + minetest.after(3, function() speed:del_change(player, ch_id) minetest.chat_send_player(p_name, "Your speed is: " .. speed:value(player))