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