More acceptance test scenarios. #176

KtorZ · 2022-12-15T01:24:13Z

No description provided.

- Slightly more efficient until we have compiler optimizations in. - Also 'solves' issue captured in acceptance tests 016 and 017 (see aiken-lang/aiken#176)

KtorZ · 2022-12-16T11:11:05Z

examples/acceptance_tests/015/lib/test.ak

@@ -6,6 +6,7 @@ pub fn new() {
  Map { inner: [] }
 }

+// Seems to be an issue with the parser. The TypedExpr body is excluding the Equal binop.


I can have a look at that one.

``` Error: × Main thread panicked. ├─▶ at /Users/ktorz/Documents/Projects/aiken-lang/aiken/crates/project/src/lib.rs:616:36 ╰─▶ called `Result::unwrap()` on an `Err` value: FreeUnique(Name { text: "test_slice", unique: Unique(7) }) ```

``` Error: × Main thread panicked. ├─▶ at /Users/ktorz/Documents/Projects/aiken-lang/aiken/crates/project/src/lib.rs:596:22 ╰─▶ called `Result::unwrap()` on an `Err` value: FreeUnique(Name { text: "test_slice", unique: Unique(6) }) ```

``` Error: examples/acceptance_tests/018/lib/test.ak × or_else_2 failed help: ┍━ left ━━━━━━━━━━━┑ │ (con data #182a) │ ┕━━━━━━━━━━━━━━━━━━┙ should be equal to ┍━ right ━━━━━━━━━━┑ │ (con integer 42) │ ┕━━━━━━━━━━━━━━━━━━┙ ```

``` Error: × Main thread panicked. ├─▶ at crates/lang/src/uplc.rs:2001:81 ╰─▶ called `Option::unwrap()` on a `None` value ```

``` Error: 020/lib/test.ak × map_2 failed help: ┍━ left ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┑ │ Type mismatch expected 'integer' got 'data' │ ┕━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┙ should be equal to ┍━ right ━━━━━━━━━━━━━━━━┑ │ (con data #d8799f0fff) │ ┕━━━━━━━━━━━━━━━━━━━━━━━━┙ ```

``` Error: aiken::check × Checking ╰─▶ Unknown type VerificationKey ╭─[021/lib/test.ak:4:1] 4 │ pub type PoolId = 5 │ Hash<VerificationKey> · ─────────────── 6 │ ╰──── ```

and Inner function issues with variant

This is because there's no proper way to catch panics in Rust, which makes it hard to know _which_ test did cause the panic when this happen. The stack trace gives little detail about this, but we can print this information before it happens -- making it easier to identify the culprit.

``` thread 'main' has overflowed its stack fatal runtime error: stack overflo ```

It's best to keep builtin as-close-as possible to their standard name because they're hard to document. We can then leverage the prelude and the standard lib for convenient names.

Instead, prints out a README with useful informations.

Use more cost efficient recurse Monomorphize needed to deal with function arg return types bytearray variant added for variant names

MicroProofs · 2022-12-19T01:05:28Z

One test left to pass and that will be fixed in pr #164. Let's merge for now

rvcas added the code gen Untyped Plutus Core code generation label Dec 15, 2022

rvcas added this to the v0.1.0 - Initial Alpha milestone Dec 15, 2022

MicroProofs force-pushed the some-interesting-test-cases branch from 220b6fa to b61b1c5 Compare December 16, 2022 00:24

KtorZ commented Dec 16, 2022

View reviewed changes

KtorZ force-pushed the some-interesting-test-cases branch from 5071b66 to 79f2360 Compare December 17, 2022 14:06

KtorZ and others added 15 commits December 17, 2022 17:10

tests 1 through 10 pass now, add negate

8934c52

cleanup if then else a bit

d23a82e

Add new acceptance test scenario (019)

2533a3d

``` Error: × Main thread panicked. ├─▶ at crates/lang/src/uplc.rs:2001:81 ╰─▶ called `Option::unwrap()` on a `None` value ```

Add new acceptance test scenario (021)

fd28be2

``` Error: aiken::check × Checking ╰─▶ Unknown type VerificationKey ╭─[021/lib/test.ak:4:1] 4 │ pub type PoolId = 5 │ Hash<VerificationKey> · ─────────────── 6 │ ╰──── ```

chore: fix list insertion order, function insertion order,

309f241

and Inner function issues with variant

minor fix to monomorphize

30cb0c4

fix: fieldsexpose getting wrong generic id and not replacing type

3038057

feat: Add nil support for test 19

e44554b

Add new acceptance test scenario (022)

3a8b2b9

``` thread 'main' has overflowed its stack fatal runtime error: stack overflo ```

Rename builtin as 'verify_ed25519_signature'

5fb9060

It's best to keep builtin as-close-as possible to their standard name because they're hard to document. We can then leverage the prelude and the standard lib for convenient names.

KtorZ force-pushed the some-interesting-test-cases branch from fa7e3ae to 5fb9060 Compare December 17, 2022 16:10

MicroProofs added 2 commits December 17, 2022 16:05

add better todo

59b888b

zero arg functions now work: test 15

8dca5eb

MicroProofs force-pushed the some-interesting-test-cases branch from 8fa0f88 to 8dca5eb Compare December 18, 2022 03:05

MicroProofs approved these changes Dec 18, 2022

View reviewed changes

KtorZ and others added 2 commits December 18, 2022 12:41

Rework 'new' to not generate needless boilerplate

b0079a2

Instead, prints out a README with useful informations.

all tests pass besides todo in 13, couple changes

ee9bfd4

Use more cost efficient recurse Monomorphize needed to deal with function arg return types bytearray variant added for variant names

rvcas approved these changes Dec 19, 2022

View reviewed changes

rvcas merged commit 43ff66c into main Dec 19, 2022

rvcas deleted the some-interesting-test-cases branch December 19, 2022 05:41

KtorZ mentioned this pull request Dec 20, 2022

Milestone :: Testing Framework #197

Closed

7 tasks

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

More acceptance test scenarios. #176

More acceptance test scenarios. #176

KtorZ commented Dec 15, 2022

KtorZ Dec 16, 2022

MicroProofs commented Dec 19, 2022

More acceptance test scenarios. #176

More acceptance test scenarios. #176

Conversation

KtorZ commented Dec 15, 2022

KtorZ Dec 16, 2022

Choose a reason for hiding this comment

MicroProofs commented Dec 19, 2022