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 |
|
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 |
|
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
|
5f5fc494b6
|
fix(aqua-api): Add default constants to Aqua API [LNG-194] (#738)
|
2023-06-09 10:59:41 +00:00 |
|
Dima
|
21cb3937ac
|
fix(language-server): Go-to definition for path in use expression [LNG-187] (#733)
add tokens for `use` and `use-from` expressions to language server
|
2023-06-06 14:40:26 -06:00 |
|
Dima
|
670e779ba0
|
refactor: fix: LNG-143 LNG-144 definitions and locations algebras (#705)
|
2023-05-03 16:24:19 +03:00 |
|
Dima
|
dac8fb5774
|
refactor: Move LSP logic to LSP package (#701)
|
2023-04-20 13:01:47 +03:00 |
|
Dima
|
aa89b85b41
|
Api for fluence cli (#611)
|
2022-12-28 11:30:42 +03:00 |
|