aqua/integration-tests/aqua/examples
InversionSpaces 1c76f75d80
feat(compiler): Allow renaming imports with qualified names [LNG-361] (#1136)
* Reverse ability search order

* Gather arrows from imported services

* Add test

* Refactor AquaContext

* Add test for abilities

* Rewrite parsing

* Update cache

* Make method private

* Use only PName in pick

* Rewrite picking (Compilation savepoint)

* Fix PName.value

* Linearize modules, make tests compile

* Make unit tests pass (Savepoint)

* Refactor a little

* Remove declared argument

* Refactor

* Move scoped to Picker

* Refactor locations to typed names

* Fix pickHeader

* Implement scoped for LspContext

* Refactor exports, rethink HeaderSem monoid

* Fix AquaContext (Savepoint)

* Fix import handling

* Remove println

* Remove unused fields

* Add header to SName.scala

* Add simple test

* Add merge test

* Add renaming test

* Refactor module to separate class

* Add comments

* Remove setAbility method

* Refactor exports handling

* Remove unnecessary variable

* Add integration tests
2024-07-03 20:41:31 +07:00
..
imports_exports feat(compiler): Allow renaming imports with qualified names [LNG-361] (#1136) 2024-07-03 20:41:31 +07:00
options feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
recursiveStreams fix(compiler): Create restrictions in inliner [LNG-346] (#1099) 2024-03-28 11:10:13 +00:00
redeclare fix(compiler): Redeclare imports [LNG-344] (#1109) 2024-04-02 09:04:01 +00:00
abilities.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
abilitiesClosure.aqua fix(compiler): Recursively find abilities [LNG-338] (#1086) 2024-02-21 14:11:21 +03:00
abilitiesClosureRename.aqua fix(compiler): Bug in renaming [LNG-346] (#1094) 2024-02-29 09:23:34 +00:00
assignment.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
boolAlgebra.aqua feat(compiler): Add equality ops [fixes LNG-217] (#820) 2023-08-09 13:38:24 +00:00
callArrow.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
canon.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
closureArrowCapture.aqua fix(compiler): Create restrictions in inliner [LNG-346] (#1099) 2024-03-28 11:10:13 +00:00
closureReturnRename.aqua 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
closures.aqua fix(compiler): Streams in closures generates wrong AIR (#1055) 2024-01-30 11:34:50 +03:00
closureStreamScopes.aqua fix(compiler): Create restrictions in inliner [LNG-346] (#1099) 2024-03-28 11:10:13 +00:00
co.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
collectionSugar.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
complex.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
constants.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
dataAlias.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
errorClear.aqua feat(compiler)!: Prohibit mutating options [LNG-277] (#960) 2023-11-13 11:58:36 +03:00
example.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
fold.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
foldJoin.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
func.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
funcs.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
functors.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
handleResultError.aqua feat(compiler)!: Prohibit mutating options [LNG-277] (#960) 2023-11-13 11:58:36 +03:00
helloWorld.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
if.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
ifPropagateErrors.aqua feat(compiler): Make if propagate errors [fixes LNG-202] (#779) 2023-09-27 09:52:52 +00:00
join.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
math.aqua fix(compiler): Fix math ops for u64 [fixes LNG-204] (#811) 2023-07-25 12:53:50 +03:00
multiReturn.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
nestedData.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
nestedFuncs.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
object.aqua feat: Create structs with stream maps [fixes LNG-244] (#893) 2023-09-27 15:07:22 +03:00
on.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
onErrorPropagation.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
option.aqua fix(compiler): Ordering in option inliner [LNG-351] (#1114) 2024-04-08 09:24:55 +00:00
par.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
parseq.aqua feat(compiler): CRDT-maps implementation (#1142) 2024-06-06 04:24:47 +00:00
passArgs.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
println.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
pushToStream.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
renameVars.aqua fix(compiler): Runtime error on compilation exported functions with top types [fixes LNG-218] (#822) 2023-08-09 16:21:18 +03:00
returnArrow.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
returnLiteral.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
servicesAsAbilities.aqua fix(compiler): Create restrictions in inliner [LNG-346] (#1099) 2024-03-28 11:10:13 +00:00
stream.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
streamArgs.aqua fix(compiler): Use correct empty stream as argument [LNG-280, LNG-292] (#967) 2023-11-28 10:45:12 +00:00
streamCallback.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
streamCan.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
streamCapture.aqua fix(compiler): Fix closure stream capture [fixes LNG-58] (#857) 2023-09-01 16:05:32 +03:00
streamMap.aqua 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
streamMapAbilities.aqua feat(compiler): CRDT-maps implementation (#1142) 2024-06-06 04:24:47 +00:00
streamMapCapture.aqua feat(compiler): CRDT-maps implementation (#1142) 2024-06-06 04:24:47 +00:00
streamMapRestriction.aqua feat(compiler): CRDT-maps implementation (#1142) 2024-06-06 04:24:47 +00:00
streamRestriction.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
streamResults.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
streamReturn.aqua fix(compiler): Fix closure stream capture [fixes LNG-58] (#857) 2023-09-01 16:05:32 +03:00
streamScopes.aqua fix(compiler): Generate stream restriction for scoped exprs [fixes LNG-222] (#841) 2023-08-17 10:30:02 +04:00
structuraltyping.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
subImportUsage.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
topbottom.aqua fix(compiler): Runtime error on compilation exported functions with top types [fixes LNG-218] (#822) 2023-08-09 16:21:18 +03:00
topology.aqua fix(compiler): Fix topology for adjacent ons [LNG-257] (#929) 2023-10-17 11:59:30 +00:00
tryCatch.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
tryOtherwise.aqua feat(compiler)!: Force aqua header [LNG-308] (#1028) 2024-01-18 10:43:23 +01:00
via.aqua feat(compiler)!: Prohibit mutating options [LNG-277] (#960) 2023-11-13 11:58:36 +03:00