search

dibyendumajumdar / ravi

Ravi is a dialect of Lua, featuring limited optional static typing, JIT and AOT compilers
http://ravilang.github.io/
Other
1.16k stars 60 forks source link

Allow assignments to typed locals when value is of type ANY and generate type assertions #230

Open dibyendumajumdar opened 3 years ago

dibyendumajumdar commented 3 years ago

Instead of stopping:

local x: integer = y

Allow it but generate automatically following:

local x: integer = @integer( y )