-
Notifications
You must be signed in to change notification settings - Fork 24
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge branch 'main' into feat/force-header-LNG-308
- Loading branch information
Showing
54 changed files
with
7,813 additions
and
282 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,3 +1,3 @@ | ||
{ | ||
".": "0.13.3" | ||
".": "0.13.4" | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -29,4 +29,4 @@ jobs: | |
apps: sbt | ||
|
||
- name: Run tests | ||
run: sbt test | ||
run: env JAVA_OPTS="-Xmx4G" sbt test |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,9 +1,40 @@ | ||
export arr | ||
aqua M | ||
|
||
aqua Aaa | ||
export bugLng317 | ||
|
||
service MyOp("op"): | ||
identity(s: string) -> string | ||
|
||
ability WorkerJob: | ||
runOnSingleWorker(w: string) -> []string | ||
|
||
func arr() -> string: | ||
n = "str" | ||
<- n | ||
func runJob(j: -> []string) -> []string: | ||
<- j() | ||
|
||
func disjoint_run{WorkerJob}() -> -> []string: | ||
run = func () -> []string: | ||
r <- WorkerJob.runOnSingleWorker("a") | ||
<- r | ||
<- run | ||
|
||
func empty() -> string: | ||
a = "empty" | ||
<- a | ||
|
||
func bugLng317() -> []string: | ||
|
||
res: *string | ||
|
||
outer = () -> string: | ||
<- empty() | ||
|
||
clos = () -> -> []string: | ||
job2 = () -> []string: | ||
res <- outer() | ||
res <- MyOp.identity("identity") | ||
<- res | ||
<- job2 | ||
worker_job = WorkerJob(runOnSingleWorker = clos()) | ||
subnet_job <- disjoint_run{worker_job}() | ||
finalRes <- runJob(subnet_job) | ||
<- finalRes |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,23 @@ | ||
aqua M | ||
|
||
export bugLNG314 | ||
|
||
ability WorkerJob: | ||
runOnSingleWorker(w: string) -> string | ||
|
||
func disjoint_run{WorkerJob}() -> -> string: | ||
run = func () -> string: | ||
r <- WorkerJob.runOnSingleWorker("worker") | ||
<- r | ||
<- run | ||
|
||
func runJob(j: -> string) -> string: | ||
<- j() | ||
|
||
func bugLNG314() -> string: | ||
job2 = () -> string: | ||
<- "strstrstr" | ||
worker_job = WorkerJob(runOnSingleWorker = job2) | ||
subnet_job <- disjoint_run{worker_job}() | ||
res <- runJob(subnet_job) | ||
<- res |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file was deleted.
Oops, something went wrong.
22 changes: 22 additions & 0 deletions
22
integration-tests/aqua/examples/recursiveStreams/multiRec.aqua
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,22 @@ | ||
aqua MultiRec | ||
|
||
export TestService, multiRecStream | ||
|
||
service TestService("test-srv"): | ||
handle(i: i32) -> []i32 | ||
|
||
func multiRecStream(init: i32, target: i32) -> []i32: | ||
result: *string | ||
loop: *i32 | ||
|
||
loop <<- init | ||
for l <- loop rec: | ||
news <- TestService.handle(l) | ||
for n <- news: | ||
loop <<- n | ||
if l == target: | ||
result <<- "done" | ||
|
||
join result! | ||
|
||
<- loop |
19 changes: 19 additions & 0 deletions
19
integration-tests/aqua/examples/recursiveStreams/nested.aqua
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,19 @@ | ||
aqua Nested | ||
|
||
export nested | ||
|
||
func nested(n: u32) -> []u32: | ||
result: *u32 | ||
iterator: *u32 | ||
|
||
iterator <<- 0 | ||
for i <- iterator rec: | ||
if i < n: | ||
for j <- iterator rec: | ||
result <<- j | ||
iterator <<- i + 1 | ||
|
||
if n > 0: | ||
join result[n * (n + 1) / 2 - 1] | ||
|
||
<- result |
29 changes: 29 additions & 0 deletions
29
integration-tests/aqua/examples/recursiveStreams/pipeline.aqua
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,29 @@ | ||
aqua Pipeline | ||
|
||
export pipelineStream | ||
|
||
func pipelineStream(init: i32, target: i32) -> []i32: | ||
result: *string | ||
|
||
loop1: *i32 | ||
loop2: *i32 | ||
loop3: *i32 | ||
|
||
loop1 <<- init | ||
for l <- loop1 rec: | ||
if l < target: | ||
loop1 <<- l + 1 | ||
loop2 <<- l * 3 | ||
|
||
for l <- loop2 rec: | ||
loop3 <<- l | ||
loop3 <<- l + 1 | ||
loop3 <<- l + 2 | ||
|
||
for l <- loop3 rec: | ||
if l == target: | ||
result <<- "success" | ||
|
||
join result! | ||
|
||
<- loop3 |
18 changes: 18 additions & 0 deletions
18
integration-tests/aqua/examples/recursiveStreams/range.aqua
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,18 @@ | ||
aqua Range | ||
|
||
export range | ||
|
||
func range(a: i32, b: i32) -> []i32: | ||
result: *i32 | ||
iterator: *i32 | ||
|
||
iterator <<- a | ||
for i <- iterator rec: | ||
if i < b: | ||
result <<- i | ||
iterator <<- i + 1 | ||
|
||
if b > a: | ||
join result[b - a - 1] | ||
|
||
<- result |
19 changes: 19 additions & 0 deletions
19
integration-tests/aqua/examples/recursiveStreams/remoteRec.aqua
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,19 @@ | ||
aqua RemoteRec | ||
|
||
export RemoteSrv, remoteRecStream | ||
|
||
service RemoteSrv("remote-srv"): | ||
handle(i: i32) -> i32 | ||
|
||
func remoteRecStream(init: i32, target: i32, friend: string, friendRelay: string) -> []i32: | ||
loop: *i32 | ||
|
||
loop <<- init | ||
for l <- loop rec: | ||
on friend via friendRelay: | ||
if l < target: | ||
loop <- RemoteSrv.handle(l) | ||
|
||
join loop[target - init] | ||
|
||
<- loop |
21 changes: 21 additions & 0 deletions
21
integration-tests/aqua/examples/recursiveStreams/yesNo.aqua
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,21 @@ | ||
aqua YesNo | ||
|
||
export YesNoService, yesNoStream | ||
|
||
service YesNoService("yesno"): | ||
get() -> string | ||
|
||
func yesNoStream() -> []string: | ||
result: *string | ||
loop: *string | ||
|
||
loop <<- "yes" | ||
for l <- loop rec: | ||
if l == "yes": | ||
loop <- YesNoService.get() | ||
else: | ||
result <<- "success" | ||
|
||
join result! | ||
|
||
<- loop |
Oops, something went wrong.