InversionSpaces
|
c1fbea1a49
|
chore(compiler): Add PathFinder test (#872)
|
2023-09-04 11:22:57 +00:00 |
|
InversionSpaces
|
443e65e3d8
|
fix(compiler): Fix closure stream capture [fixes LNG-58] (#857)
|
2023-09-01 16:05:32 +03:00 |
|
InversionSpaces
|
2a0b207633
|
feat(compiler): Restrict abilities usage [fixes LNG-208] (#854)
* Refactor
* Refactor
* Refactor
* Remove ScopeRaw
* Refactor, forbid exporting
* Add export checks
* Refactor
* Forbid exporting abilities
* Fix integration tests
* Forbid implicit ability export
* Simplify exports
* Fordbid using non data types in collections
* Forbid unappropriate struct field types
* Refactor
* Add export tests
* Add collection tests
* Add struct fields test
* Fixes
* Fix
|
2023-08-24 16:09:39 +03:00 |
|
InversionSpaces
|
bf0b51fa5b
|
fix(compiler): Fix nested abilities [fixes LNG-220] (#852)
* Fix fields gathering
* Remove println
* Add test
* Remove println
* Add comments
* Add comments
|
2023-08-22 11:53:06 +02:00 |
|
Dima
|
8060695dbb
|
feat: parseq implementation (fixes LNG-223) (#840)
* parsec implementation
* add test code
* parsec expression
* Refactor
* Refactor
* Add return strategy to on
* Add ExitStrategy
* Add TopologyPath
* Add ExitStrategy.ToRelay
* Handle ToRelay
* Refactor
* Refactor
* Refactor
* Handle OnModel with Relay strategy
* parsec -> parseq
* parsec -> parseq
* Add semantics test
* Add topology tests
* Add comments
---------
Co-authored-by: InversionSpaces <InversionSpaces@vivaldi.net>
|
2023-08-21 14:26:30 +04:00 |
|
Dima
|
019611a89c
|
feat(compiler): Structural typing for data and abilities [fixes LNG-215] (#843)
|
2023-08-18 16:15:20 +03:00 |
|
InversionSpaces
|
eb4cdb0dd1
|
fix(compiler): Generate stream restriction for scoped exprs [fixes LNG-222] (#841)
* Add show for AST
* Update ForSem
* Fix if and try
* Fix else, otherwise, catch, add tests
* Add integration tests
|
2023-08-17 10:30:02 +04:00 |
|
InversionSpaces
|
f562bd40b6
|
fix(compiler): Refactor values [fixes LNG-57] (#821)
* Refactor parser
* Savepoint
* Refactor CliFunc and TypesInterpreter
* Fix CliFunc
* Fix parser tests
* Fix tests compilation
* Fix callArrowToRaw
* Fix co parsing, add tests
* Add par tests
* Fix field parsing, add test
* Return ability to CallArrowToken
* Fix names
* Refactor and add comments
* Refactor, add comments
* Fix
|
2023-08-15 13:33:34 +03:00 |
|
InversionSpaces
|
a5e9354aeb
|
feat(compiler): Add equality ops [fixes LNG-217] (#820)
* Add eq ops
* Fixed if
* Fix return
* Fix tests
* Add parser tests
* Fix types, add semantics tests
* Add integration tests
* Add integration test
* Remove comment
|
2023-08-09 13:38:24 +00:00 |
|
Dima
|
ef4b0143ac
|
fix(compiler): Runtime error on compilation exported functions with top types [fixes LNG-218] (#822)
|
2023-08-09 16:21:18 +03:00 |
|
Dima
|
4e3e70f4fc
|
fix(compiler): Nested abilities [fixes LNG-214] (#816)
|
2023-07-31 14:40:06 +03:00 |
|
InversionSpaces
|
a5b6102422
|
feat(compiler): Add boolean algebra [fixes LNG-211] (#814)
|
2023-07-27 14:11:36 +03:00 |
|
InversionSpaces
|
50ba194b86
|
fix(compiler): Fix math ops for u64 [fixes LNG-204] (#811)
|
2023-07-25 12:53:50 +03:00 |
|
Dima
|
63a9f42e86
|
feat(compiler): Abilities (#731)
|
2023-07-18 17:18:33 +00:00 |
|
InversionSpaces
|
b8b0fafda0
|
feat(compiler): Make on propagate errors [fixes LNG-203] (#788)
* Add fail model
* Make `on` propagate error
* Fix unit tests
* Fix TryTag inlining
* Update XorModel.wrap
* Add comments
* Remove wrapWithXor parameter
* Add unit tests
* Add integration tests
* Add comments
* Fix XorBranch topology
|
2023-07-12 16:18:47 +03:00 |
|
InversionSpaces
|
c1fe24b04d
|
feat(compiler): Make topology hop with non-FFI snippet [fixes LNG-125] (#764)
* Remove MakeRes.canon
* Replace noop with hop
* Rewrite join
* Remove JoinModel, fix tests
* Share code between tests
* Pass type in RestrictionTag(Model)
* Fix MakeRes.hop
* Fix wrapping
* Rename vars, add comments
* Fix XorBranch topology
* Fix tests
|
2023-07-06 12:44:37 +03:00 |
|
InversionSpaces
|
8ba7021cd4
|
refactor(semantics): Refactor semantics to produce concrete tags [fixes LNG-201] (#776)
* Introduce IfTag, TryTag; Remove XorTag
* Add IfTag, TryTag inlining
* Fix test compilation
* Fix test
* Hack to fix topology
* Support try otherwise syntax
* Add comments
* Refactor diff show
* Handle ParTag.Par in single check, add tests
|
2023-06-29 16:20:47 +00:00 |
|
Dima
|
339d3a8217
|
refactor: ArrowInliner refactoring (#777)
|
2023-06-29 11:43:38 +00:00 |
|
InversionSpaces
|
b9d03cbcf0
|
refactor(compiler): Refactor Topology (#754)
* Separate files
* Refactor `capturedTopologies`
* Refactor pathOn
* Refactor firstExecutesOn, lastExecutesOn
* Refactor resolve
* Extract debug print
* Refactor cata and resolve
* Refactor through
* Refactor pathAfterAndPingNext
* Refactor For.beginsOn
|
2023-06-19 17:10:25 +02:00 |
|
InversionSpaces
|
e22fff7c8a
|
fix(compiler): Fix incorrect service method renaming [fixes LNG-199] (#757)
* Rename only arrows, not service calls
* Add tests
* Fix comment
|
2023-06-16 15:05:41 +03:00 |
|
InversionSpaces
|
017eca7056
|
fix(compiler): Fix SO in Topology [fixes LNG-149] (#752)
* Skip `next` in `for` topology resolution
* Add tests
|
2023-06-15 13:17:15 +02:00 |
|
InversionSpaces
|
d6e3ec725c
|
refactor(compiler): Remove ShadowRaw (#742)
|
2023-06-14 16:41:38 +03:00 |
|
InversionSpaces
|
f1abd587b7
|
fix(compiler): Fix closure passing [fixes LNG-92] (#747)
|
2023-06-14 16:09:50 +03:00 |
|
InversionSpaces
|
c5534a964c
|
fix(compiler): Fix closure call compilation [fixes LNG-193] (#741)
|
2023-06-13 12:56:17 +03:00 |
|
InversionSpaces
|
e9c004452e
|
feat(tracing): Introduce function calls tracing [fixes LNG-169] (#732)
* Introduced MetaModel.CallArrowModel
* Fixed ArrowInlinerSpec
* Implemented trace calls injection
* Propagate TracingConfig
* Add tracing flag to js api
* Use detach instead of xor
* Write tests
* ScalarType -> LiteralType
* Add tests
* Fix after rebase
* Fixed tests
* Add tests
* Remove debug prints
* Clean up and add comments
* Fix issues
* Add tracing flag to js api
* Rename liftString -> quote
* Change literal type
* Use CallServiceModel constructor
* Fix js args
* Fixed tests
* Add tracing option to cli
|
2023-06-12 15:28:27 +02:00 |
|
Dima
|
ddb758cee0
|
fix(inline): Nullable value in a nested struct [LNG-160] (#724)
Co-authored-by: InversionSpaces <InversionSpaces@vivaldi.net>
|
2023-06-01 15:54:19 +00:00 |
|
InversionSpaces
|
82f25dd993
|
refactor: Refactor Transform, add comments (#723)
Refactored transform, added comments
|
2023-06-01 13:16:51 +00:00 |
|
Dima
|
dac8fb5774
|
refactor: Move LSP logic to LSP package (#701)
|
2023-04-20 13:01:47 +03:00 |
|
Dima
|
5f00b1ea8d
|
fix: ParRes with no children converted to Null log (#699)
|
2023-04-19 12:14:46 +03:00 |
|
Dima
|
8fa979cd33
|
feat: Return arrows from functions (#693)
|
2023-04-14 16:28:17 +03:00 |
|
Dima
|
bb24a63abb
|
fix: Fix type for functor [fixes LNG-119] (#677)
|
2023-02-28 10:56:49 +03:00 |
|
Dima
|
00ee8b5312
|
fix: name uniqueness in stream gate (#676)
* fix name uniqueness in gate
* fix unit test
|
2023-02-25 12:12:40 +07:00 |
|
Dima
|
439f2cde03
|
perf: Unfold variables in parallel where it is possible (fixes LNG-109 ) (#656)
|
2023-02-01 10:50:43 +03:00 |
|
Dima
|
fedd743721
|
fix: Canonicalize variable in object creation or copy if variable is a stream (#649)
|
2023-01-27 13:24:52 +03:00 |
|
Dima
|
50f0723a32
|
feat: copy structures implementation [fixes LNG-102] (#646)
|
2023-01-20 12:02:05 +07:00 |
|
Dima
|
7ab980a5f0
|
fix: nil in return [DXJ-226] (#629)
|
2023-01-17 20:50:47 +03:00 |
|
Dima
|
63433f2c91
|
LNG-96 object creation (#592)
|
2022-11-30 15:28:06 +03:00 |
|
Dima
|
2b36dbea40
|
fix gate (#590)
|
2022-11-17 12:17:28 +03:00 |
|
Dima
|
85b8f31e74
|
Fix join behavior when using .length (#584)
|
2022-11-16 15:20:32 +03:00 |
|
Dima
|
61f483e16b
|
Fix empty streams as result (#582)
|
2022-10-21 21:16:39 +02:00 |
|
DieMyst
|
2b99cba0d1
|
push to stream as a result of inner function only if stream is declared in outer function
|
2022-10-19 19:07:08 +03:00 |
|
Dima
|
176cad360c
|
LNG-87 add null and never modes to fold instruction (#563)
|
2022-10-09 20:11:27 +03:00 |
|
Dima
|
befa534c57
|
LNG-88 Canonicalize streams in service calls and if statements (#565)
|
2022-10-06 15:42:11 +03:00 |
|
Dima
|
1fa312e7c3
|
Fix par in properties resolving (#564)
|
2022-10-06 11:27:46 +03:00 |
|
Dima
|
2621ee6fa3
|
fix renaming serviceId variable (#562)
|
2022-10-03 14:24:14 +03:00 |
|
Dima
|
95d3dc2d9e
|
LNG-86 Stream canonicalization (#553)
|
2022-09-30 19:06:55 +03:00 |
|
Dima
|
792e174641
|
LNG-78 parser error on negative array indexes (#538)
|
2022-07-12 21:59:58 +03:00 |
|
Dima
|
8cb0fec2b0
|
LNG-69 fix topology bug for if statement without else (#532)
|
2022-07-05 09:36:20 +03:00 |
|
Dmitry Kurinskiy
|
f0cc65e2ad
|
Fixes LNG-63: introduced ShadowRaw (#528)
|
2022-06-27 15:54:21 +03:00 |
|
Dima
|
0bde766832
|
fix lambda resolving (#519)
|
2022-06-10 10:45:17 +03:00 |
|