Commit Graph

105 Commits

Author SHA1 Message Date
Dima
4d49279569
feat(compiler): Add feature to insert map from a function result with correct type [LNG-367] (#1159) 2024-07-01 19:58:29 +07:00
Dima
77b7b9b4bd
fix(compiler): Push to stream in closures [LNG-365] (#1157) 2024-06-18 16:57:55 +03:00
Dima
037532fb85
feat(api, lsp): Case classes exported to JS as normal JSONs (#1151) 2024-06-07 11:38:37 +03:00
Dima
934c20c98a
feat(compiler): CRDT-maps implementation (#1142) 2024-06-06 04:24:47 +00:00
Dima
7468f6fd18
chore: Add extension to imports on preparing import tokens (#1139) 2024-05-20 07:55:09 +00:00
Dima
35db82c767
fix(lsp): Go-to-definition for used types (LNG-345) (#1128) 2024-05-14 11:36:25 +00:00
Dima
e6c5d0039f
fix(compiler): Return error if SemanticError occures [LNG-356] (#1126) 2024-04-17 12:40:19 +00:00
Dima
49729ac40a
fix(compiler): Ordering in option inliner [LNG-351] (#1114) 2024-04-08 09:24:55 +00:00
Dima
8f06ac1cba
fix(compiler): Redeclare imports [LNG-344] (#1109) 2024-04-02 09:04:01 +00:00
Dima
14748c7646
fix(compiler): Create restrictions in inliner [LNG-346] (#1099) 2024-03-28 11:10:13 +00:00
InversionSpaces
5c7f6a89c6
feat(compiler): Reimplement noXor compiler flag [LNG-347] (#1096)
* Fix imports

* Remove constants

* Return constants

* Refactor

* Add config

* Do not propagate errors

* Do not propagate errors through on

* Rename hop ephemeral streams

* Add comments

* Add tests
2024-03-05 10:45:21 +07:00
Dima
d7fef3db5f
fix(compiler): Bug in renaming [LNG-346] (#1094) 2024-02-29 09:23:34 +00:00
Dima
3e9d385668
fix(language-server): Name clashing in LSP [LNG-342] (#1089) 2024-02-26 13:00:25 +00:00
Dima
b22762ca6d
fix(compiler): Recursively find abilities [LNG-338] (#1086) 2024-02-21 14:11:21 +03:00
Dima
245f6640f8
feat(language-server): Resolve paths for imports (#1079) 2024-02-20 12:52:54 +00:00
Dima
17fb77c40f
fix(compiler): Use strict to check types availability [LNG-334] (#1071) 2024-02-12 09:23:14 +01:00
Dima
1a0b3a22c1
fix(compiler): Streams in closures generates wrong AIR (#1055) 2024-01-30 11:34:50 +03:00
Dima
abcb63db3b
perf(compiler): Inliner optimization [LNG-322] (#1047) 2024-01-22 10:08:06 +00:00
InversionSpaces
d057a5e695
feat(compiler)!: Force aqua header [LNG-308] (#1028)
* Refactor

* deprecate `module`, force `aqua`, fix integration and unit tests

* fix ImportFromSpec

* Savepoint

* Fix

* Semantic error on module header

* Refactor

* Add begin token

* Fix tests

* Remove DHT examples

* Use git aqua-lib

* Fix headers

* Fix headers

* Fix headers

* Fix headers

* Fix headers

* Fix headers

* Fix headers

* Fix test

* Unignore tests

* Update aqua-lib

---------

Co-authored-by: DieMyst <dmitry.shakhtarin@fluence.ai>
2024-01-18 10:43:23 +01:00
Dima
85f3ecdf39
fix(compiler): Add outside context to closures [LNG-317] (#1038) 2024-01-11 11:00:32 +03:00
Dima
5241f522d8
fix(compiler): Passing closures with abilities [LNG-314] (#1035) 2024-01-09 19:31:37 +03:00
Dima
74d02e1f63
feat(language-server): Pass token types to LSP [LNG-285] (#999) 2023-12-07 12:06:51 +00:00
Dima
4cecab1a26
fix(compiler): Use correct empty stream as argument [LNG-280, LNG-292] (#967) 2023-11-28 10:45:12 +00:00
Dima
a1576efad9
fix(compiler): Code generate wrong stream name in AIR [LNG-276] (#958) 2023-11-02 13:13:25 +00:00
Dima
6e6b567f8e
fix(compiler): Incorrect focus on error [LNG-274] (#959) 2023-11-02 12:38:19 +00:00
Dima
38f77285f5
fix(compiler): Throw an error when comparing an alias and a named type with the same name [LNG-231] (#946) 2023-10-27 11:18:44 +00:00
Dima
45ca7bbf3e
fix(compiler): Multiple closures in one function [LNG-262] (#941) 2023-10-27 09:24:52 +02:00
Dima
fab46ee130
fix(compiler): Return ability arrow [LNG-258] (#935) 2023-10-23 16:59:55 +03:00
Dima
878990a837
feat: Create structs with stream maps [fixes LNG-244] (#893) 2023-09-27 15:07:22 +03: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
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
Dima
4e3e70f4fc
fix(compiler): Nested abilities [fixes LNG-214] (#816) 2023-07-31 14:40:06 +03:00
Dima
fabf8d7d61
feat(compiler): Restrict exporting functions that return arrow types or ability types [fixes LNG-209] (#815) 2023-07-26 12:55:16 +03:00
Dima
63a9f42e86
feat(compiler): Abilities (#731) 2023-07-18 17:18:33 +00:00
Dima
670e779ba0
refactor: fix: LNG-143 LNG-144 definitions and locations algebras (#705) 2023-05-03 16:24:19 +03:00
Dima
8fa979cd33
feat: Return arrows from functions (#693) 2023-04-14 16:28:17 +03:00
Dima
2394a9b875
fix: Check if expression can be added to a block (#685) 2023-04-04 16:02:26 +03:00
Dima
50f0723a32
feat: copy structures implementation [fixes LNG-102] (#646) 2023-01-20 12:02:05 +07:00
Dima
aa89b85b41
Api for fluence cli (#611) 2022-12-28 11:30:42 +03:00
Dima
85b8f31e74
Fix join behavior when using .length (#584) 2022-11-16 15:20:32 +03:00
shamsartem
a5cd947159
update links (#583) 2022-10-25 11:46:27 +03:00
Dima
95d3dc2d9e
LNG-86 Stream canonicalization (#553) 2022-09-30 19:06:55 +03:00
Dmitry Kurinskiy
f0cc65e2ad
Fixes LNG-63: introduced ShadowRaw (#528) 2022-06-27 15:54:21 +03:00
Dmitry Kurinskiy
abd101c4f9
Fix for greedy par (#487) 2022-04-12 16:27:04 +03:00
Dmitry Kurinskiy
12ee2d52fa
Arrow Call as a Raw Value (#461)
* CallArrowToken in the parser

* CallArrowRawTag

* unfoldArrow

* handle IntoIndexRaw for CallArrowRaw

* Removed useless CallArrowRawTag.service argument

* RawValueInliner split into several classes

* cliJS compiles

* Parser tests compile

* Semantics spec compile but fail

* Allow braces around values

* infix token WIP

* InfixToken WIP

* Fixes #423

* Infix (arithmetic) operations order

* Infix (arithmetic) operations parallelism fix

* seq it!

* fix inline test

* fix transform test

* fix semantics spec

* fix CallArrowSem

* bugfix

* Fix for CLI help typo

* merge

* Order fix

* Order fix

* optional space after `func` in closures

* some doc comments

Co-authored-by: DieMyst <dmitry.shakhtarin@fluence.ai>
2022-03-25 17:23:41 +03:00
Dmitry Kurinskiy
ab0990dd72
Capture and apply topology (#451) 2022-03-15 14:52:43 +03:00
Dmitry Kurinskiy
2fa3a09548
Empty collections creation (#447) 2022-03-04 14:07:30 +03:00
Dmitry Kurinskiy
6772c1d0fa
Sugar for collections (#445) 2022-03-03 17:54:45 +03:00
Dmitry Kurinskiy
c74eb06499
427 topology bug (#433)
* fix path

* topology bug 427 test

* test with join, it works

* improve topology test, still works. add compiler test

* broken compiler test

* CompilerSpec works fine without `wrapWithXor`

* add xor to topology test, it becomes broken

* XOR topology fixed

* ForceExecModel

* Debugging topology WIP

* Fixed

Co-authored-by: DieMyst <dmitry.shakhtarin@fluence.ai>
2022-02-15 19:20:56 +03:00