Re: Lua constraints (request for ideas!)

[Vyacheslav Egorov <mraleph@...>]

Asko Kauppi wrote:
> - make a new VM instruction    -> maybe, kinda daring/hussle
What about generating some `old' code in function prolog/epilog? It is 
the easiest solution I can imagine.

function f(v:int):int
 -- body
 return i
end

turns to

function f(v)
 assert.int(v)
 -- body
 assert.int(i)
 return i
end

The same for assigment

local v:int = p

local v = assert.int(p)

--
e.v.e