search

andremm / typedlua

An Optional Type System for Lua
563 stars 53 forks source link

Function type specifiers do not change for strict mode rules #87

Closed Veltas closed 8 years ago

Veltas commented 8 years ago

As an example, the following line produces an error in strict mode:

local my_lambda: () -> () = function () end

Error:

lam.tl:1:7: type error, attempt to assign '() -> ()' to '(value*) -> ()'