lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]




Le ven. 17 janv. 2020 à 14:36, Dibyendu Majumdar <mobile@majumdar.org.uk> a écrit :
@François Perrad

Hi,

I noticed that Ravi support has been added?
Thank you for that - interested to know any feedback.


Hi Dibyendu,

The support of Ravi in lua-Harness has required little effort.

Currently with Ravi, _VERSION = 'Ravi 5.3'
In order to have a better compatibility with existing Lua code & libraries,
I think it is better to have :
_VERSION = 'Lua 5.3'   (as Ravi is aligned with Lua 5.3)
ravi.version = 'Ravi 1.0-beta3' (like jit.version in LuaJIT)

Regards

François

 
Regards
Dibyendu