@aster-cloud/aster-lang-test 0.0.2

package/corpus/tier3-fixtures/lossless/ugly3.in.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lossless",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/lossless/golden/ugly3.in.aster"
+}

package/corpus/tier3-fixtures/lossless/ugly3.out.aster

@@ -0,0 +1,4 @@
+Module demo.
+
+Rule print given msg, produce:
+  Return IO.print(msg).

package/corpus/tier3-fixtures/lossless/ugly3.out.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lossless",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/lossless/golden/ugly3.out.aster"
+}

package/corpus/tier3-fixtures/lossless/ugly4.in.aster

@@ -0,0 +1,4 @@
+Module test.lossless.golden.ugly4.in.
+
+Rule main, produce:
+  Return 0.

package/corpus/tier3-fixtures/lossless/ugly4.in.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lossless",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/lossless/golden/ugly4.in.aster"
+}

package/corpus/tier3-fixtures/lossless/ugly4.out.aster

@@ -0,0 +1,4 @@
+Module test.lossless.golden.ugly4.out.
+
+Rule main, produce:
+  Return 0.

package/corpus/tier3-fixtures/lossless/ugly4.out.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lossless",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/lossless/golden/ugly4.out.aster"
+}

package/corpus/tier3-fixtures/lossless/ugly5.in.aster

@@ -0,0 +1,7 @@
+Module demo.trailing.
+
+Rule id, produce:   
+  Return 1.    
+
+
+

package/corpus/tier3-fixtures/lossless/ugly5.in.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lossless",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/lossless/golden/ugly5.in.aster"
+}

package/corpus/tier3-fixtures/lossless/ugly5.out.aster

@@ -0,0 +1,5 @@
+Module demo.trailing.
+
+Rule id, produce:
+  Return 1.
+

package/corpus/tier3-fixtures/lossless/ugly5.out.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lossless",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/lossless/golden/ugly5.out.aster"
+}

package/corpus/tier3-fixtures/lossless/ugly6.in.aster

@@ -0,0 +1,4 @@
+Module test.lossless.golden.ugly6.in.
+
+Rule main, produce:
+  Return 0.

package/corpus/tier3-fixtures/lossless/ugly6.in.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lossless",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/lossless/golden/ugly6.in.aster"
+}

package/corpus/tier3-fixtures/lossless/ugly6.out.aster

@@ -0,0 +1,4 @@
+Module demo.punct.
+
+Rule cmp given x,  y,  produce:
+  Return 0.

package/corpus/tier3-fixtures/lossless/ugly6.out.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lossless",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/lossless/golden/ugly6.out.aster"
+}

package/corpus/tier3-fixtures/lossless/ugly7.in.aster

@@ -0,0 +1,4 @@
+Module test.lossless.golden.ugly7.in.
+
+Rule main, produce:
+  Return 0.

package/corpus/tier3-fixtures/lossless/ugly7.in.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lossless",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/lossless/golden/ugly7.in.aster"
+}

package/corpus/tier3-fixtures/lossless/ugly7.out.aster

@@ -0,0 +1,4 @@
+Module demo.space.
+
+Rule id, produce:
+  Return 0.

package/corpus/tier3-fixtures/lossless/ugly7.out.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lossless",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/lossless/golden/ugly7.out.aster"
+}

package/corpus/tier3-fixtures/lossless/ugly8.in.aster

@@ -0,0 +1,4 @@
+Module demo.paren.
+
+Rule join given a, b, produce:
+  Return 0.

package/corpus/tier3-fixtures/lossless/ugly8.in.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lossless",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/lossless/golden/ugly8.in.aster"
+}

package/corpus/tier3-fixtures/lossless/ugly8.out.aster

@@ -0,0 +1,4 @@
+Module demo.paren.
+
+Rule join given a, b, produce:
+  Return 0.

package/corpus/tier3-fixtures/lossless/ugly8.out.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lossless",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/lossless/golden/ugly8.out.aster"
+}

package/corpus/tier3-fixtures/lossless/ugly9.in.aster

@@ -0,0 +1,4 @@
+Module demo.cm.
+
+Rule val given m, k, produce:
+  Return 0.

package/corpus/tier3-fixtures/lossless/ugly9.in.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lossless",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/lossless/golden/ugly9.in.aster"
+}

package/corpus/tier3-fixtures/lossless/ugly9.out.aster

@@ -0,0 +1,4 @@
+Module demo.cm.
+
+Rule val given m, k, produce:
+  Return 0.

package/corpus/tier3-fixtures/lossless/ugly9.out.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lossless",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/lossless/golden/ugly9.out.aster"
+}

package/corpus/tier3-fixtures/lsp/a.aster

@@ -0,0 +1,5 @@
+Module fixture.foo.
+
+Rule greet, produce:
+  Return "hi".
+

package/corpus/tier3-fixtures/lsp/a.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lsp",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/lsp-multi/a.aster"
+}

package/corpus/tier3-fixtures/lsp/b.aster

@@ -0,0 +1,5 @@
+Module fixture.bar.
+
+Rule call, produce:
+  Return fixture.foo.greet.
+

package/corpus/tier3-fixtures/lsp/b.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lsp",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/lsp-multi/b.aster"
+}

package/corpus/tier3-fixtures/lsp/bar.aster

@@ -0,0 +1,7 @@
+Module fixture.bar.
+
+Define Item has id.
+
+Rule idOf given i, produce:
+  Return i.id.
+

package/corpus/tier3-fixtures/lsp/bar.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lsp",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/lsp-index-fixture/cnl/bar.aster"
+}

package/corpus/tier3-fixtures/lsp/foo.aster

@@ -0,0 +1,7 @@
+Module fixture.foo.
+
+Define User has id, name.
+
+Rule greet given u, produce:
+  Return Text.concat("Hi, ", u.name).
+

package/corpus/tier3-fixtures/lsp/foo.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "lsp",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/lsp-index-fixture/cnl/foo.aster"
+}

package/corpus/tier3-fixtures/parser-error/simple_function.aster

@@ -0,0 +1,4 @@
+Module simple.
+
+Rule main, produce:
+  Return 42.

package/corpus/tier3-fixtures/parser-error/simple_function.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "parser-error",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/parser-tests/simple_function.aster"
+}

package/corpus/tier3-fixtures/parser-error/test-bad-syntax.aster

@@ -0,0 +1,4 @@
+Module test.cnl.programs.syntax_tests.test_bad_syntax.
+
+Rule main, produce:
+  Return 0.

package/corpus/tier3-fixtures/parser-error/test-bad-syntax.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "parser-error",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/syntax-tests/test-bad-syntax.aster"
+}

package/corpus/tier3-fixtures/parser-error/test-number-type.aster

@@ -0,0 +1,6 @@
+Module test.number.
+
+Define Product has price, quantity.
+
+Rule calculateTotal given product, produce:
+  Return product.price.

package/corpus/tier3-fixtures/parser-error/test-number-type.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "parser-error",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/syntax-tests/test-number-type.aster"
+}

package/corpus/tier3-fixtures/parser-error/test_if_syntax.aster

@@ -0,0 +1,8 @@
+Module test.loan.
+
+Define Decision has approved as Bool, reason as Text.
+
+Rule check given age as Int, produce Text:
+  If age is 18
+    Return "OK".
+  Return "NO".

package/corpus/tier3-fixtures/parser-error/test_if_syntax.meta.json

@@ -0,0 +1,7 @@
+{
+  "tier": 3,
+  "bucket": "parser-error",
+  "engines": [],
+  "source": "aster-lang-ts/test/cnl/programs/basics/test_if_syntax.aster",
+  "notes": "Parser-error fixture: If ... is N is not Aster syntax (should be equals to N)."
+}

package/corpus/tier3-fixtures/parser-error/with_data_type.aster

@@ -0,0 +1,4 @@
+Module test.cnl.programs.parser_tests.with_data_type.
+
+Rule main, produce:
+  Return 0.

package/corpus/tier3-fixtures/parser-error/with_data_type.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "parser-error",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/parser-tests/with_data_type.aster"
+}

package/corpus/tier3-fixtures/policy-converter/async_policy.aster

@@ -0,0 +1,9 @@
+Module test.async_demo.
+
+Rule processAsync given userId, produce:
+  Start task as async loadUser(userId).
+  Wait for task.
+  Return "Processed: " plus task.
+
+Rule loadUser given id, produce:
+  Return "User-" plus id.

package/corpus/tier3-fixtures/policy-converter/async_policy.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "policy-converter",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/policy-converter/async_policy.aster"
+}

package/corpus/tier3-fixtures/policy-converter/data_policy.aster

@@ -0,0 +1,9 @@
+Module test.data.
+
+Define Person has name, age, email.
+
+Rule createPerson given name, age, email, produce:
+  Return Person with name set to name, age set to age, email set to email.
+
+Rule getPersonName given person, produce:
+  Return person.name.

package/corpus/tier3-fixtures/policy-converter/data_policy.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "policy-converter",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/policy-converter/data_policy.aster"
+}

package/corpus/tier3-fixtures/policy-converter/effects_policy.aster

@@ -0,0 +1,7 @@
+Module test.effects.
+
+Rule pureFunction given x, produce:
+  Return x times 2.
+
+Rule ioFunction given message, produce IO. It performs io:
+  Return "Processed: " plus message.

package/corpus/tier3-fixtures/policy-converter/effects_policy.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "policy-converter",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/policy-converter/effects_policy.aster"
+}

package/corpus/tier3-fixtures/policy-converter/simple_policy.aster

@@ -0,0 +1,7 @@
+Module test.simple.
+
+Rule greet given name, produce:
+  Return "Hello, " plus (name plus "!").
+
+Rule add given x, y, produce:
+  Return x plus y.

package/corpus/tier3-fixtures/policy-converter/simple_policy.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "policy-converter",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/policy-converter/simple_policy.aster"
+}

package/corpus/tier3-fixtures/runtime-retry/retry_max_attempts.aster

@@ -0,0 +1,13 @@
+Module tests.runtime.retry.max_attempts.
+
+Rule retryMaxAttempts, produce. It performs io:
+
+  workflow:
+    step processPayment:
+      Return ok of "processed".
+
+    retry:
+      max attempts: 5.
+      backoff: linear.
+
+  .

package/corpus/tier3-fixtures/runtime-retry/retry_max_attempts.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "runtime-retry",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/runtime/retry/retry_max_attempts.aster"
+}

package/corpus/tier3-fixtures/runtime-retry/retry_success.aster

@@ -0,0 +1,13 @@
+Module tests.runtime.retry.success.
+
+Rule retrySuccess, produce. It performs io:
+
+  workflow:
+    step fetchData:
+      Return ok of "data".
+
+    retry:
+      max attempts: 3.
+      backoff: exponential.
+
+  .

package/corpus/tier3-fixtures/runtime-retry/retry_success.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "runtime-retry",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/runtime/retry/retry_success.aster"
+}

package/corpus/tier3-fixtures/runtime-retry/retry_with_timeout.aster

@@ -0,0 +1,4 @@
+Module tests.runtime.retry.timeout.
+
+Rule retryWithTimeout, produce. It performs io:
+  Return 0.

package/corpus/tier3-fixtures/runtime-retry/retry_with_timeout.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "runtime-retry",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/runtime/retry/retry_with_timeout.aster"
+}

package/corpus/tier3-fixtures/truffle/smoke-test.aster

@@ -0,0 +1,4 @@
+Module smoke.test.
+
+Rule main, produce:
+  Return 42.

package/corpus/tier3-fixtures/truffle/smoke-test.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "truffle",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/truffle/smoke-test.aster"
+}

package/corpus/tier3-fixtures/type-checker/async_duplicate_start.aster

@@ -0,0 +1,7 @@
+Module tests.typecheck.async.duplicate_start.
+
+Rule launchTwice given userId, produce:
+  Start profile as async ProfileSvc.load(userId).
+  Start profile as async ProfileSvc.reload(userId).
+  Wait for profile.
+  Return "done".

package/corpus/tier3-fixtures/type-checker/async_duplicate_start.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "type-checker",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/type-checker/golden/async_duplicate_start.aster"
+}

package/corpus/tier3-fixtures/type-checker/async_duplicate_wait.aster

@@ -0,0 +1,7 @@
+Module tests.typecheck.async.duplicate_wait.
+
+Rule processUser given userId, produce:
+  Start profile as async ProfileSvc.load(userId).
+  Wait for profile.
+  Wait for profile.
+  Return "done".

package/corpus/tier3-fixtures/type-checker/async_duplicate_wait.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "type-checker",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/type-checker/golden/async_duplicate_wait.aster"
+}

package/corpus/tier3-fixtures/type-checker/async_missing_wait.aster

@@ -0,0 +1,5 @@
+Module tests.typecheck.async.start.
+
+Rule launchTask given userId, produce:
+  Start profile as async ProfileSvc.load(userId).
+  Return "queued".

package/corpus/tier3-fixtures/type-checker/async_missing_wait.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "type-checker",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/type-checker/golden/async_missing_wait.aster"
+}

package/corpus/tier3-fixtures/type-checker/async_wait_not_started.aster

@@ -0,0 +1,5 @@
+Module tests.typecheck.async.wait_not_started.
+
+Rule fetchData given userId, produce:
+  Wait for profile.
+  Return "done".

package/corpus/tier3-fixtures/type-checker/async_wait_not_started.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 3,
+  "bucket": "type-checker",
+  "engines": [
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/type-checker/golden/async_wait_not_started.aster"
+}