Closed kaeza closed 7 years ago
Checking init.lua 1 warning init.lua:68:1: line contains only whitespace Checking standard_monoids.lua 12 warnings standard_monoids.lua:3:16: unused function 'mult' standard_monoids.lua:5:16: unused function 'mult_fold' standard_monoids.lua:8:6: unused loop variable 'k' standard_monoids.lua:29:7: unused loop variable 'k' standard_monoids.lua:45:7: unused loop variable 'k' standard_monoids.lua:52:19: shadowing upvalue 'mult' on line 3 standard_monoids.lua:66:7: unused loop variable 'k' standard_monoids.lua:73:19: shadowing upvalue 'mult' on line 3 standard_monoids.lua:86:7: unused loop variable 'k' standard_monoids.lua:93:19: shadowing upvalue 'mult' on line 3 standard_monoids.lua:106:7: unused loop variable 'k' standard_monoids.lua:133:7: unused loop variable 'k' Checking test.lua 1 warning test.lua:14:1: line contains only whitespace Total: 14 warnings / 0 errors in 3 files
I went ahead and made the changes except that I used mult_fold and mult, in commit 668bce37.