 Pavel R.
|
7adbc171f6
|
changed types to strict (nil disallowed) in lcode.c
|
3 years ago |
|
Pavel R.
|
072d2c37f0
|
Fixed possibility to initialize empty strings (and booleans)
|
3 years ago |
|
Pavel R.
|
21fd437e89
|
added missing optional types opcodes to JIT interface
|
3 years ago |
annelin
|
73de201165
|
added new (optional) types to lparser.c (no idea what does it affect)
|
3 years ago |
|
annelin
|
be65484feb
|
Removed RAVI_DEFER_STATEMENT define (there are no reasons to disable it)
|
3 years ago |
|
annelin
|
7d376acf62
|
Added `debug.settype(typ, metatable)` function
|
3 years ago |
|
Pavel R.
|
5359ca1d5f
|
- Added boolean type
- Types now can be optional (example: string?)
- Non-optional types now are more strict (e.g. you can not pass nil to function that expects string)
|
3 years ago |
|
Dibyendu Majumdar
|
3efaddee6b
|
issue #222 Lua 5.4 change for bitwise ops
|
3 years ago |
|
Dibyendu Majumdar
|
e3d8203bd9
|
Refactor
|
3 years ago |
|
XmiliaH
|
5ca801596a
|
Bump binary version & smaller sizes for stripped binaries
|
3 years ago |
|
Dibyendu Majumdar
|
58980db5cb
|
issue #217 define ravitype_t in terms of the new values
|
3 years ago |
|
Dibyendu Majumdar
|
063a55604e
|
Merge branch 'new_type_info' into type-maps
|
3 years ago |
|
Dibyendu Majumdar
|
8e815bd67a
|
issue #215 adapt fix by XmiliaH from pull request
|
3 years ago |
|
Dibyendu Majumdar
|
658f04c3d8
|
issue #215 adapt fix by XmiliaH from pull request
|
3 years ago |
|
Dibyendu Majumdar
|
8fd3a1bbab
|
issue #214 since we haven't implemented boolean type annotation fully, the parser will no longer recognize the :boolean annotation.
|
3 years ago |
|
Dibyendu Majumdar
|
b5afdfaa46
|
issue #215 The top level check v->ravi_type != vartype is not correct as it means we miss out checking scenario where v->k == VINDEXED.
|
3 years ago |
|
Dibyendu Majumdar
|
88ccaf34a0
|
Reformat
|
3 years ago |
|
Dibyendu Majumdar
|
5c30d255c7
|
some improvements to type checking via XmiliaH
|
3 years ago |
|
Dibyendu Majumdar
|
248c730c43
|
refactoring via XmiliaH
|
3 years ago |
|
Dibyendu Majumdar
|
4a20693671
|
refactoring via XmiliaH
|
3 years ago |
|
XmiliaH
|
b4359b9391
|
Cleanup and Fixes
|
3 years ago |
|
XmiliaH
|
a9537957d5
|
Remove old ravi_type_t from jit
|
3 years ago |
|
XmiliaH
|
435480f4db
|
Better deduction for not
|
3 years ago |
|
XmiliaH
|
62ab591343
|
Fix concat
|
3 years ago |
|
XmiliaH
|
f80e4d5442
|
Fix concat
|
3 years ago |
|
XmiliaH
|
7789f4f32d
|
Finish type maps
|
3 years ago |
|
XmiliaH
|
58cdc8d7dc
|
RAVI_TSTRINGs can be nil
|
3 years ago |
|
XmiliaH
|
6af3d804a4
|
First part for type maps
|
3 years ago |
|
XmiliaH
|
871b76fea2
|
Format changed code
|
3 years ago |
|
XmiliaH
|
0b43c94a4d
|
Use the right enum for opcodes
|
3 years ago |
|
XmiliaH
|
e85634270f
|
Add back that len of table is int and fix tests.
|
3 years ago |
|
XmiliaH
|
4cce67ec13
|
Improve type deduction
|
3 years ago |
|
Dibyendu Majumdar
|
2c5b958d04
|
issue #211 since the up-value carries the type of the local variable, we can safely infer that the result of a get on array is a primitive type
|
3 years ago |
|
Dibyendu Majumdar
|
b0a5b01142
|
issue #211 The type of update index op is not known.
|
3 years ago |
|
Dibyendu Majumdar
|
170fd797a2
|
It seems that we don't really need this - must be the bug was elsewhere
|
3 years ago |
|
Dibyendu Majumdar
|
486145900b
|
issue #208 check for overflow when resizing array
|
3 years ago |
|
Dibyendu Majumdar
|
a3b933aa43
|
issue #208 check for overflow when resizing array
|
3 years ago |
|
Dibyendu Majumdar
|
9ced7e2bc0
|
issue #210 bug in recognizing the type change when an expression of VINDEXED type gets resolved
|
3 years ago |
|
Dibyendu Majumdar
|
ad4fc4e2d2
|
issue #207 check size more carefully when creating a slice
|
3 years ago |
|
Dibyendu Majumdar
|
8bd404f62e
|
issue #208 check for size overflow when creating integer/number array
|
3 years ago |
|
Dibyendu Majumdar
|
927ddbf6a0
|
issue #210 LEN on any value other than array or table should be any type
|
3 years ago |
|
Dibyendu Majumdar
|
b549302d70
|
issue #209 BNOT on any value other than integer should result in any type
|
3 years ago |
|
Dibyendu Majumdar
|
77cd6b9527
|
Update copyright notices
|
3 years ago |
|
Dibyendu Majumdar
|
08c05100cf
|
issue #203 leftover cleanup
|
3 years ago |
|
Dibyendu Majumdar
|
3b09a22e96
|
issue #204 Code reorg
|
3 years ago |
|
Dibyendu Majumdar
|
9cc59144ad
|
issue #195 lstrlib
|
3 years ago |
|
Dibyendu Majumdar
|
36639d863a
|
issue #196 reformat
|
3 years ago |
|
Dibyendu Majumdar
|
71644f5450
|
issue #196 use a macro for slices
|
3 years ago |
|
Dibyendu Majumdar
|
b717be20e0
|
Fix a missing check
|
3 years ago |
|
Dibyendu Majumdar
|
4acc325c97
|
issue #196 Fix test case
|
3 years ago |
