InversionSpaces
9c23a9d4ef
feat(compiler): Allow redeclaring functions [LNG-357] ( #1127 )
...
* Allow dots in use ... as
* Add tests
* Refactor implicits
* Use QName in module name
* Fix test
* Refactor declares
* Add PName
* Propagate nested abilities
* Fix compilation
* Do not propagate context
* Use alignCombine
* Add test
* Add more tests
* Refactor test
* Remove unused function
* Refactor test
* Refactor, add comments
* Checkout aqua-src
2024-04-25 10:40:55 +00:00
fluencebot
04f8bd2f68
chore(main): release aqua 0.14.6 ( #1111 )
2024-04-19 10:03:27 +00:00
Dima
e6c5d0039f
fix(compiler): Return error if SemanticError occures [LNG-356] ( #1126 )
2024-04-17 12:40:19 +00:00
InversionSpaces
f29e44e52a
fix(compiler): Refactor header semantics [LNG-352] ( #1113 )
...
* Initial
* Fix import
* Refactor RawSemantics
* Refactor RawSemantics
* Remove initCtx for export
* Add fromInit
* Remove setInit
* Use init ctx
* Add a hack to ModuleSem
* Remove initCtx
* Refactor HeaderSem finalization
* Remove RawContext#init
* Combine with semigroup op
* Remove unnecessary typeclass
* Remove unused typeclass
* Remove unnecessary typeclass
* Remove unnecessary monoid
* Remove contants from monoid
* Fix tests
* Remove unused monoids
* Refactor declares
* Refactor module sem
* Refactor module sem
* Update LspSemantics
* Remove unused typeclass
* Remove unnecessary method
* Add comments
2024-04-09 12:58:12 +02:00
Dima
07bea1a909
fix(lsp): Fix go-to-definition for abilities as arguments in functions [LNG-343] ( #1116 )
2024-04-08 12:43:30 +00:00
fluencebot
0a49f22365
chore(main): release aqua 0.14.5 ( #1098 )
...
* chore(main): release aqua 0.14.5
* chore: Bump aqua version to 0.14.5
2024-03-28 11:43:47 +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
fluencebot
c444d24f89
chore(main): release aqua 0.14.4 ( #1095 )
...
* chore(main): release aqua 0.14.4
* chore: Bump aqua version to 0.14.4
2024-03-01 10:24:02 +03:00
fluencebot
6e9689945d
chore(main): release aqua 0.14.3 ( #1092 )
2024-02-29 09:00:05 +00:00
Dima
3e9d385668
fix(language-server): Name clashing in LSP [LNG-342] ( #1089 )
2024-02-26 13:00:25 +00:00
fluencebot
27f132f18a
chore(main): release aqua 0.14.2 ( #1087 )
2024-02-21 14:43:14 +03:00
fluencebot
df5eb29d92
chore(main): release aqua 0.14.1 ( #1064 )
2024-02-20 14:15:27 +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
fluencebot
d30b6e1b38
chore(main): release aqua 0.14.0 ( #1048 )
2024-01-30 12:24:50 +03: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
fluencebot
098fac79ba
chore(main): release aqua 0.13.4 ( #1036 )
2024-01-11 11:26:38 +03:00
fluencebot
9aec470d38
chore(main): release aqua 0.13.3 ( #1025 )
2023-12-25 12:51:54 +00:00
InversionSpaces
5bc01a9c02
feat(lsp-api): Fix interface definition [LNG-298] ( #1027 )
...
* Fix interface definition
* Fix comment
2023-12-19 17:01:34 +01:00
fluencebot
7fe0212761
chore(main): release aqua 0.13.2 ( #1016 )
...
* chore(main): release aqua 0.13.2
* chore: Bump aqua version to 0.13.2
2023-12-15 18:27:46 +00: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
fluencebot
051aa41715
chore(main): release aqua 0.13.1 ( #988 )
2023-12-07 16:45:46 +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
fluencebot
d7023c0f10
chore(main): release aqua 0.13.0 ( #944 )
...
* chore(main): release aqua 0.13.0
* chore: Bump aqua version to 0.13.0
2023-11-22 15:21:38 +01:00
fluencebot
2f11a0649f
chore(main): release aqua 0.12.4 ( #917 )
...
* chore(main): release aqua 0.12.4
* chore: Bump aqua version to 0.12.4
2023-10-23 14:20:47 +00:00
fluencebot
c109f37efa
chore(main): release aqua 0.12.3 ( #912 )
...
* chore(main): release aqua 0.12.3
* chore: Bump aqua version to 0.12.3
2023-09-28 10:12:26 +00:00
InversionSpaces
1e636cc076
feat(lsp-api): Add infoType ( #915 )
...
Add infoType
2023-09-28 13:00:53 +03:00
fluencebot
91af0bf055
chore(main): release aqua 0.12.2 ( #889 )
2023-09-26 11:53:26 +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
fluencebot
03042a71f3
chore(main): release aqua 0.12.1 ( #866 )
...
* chore(main): release aqua 0.12.1
* chore: Bump aqua version to 0.12.1
---------
Co-authored-by: Dima <dmitry.shakhtarin@fluence.ai>
2023-09-11 16:11:55 +03:00
fluencebot
5adbae0677
chore(main): release aqua 0.12.0 ( #853 )
...
* chore(main): release aqua 0.12.0
* chore: Bump aqua version to 0.12.0
2023-08-25 11:55:20 +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
fluencebot
5db1282c1f
chore(main): release aqua 0.11.11 ( #850 )
...
* chore(main): release aqua 0.11.11
* chore: Bump aqua version to 0.11.11
---------
Co-authored-by: Anatoly Laskaris <github_me@nahsi.dev>
2023-08-21 16:40:35 +03:00
Anatolios Laskaris
7a6fce27f7
chore: Revert release ( #848 )
...
* Revert "chore(main): release aqua 0.11.10 (#835 )"
This reverts commit 071ba7d483
2023-08-21 14:37:49 +03:00
fluencebot
071ba7d483
chore(main): release aqua 0.11.10 ( #835 )
2023-08-21 14:11:02 +03:00
fluencebot
49c9be6dd8
chore(main): release aqua 0.11.9 ( #813 )
2023-08-09 15:18:11 +00: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
fluencebot
cb539f1332
chore(main): release aqua 0.11.8 ( #805 )
2023-07-20 18:28:33 +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
Anatolios Laskaris
aa10706506
chore: Refactor CI after moving tests from aqua-playground [fixes FLU-352] ( #763 )
...
* move integration tests to repo
* Move aqua-playground CI
* Fix
* Use local aqua cli
* Move aqua tests to e2e
* Test new build.sbt
* Fix?
* Test
* Test
* Test
* Test
* Update
* Fix
* Fix
* Fix
* fix
* Fix
* Rename aqua-api to api directory for consistency
* Migrate to pnpm
* Add bump version script
* Test snapshot workflow
* fix
* Fix
* Fix
* Setup pnpm
* Update pnpm version
* Fix
* Do not publish tests
* Update
* Fix
* Fix?
* delete import
* Fix
* Fix
* Fix?
* Fix
* Fix
* Use main branch
* Fix quotes
* Fix
* Fix release
* Cleanup
* Remove compiled examples
* Cleanup
---------
Co-authored-by: DieMyst <dmitry.shakhtarin@fluence.ai>
2023-06-22 14:59:56 +03:00
fluencebot
4fcfaf9c7c
chore(main): release aqua 0.11.7 ( #758 )
...
* chore(main): release aqua 0.11.7
* chore: Bump aqua version to 0.11.7
2023-06-16 15:41:56 +03:00
fluencebot
c73a98b7a0
chore(main): release aqua 0.11.6 ( #753 )
...
* chore(main): release aqua 0.11.6
* chore: Bump aqua version to 0.11.6
2023-06-15 08:03:46 -06:00
fluencebot
6c7147212d
chore(main): release aqua 0.11.5 ( #749 )
2023-06-14 18:34:49 +03:00
fluencebot
45c44b3046
chore(main): release aqua 0.11.4 ( #743 )
2023-06-13 14:08:12 +03:00
