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
|
3e9d385668
|
fix(language-server): Name clashing in LSP [LNG-342] (#1089)
|
2024-02-26 13:00:25 +00:00 |
|
Dima
|
245f6640f8
|
feat(language-server): Resolve paths for imports (#1079)
|
2024-02-20 12:52:54 +00:00 |
|
Dima
|
3cd31c5827
|
feat(language-server): Add types for types in LSP API (#1078)
|
2024-02-20 12:02:55 +01:00 |
|
Dima
|
17fb77c40f
|
fix(compiler): Use strict to check types availability [LNG-334] (#1071)
|
2024-02-12 09:23:14 +01:00 |
|
Dima
|
f7194f0a54
|
feat(language-server): Support declares and exports in LSP [LNG-304, LNG-319] (#1070)
Co-authored-by: InversionSpaces <inversionspaces@vivaldi.net>
|
2024-02-07 09:21:42 +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 |
|
InversionSpaces
|
6732f8f2cc
|
fix(tests): Lower tests size (#1018)
* Lower tests size
* Remove prints
|
2023-12-14 10:27:14 +01:00 |
|
InversionSpaces
|
f7bfa8317b
|
feat(api): Accept structured imports [LNG-288] (#989)
* Refactor sources
* Fix FuncCompiler compilation
* Normalize imports
* Add relative imports
* Remove Prelude
* Remove import
* Add a log
* Add more logs
* Use snapshot of fs2
* Remove prints
* Add comments
* Savepoint
* Rewrite imports resolution
* Fix relative import
* Add comment
* Added comments
* Fix comment
* Add comments
* Refactor
* Refactor
* Add tests
* Fix tests
* Update tests
* Add comment
* Lower number of tests
* Comment, rename
* Add comment
* Add emptiness check
|
2023-12-13 17:19:34 +01: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 |
|
InversionSpaces
|
1e636cc076
|
feat(lsp-api): Add infoType (#915)
Add infoType
|
2023-09-28 13:00:53 +03:00 |
|
InversionSpaces
|
27a781dd3f
|
feat(compiler): Add warnings subsystem [fixes LNG117] (#906)
* ErrorsAlgebra -> ReportAlgebra
* Refactor ReportAlgebra
* Refactor
* Refactor AquaError
* Fixes
* Add warnings, refactor
* Refactor parser
* Move semantics
* Savepoint
* Refactor semantics and compiler
* Refactor types
* Refactor compiler
* Refactor compiler
* Refactor types
* Refactor retunr types
* Return warnings
* Add simple warning
* Refactor to ValidatedNec
* Refactor
* Add comment
* Propagate warnings to LspContext
* Propagate warnings to LSP
* Add warnings to js api
* Update LSP js api
* Use export declare
* Add comment
* Refactor span rendering
* Remove variable name warning
* Add warning on unused call results
* Add unit tests
* Remove println
|
2023-09-25 13:00:43 +00:00 |
|
Dima
|
f8b5017918
|
feat(language-server): Pass errors to lsp context [fixes LNG-243] (#888)
|
2023-09-14 15:19:16 +00: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 |
|
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 |
|