waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
3,259 Commits 8 Branches 0 Tags 14 MiB
Commit Graph

342 Commits

Author SHA1 Message Date
microproofs 226556bdd6 fix: builtins using the incorrect data to type conversion when used as a function param. 2023-06-23 14:31:19 -04:00
microproofs db369da96e feat: Make traces produced by expect dependent on 
the value of the tracing flag.
 2023-06-23 14:03:23 -04:00
microproofs dbfa08a5a7 fix: issue with tuple clause 
It was not consuming the next case if there was no condition being checked in the clause.
Now it properly always consumes the next clause unless last clause.
 2023-06-23 12:36:15 -04:00
microproofs 5362714a63 chore: update tests 2023-06-22 18:20:31 -04:00
microproofs 626033ff9b fix: attempt to convert from opaque before doing monomorphization 2023-06-22 18:20:31 -04:00
microproofs 24f5c4de6b fix: the final clause of a when expecting another clause afterwards in nested list cases. 
fix: all elements were being destructured in tuple clauses even if not used
 2023-06-19 21:43:38 -04:00
rvcas 37b2f0c239
fix: gift card example stdlib update 
closes #596
 2023-06-13 00:38:29 -04:00
microproofs 5faa925aea fix: error when using nested boolean checks in when conditions 2023-06-06 03:04:12 -04:00
microproofs bfd2a50a6b fix: zero arg functions were grabbing extra dependencies they didn't need to 
fix: Had the wrong conversion for constant maps to plutus data. Fixed to check for right conversion
 2023-06-04 15:23:36 -04:00
microproofs 4838ebd39e feat: record modules are no longer unimplemented for no fields 
refactor: remove some clones and use a ref instead
test: add acceptance test 81
 2023-05-14 18:30:51 -04:00
microproofs b36cf1c029 chore: refactor default functions in uplc_code_gen. 
feat: Add an identity optimization to remove functions that return the argument only.
 2023-05-08 16:15:09 -04:00
microproofs 0d0c96deda commit validator changes and tests 2023-04-28 17:05:46 -04:00
microproofs c3184c544c fix: wrap data reduce had the wrong argument called in recursively, thus skipping over cases that should have been reduced 
chore: Add unit tests on for uplc optimizations
 2023-04-26 17:22:16 -04:00
microproofs b050018a37 test fix: blueprint change 2023-04-25 02:06:56 -04:00
microproofs 672a900243 chore: converted acceptance tests 5-7 2023-04-19 20:03:41 -04:00
microproofs 23a7e7e680 chore: convert acceptance test 5 
Also constructors with no fields are now converted to a constant data term.
 2023-04-19 16:08:55 -04:00
microproofs 7dd13f8d73 feat: add end to end tests to replace acceptance tests with strict uplc comparison. 
Add acceptance tests 1,2, 6 as end to end tests
 2023-04-19 16:08:55 -04:00
microproofs fc1b8738df fix: fixed how the ir was generating for expect Void, expect Bool, let Void 
add some acceptance tests for the various scenarios
 2023-04-12 22:37:33 -04:00
KtorZ 0846fe2d5f
Add new failing test case for 048 (clause guards) 
It seems like we don't properly handle clause guards for wildcard
  patterns. Seems like a codegen issue here as the code type-check
  properly.
 2023-04-12 08:24:18 +02:00
Kasey White ff290bc582 add expect false test 2023-04-09 17:43:56 -04:00
Kasey White 02d57cc076 tests pass now after adding in final wrapper as air elements 2023-04-09 17:43:56 -04:00
Kasey White 9e95e24624 now tests are passing 2023-04-09 17:43:56 -04:00
Kasey White 897011e9bc misc changes 2023-04-09 17:43:56 -04:00
Kasey White f4ba6b8985 fix: unused validator args had an incorrect if check 2023-04-09 17:43:56 -04:00
Kasey White 3f45b524b8 feat: unused validator args are not expect checked 2023-04-09 17:43:56 -04:00
Kasey White 8c8312a412 fix: expect true was always expecting false 2023-04-09 17:43:56 -04:00
KtorZ 23b72e18f3 Add new acceptance test scenario: expect unary constructors. 
```
  Error:
    × Main thread panicked.
    ├─▶ at crates/aiken-lang/src/gen_uplc.rs:1852:33
    ╰─▶ called `Option::unwrap()` on a `None` value
  ```
 2023-04-09 17:43:56 -04:00
rvcas 1444c9328d
fix some typos 2023-04-07 16:51:18 -04:00
KtorZ 814157dd7b
Fix formatter inconsistency with record spread patterns. 2023-03-30 13:02:20 +02:00
KtorZ 17431daaa4
Correctly nest multiline pipeline expressions. 2023-03-30 12:48:15 +02:00
rvcas 703429af98 chore: commit plutus.json 2023-03-27 20:00:32 -04:00
Kasey White b2dcb112c9 fix last 2 acceptance tests 2023-03-27 20:00:32 -04:00
Kasey White 32d34d5fd3 create struct Air Env 
refactor out some to_strings
 2023-03-27 20:00:32 -04:00
Kasey White bb820ebdd8 fix: trace and scope issues 
fix scope issues involving fieldsexpose and other destructureing pattern
fix trace to extract string from term.
 2023-03-21 12:38:13 -04:00
Kasey White 6e5b24a937 refactor the rest of the term builders to use more concise code 2023-03-21 00:50:13 -04:00
Kasey White 50db958d06 update codegen to use more streamlined uplc building methods 2023-03-21 00:50:13 -04:00
KtorZ a4c7337df2
Add new acceptance scenario 079 (double validators) 2023-03-17 18:40:49 -04:00
rvcas c3870e340e
feat(codegen): support multi-validators 
* rename force_wrap to force
* add a bunch of builder methods to Term<Name>
* refactor one tiny location to show off builder methods
* split generate into `generate` and `generate_test`
* create wrap_as_multi_validator function

Co-authored-by: Kasey White <kwhitemsg@gmail.com>
 2023-03-17 18:40:44 -04:00
KtorZ 660d2199d4
Make blueprint generation deterministic 
Sort validators before iterating on them.
 2023-03-17 14:57:39 +01:00
KtorZ c113582404 Support multi-clause patterns as syntactic sugar 
And disable multi-patterns clauses. I was originally just controlling
  whether we did disable that from the parser but then I figured we
  could actually support multi-patterns clauses quite easily by simply
  desugaring a multi-pattern into multiple clauses.

  This is only a syntactic sugar, which means that the cost of writing
  that on-chain is as expensive as writing the fully expanded form; yet
  it seems like a useful shorthand; especially for short clause
  expressions.

  This commit however disables multi-pattern when clauses, which we do
  not support in the code-generation. Instead, one pattern on tuples for
  that.
 2023-03-16 19:45:41 -04:00
KtorZ 13890874c0
Fix 'run' script, also do 'check' on modules that have validators. 2023-03-16 23:04:24 +01:00
Lucas fab6d56bf2
Merge branch 'main' into newline-assignment 2023-03-16 15:30:55 -04:00
KtorZ 45575cae96 Fix 'run' script and re-generate blueprint for scenario 077. 2023-03-16 15:29:44 -04:00
KtorZ 20f5baffa7
Enforce newline after assignment / clause. 
This leads to more consistent formatting across entire Aiken programs.
  Before that commit, only long expressions would be formatted on a
  newline, causing non-consistent formatting and additional reading
  barrier when looking at source code.

  Programs also now take more vertical space, which is better for more
  friendly diffing in version control systems (especially git).
 2023-03-16 19:46:46 +01:00
KtorZ ae981403c6 Re-introduce field title & description in referenced schemas. 2023-03-12 12:44:49 -04:00
KtorZ 45a463786f Update blueprints from acceptance tests and hello, world. 2023-03-12 12:44:49 -04:00
Kasey White 31c280552d add another validator 2023-03-12 00:25:26 -05:00
Kasey White 4a7bbc23df fix: change in scope was applied in wrong place in pattern_ir for constr expect 2023-03-12 00:25:26 -05:00
Kasey White f377d60085 ChooseData is now lazy with its branch arguments. 
This enables calling the un_data builtins directly from choose_data args
 2023-03-09 00:31:57 -05:00
KtorZ dbef4474fa Add new acceptance scenario: 065 
-> The provided Plutus code called 'error'.

  This scenario _could_ work if `choose_data` was lazy in its arguments.
  Which is a reasonable thing to expect from `choose_data`. Since we
  don't have any way to introduce on-demand lazyness in the language
  (and we are not looking for ways), we need to make a special case for
  `choose_data` which is a perfect (and singular) use case for it.
 2023-03-09 00:31:57 -05:00
Kasey White c85240cbed Fix exception when doing expect boolean = .. 
Add new Air Assert Bool
Add acceptance test 76
 2023-03-08 22:31:30 -05:00
Matthias Benkort d8934b3d8d
Merge pull request #421 from aiken-lang/monomorph-panic-fix 
Functions with only a generic return weren't being properly monomorph…
 2023-03-08 11:39:50 +01:00
Kasey White 89373c32e6
Functions with only a generic return weren't being properly monomorphized. Fixed that. 2023-03-08 10:31:05 +01:00
rvcas f8545854fc
feat: json output for uplc eval 2023-03-08 10:19:36 +01:00
rvcas 9b96f7bb2e
chore: commit acceptance test plutus files 2023-03-06 13:26:36 -05:00
Kasey White f230af436c fix: scope issue with expect and function calls 
Add acceptance test 72
 2023-03-03 01:00:35 -05:00
Kasey White 5779b77ccc fix: Had to also check for generic type in return of a function. 
add check to prevent stack overflow error
Add panic to prevent any other occurrences of stack overflow
 2023-03-02 21:49:20 -05:00
Kasey White 26b4156d5a remove comment 2023-03-02 21:49:20 -05:00
KtorZ 451d9d8493 Add new acceptance test scenario: 068 
Stack overflow happening during code generation.
 2023-03-02 21:49:20 -05:00
KtorZ 65c336cb82
Update blueprint outputs to reflect latest specification. 
Schemas of datums, redeemers and parameters are now nested under a field 'schema'. This allows to define a field 'purpose' at the same level.
 2023-03-02 17:17:27 +01:00
Kasey White 0c1c7da16f add accpetance test 71 2023-03-01 14:22:59 -05:00
Kasey White 665a8dec67 feat: add support for unconstr_data 
-Builitins IR now acts like Record IR in terms of argument consumption
-UnConstrData returns as Pair(Data,Data) to conform with how pairs are treated behind the scenes.
 2023-02-26 00:13:38 -05:00
KtorZ 81e072a14e Add new acceptance test scenario: 064 
- Type mismatch expected 'data' got 'integer'
  - Type mismatch expected 'data' got 'list data'
 2023-02-26 00:13:38 -05:00
Kasey White 70164282f8 fix: switch from unwrap to if let to allow boolean when 
fix: test 67 fixed to take in ByteArray instead of string literal
 2023-02-20 04:37:33 -05:00
Kasey White 87eb4ca3b4 feat: handle single constr when with multiple branches 
Add case to acceptance test 40
Add special case for top level single constr in a when.
 2023-02-20 02:46:46 -05:00
KtorZ 5132110d4b
Fix acceptance tests to use new syntax. 2023-02-19 10:10:40 +01:00
Kasey f3cdc05875
fix: the refactor on discharge value env (#393) 2023-02-18 20:49:29 -05:00
KtorZ cd4ceb219c
Remove complex and compound constants. 
This is not supported by the code generation, so it's a bit of a lie
  to have them in the language in the first place. There's arguably not
  even any use for constant records, list and tuples to begin with. So
  this cleans this up everywhere for the sake of moving forward with the
  alpha release.

  This now reduces constants to:

  - Integer
  - ByteArray
  - String

  Anything else can be declared via a function anyway. We can revisit
  this choice later.... or not.
 2023-02-17 17:31:15 +01:00
KtorZ 560c17d5aa
Add new acceptance test scenario: 060 
```
  Error:
    × Main thread panicked.
    ├─▶ at crates/aiken-lang/src/builder.rs:1088:13
    ╰─▶ not yet implemented
  ```
 2023-02-17 17:13:04 +01:00
KtorZ f10e9e8977
Add new acceptance test scenario: 062 
```
  Error:
    × Main thread panicked.
    ├─▶ at crates/uplc/src/optimize.rs:16:68
    ╰─▶ called `Result::unwrap()` on an `Err` value: FreeUnique(Name { text: "tests_bar", unique: Unique(1) })
  ```
 2023-02-17 11:25:41 +01:00
KtorZ 8fabfd112e Add new acceptance test scenario: 063 2023-02-16 20:29:41 -05:00
KtorZ e7a61df1f3 Add new acceptance test scenario: 062 
```
  Error:
    × Main thread panicked.
    ├─▶ at crates/uplc/src/optimize.rs:16:68
    ╰─▶ called `Result::unwrap()` on an `Err` value: FreeUnique(Name { text: "tests_bar", unique: Unique(1) })
  ```
 2023-02-16 20:27:00 -05:00
Matthias Benkort ec6baf3a6a
Merge pull request #351 from aiken-lang/acceptance-test-054-pattern-match-on-list 
Add new acceptance test scenario: 056
 2023-02-16 10:01:56 +01:00
rvcas d41e6942c6 test: fix acceptance tests 2023-02-16 00:05:55 -05:00
KtorZ d26ff0298f Add new acceptance test scenario: 054. 
**a**

  ```
  × Main thread panicked.
  ├─▶ at crates/uplc/src/optimize.rs:16:68
  ╰─▶ called `Result::unwrap()` on an `Err` value: FreeUnique(Name { text: "__other_clauses_delayed", unique: Unique(13) })
  ```

  **b**

  ```
  × Main thread panicked.
  ├─▶ at crates/aiken-lang/src/builder.rs:771:14
  ╰─▶ not yet implemented: Assign
  ```

  **c**

  ```
  × choice_4 failed
  help: ┍━ left ━━━━━━━━━━━━━┑
        │ (con data #d87a80) │
        ┕━━━━━━━━━━━━━━━━━━━━┙

        should be equal to

        ┍━ right ━━━━━━━━━━━━━━━━━━┑
        │ (con data #d8799f182aff) │
        ┕━━━━━━━━━━━━━━━━━━━━━━━━━━┙
  ```
 2023-02-15 22:12:41 -05:00
KtorZ 808ff97c68
Preserve trace, error & todo formatting. 2023-02-15 23:19:07 +01:00
KtorZ 7abd76b6ad
Allow to trace expressions (and not only string literals) 
This however enforces that the argument unifies to a `String`. So this
  is more flexible than the previous form, but does fundamentally the
  same thing.

  Fixes #378.
 2023-02-15 21:07:56 +01:00
KtorZ 4e51e49fe6
Align context diagnostics to use similar syntax. 2023-02-15 17:26:26 +01:00
KtorZ 7251b2d01e
Remove single-argument function call special-case in formatter 
Not sure what this special case was trying to achieve, but it's not right. There's no need to handle function call with a single argument differently than the others.
 2023-02-15 17:22:08 +01:00
KtorZ 47e77aa819
Add new context test for datums and reference scripts 2023-02-15 17:10:14 +01:00
KtorZ 6772e20d85
Replace withdrawals withdraw validator with always true validator. 2023-02-15 12:59:33 +01:00
KtorZ b300cf38db
Add new script context test scenario covering minting & values. 2023-02-15 12:49:56 +01:00
KtorZ 01c392836e
Fix CI script + add script interactions. 2023-02-15 09:42:46 +01:00
KtorZ e1c0c3986d
Remove unused imports in 054. 2023-02-15 09:42:45 +01:00
Kasey White e15e725bfe add one more test 2023-02-15 02:20:05 -05:00
Kasey White 32b0200966 fixes: tuple clauses, zero args funcs, list clause named pattern 
List Clauses patterns handle var cases

Fixed Tuple Clauses issue with last clause not being a tuple

Redid how zero arg functions and dependencies are handled. Tough one lol
 2023-02-15 02:20:05 -05:00
KtorZ 23bf101e08 Add new acceptance test scenario: 058 
Doesn't like var patterns in list pattern-matching

  ```
  Error:
    × Main thread panicked.
    ├─▶ at crates/aiken-lang/src/uplc.rs:770:29
    ╰─▶ internal error: entered unreachable code
  ```
 2023-02-15 02:20:05 -05:00
KtorZ d9cfad8f68 Add new acceptance test scenario: 061 
```
  Error:
    × Main thread panicked.
    ├─▶ at crates/uplc/src/optimize.rs:16:68
    ╰─▶ called `Result::unwrap()` on an `Err` value: FreeUnique(Name { text: "tests_tx_1", unique:
        Unique(14) })
  ```
 2023-02-15 02:20:05 -05:00
KtorZ 6132c092e3 Add new acceptance test scenario: 059 
```
  Error:
    × Main thread panicked.
    ├─▶ at crates/aiken-lang/src/uplc.rs:1451:52
    ╰─▶ called `Option::unwrap()` on a `None` value
  ```

  See also: #310
 2023-02-15 02:20:05 -05:00
KtorZ a3078adce8
Add succinct README to explain what's going on. 2023-02-14 16:25:48 +01:00
KtorZ 685473ead6
Rename data -> ctx 2023-02-14 16:11:00 +01:00
KtorZ 5369872a3d
Add new script_context acceptance scenario for withdrawals. 2023-02-14 16:11:00 +01:00
KtorZ 251aa756d9
Make basic script a template, and add more assertions. 2023-02-14 11:37:10 +01:00
KtorZ 545323128c
Write basic e2e validator with evaluation. 2023-02-14 10:39:31 +01:00
Kasey White 765ceefd38 feat: add ability to downcast void to data 2023-02-12 18:56:38 -05:00
Kasey White e9883adf12 fix: scope issue when using when with a function call subject 2023-02-12 18:43:11 -05:00
KtorZ 2bda581fbd Add new acceptance test scenario: 057 
```
  Error:
    × Main thread panicked.
    ├─▶ at crates/aiken-lang/src/uplc.rs:4286:48
    ╰─▶ called `Option::unwrap()` on a `None` value
  ```
 2023-02-12 18:43:11 -05:00
Kasey White 1c9540ec87 one more test case to add 2023-02-11 22:26:34 -05:00
Kasey White 4b1015e0d4 change how expect works on lists and constructors 
Add more coverage to acceptance test 40 on expect
 2023-02-11 22:26:34 -05:00
Kasey White e92d9af3c2 fix: changed how list_access_to_uplc handles discards fixing unit test 55 
Also fix incorrect error message in runtime in machine
 2023-02-11 04:30:18 -05:00
rvcas 9b0fc0b395
chore: fix some weirdness after rebasing with main 2023-02-10 10:09:00 +01:00
Matthias Benkort efbc3abb95
Delete tests.ak 2023-02-09 09:23:46 +01:00
rvcas 9348caab2f
feat(expect): update formatter 
* Token::Expect should format to expect
* since we still capture assert this means
  we can help users update to the new syntax
 2023-02-09 00:57:38 -05:00
rvcas 6f591c633d
chore: fmt most of the acceptance tests 2023-02-09 00:57:14 -05:00
Kasey White 7b29a75cc0 test name number fix 2023-02-09 00:09:23 -05:00
Kasey White 076871492b fix: unwrap used in a reachable place. Replaced with alternative option 2023-02-09 00:09:23 -05:00
Kasey White 986a6009f7 fix: Various fixes for FieldsExpose, ListAccessor, TupleAccessor 2023-02-09 00:09:23 -05:00
KtorZ cf7a20b986 Add new acceptance test scenario: 052 
Pattern-match on unary constructors.
 2023-02-09 00:09:23 -05:00
KtorZ c50bf94020 Add new acceptance test scenario: 053 
```
  × foo failed
  help: ┍━ left ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┑
        │ Failed to deserialise PlutusData using UnConstrData: │
        │                                                      │
        │ Con(                                                 │
        │     Data(                                            │
        │         BigInt(                                      │
        │             Int(                                     │
        │                 Int(                                 │
        │                     Int {                            │
        │                         neg: false,                  │
        │                         val: 0,                      │
        │                     },                               │
        │                 ),                                   │
        │             ),                                       │
        │         ),                                           │
        │     ),                                               │
        │ )                                                    │
        ┕━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┙

        should be equal to

        ┍━ right ━━━━━━━━━┑
        │ (con integer 3) │
        ┕━━━━━━━━━━━━━━━━━┙
  ```
 2023-02-09 00:09:23 -05:00
Kasey White f1b24a5f6d fix: the following issues 
fix conversion from inner opaque type for when and assignment
This fixes Clause being used in cases where ListClause or TupleClause should be used
Reset defined and zero arg functions between each code gen
Fixes for optimizations when encountering shadowed variables
 2023-02-05 20:35:39 -05:00
rvcas 025bf73254 test: verify schnorr and ecdsa 2023-02-04 22:07:56 -05:00
Kasey White 6053e76f6f chore: more acceptance tests 
Co-authored-by: rvcas <x@rvcas.dev>
 2023-02-04 02:33:10 -05:00
rvcas a9ed04ef22 feat: newer rules around casting Data 
* you cannot cast FROM Data with a `let`
* you cannot cast FROM Data by passing
  Data to none Data when calling a function
* you MUST use `assert` to cast from data
* you can cast INTO Data with a `let`
* you can cast INTO Data by passing none Data
  to Data when calling a function
* You cannot assert cast Data without an
  annotation
 2023-02-04 02:33:10 -05:00
rvcas 0f6d2487ec
fix: acceptance test 040 after new casting rules 2023-02-02 01:17:58 -05:00
rvcas 79b0af15da
chore: commit acceptance test plutus files 2023-02-02 00:49:47 -05:00
KtorZ 79b8786cee
Replace 'assets' with generated blueprints. 2023-01-31 15:39:41 +01:00
rvcas d4a73f1235
chore: commit assets 2023-01-30 12:01:56 -05:00
rvcas aec79936e2
chore: move a test case to 049 2023-01-30 11:49:18 -05:00
Lucas b653714c0c
Merge branch 'main' into when-clause-guards 2023-01-30 11:40:29 -05:00
Kasey White a638388747 Add more complex test 40. 
Add assert for when constr index is given
 2023-01-30 04:17:03 -05:00
Kasey White 8c04ab093a update test 40 2023-01-30 03:24:52 -05:00
Micah Kendall d608c50130 Added 048 acceptance test 2023-01-23 01:12:29 +11:00
Kasey White e36f91c39c fix: multiple list cases of the same length weren't being handled 2023-01-21 19:42:17 -05:00
KtorZ a178cee7bf Add new acceptance test scenario: 046 2023-01-21 19:42:17 -05:00
Kasey White e8fb386bdc chore: Switch from hashmap and hashset to indexmap and indexset 2023-01-21 18:10:15 -05:00
KtorZ a926a1a2d4
Add new acceptance test scenario 048 2023-01-21 17:49:44 +01:00
KtorZ 83fd910604
Update artifacts from acceptance tests 036 2023-01-21 12:46:22 +01:00
KtorZ ce65236514
Parse tests as private functions. 
They actually are private; we can't export / import tests. Fixes #284.
 2023-01-20 12:50:07 +01:00
rvcas 2f6c794cdf fix: ci... :facepalm 2023-01-18 15:29:51 -05:00
rvcas 479d49bdfc fix: ci... again 2023-01-18 15:29:51 -05:00
rvcas f975c345c9 fix: ci 2023-01-18 15:29:51 -05:00
KtorZ 75808cc046 Add new acceptance scenario: 044 
❌ 044
  Error:
    × Main thread panicked.
    ├─▶ at crates/aiken-lang/src/uplc.rs:846:89
    ╰─▶ called `Option::unwrap()` on a `None` value
 2023-01-18 15:29:51 -05:00
KtorZ 6e64bb72e6
Add new acceptance test scenario 045 
Error:
    × Main thread panicked.
    ├─▶ at crates/aiken-lang/src/uplc.rs:3435:48
    ╰─▶ called `Option::unwrap()` on a `None` value
 2023-01-18 16:28:44 +01:00
rvcas 00f2150eed feat: add identity, always, & flip 2023-01-14 23:33:49 -05:00
rvcas 95c9be5c52 chore: acceptance test 040 had the wrong name 2023-01-14 22:03:56 -05:00
KtorZ 8c19d4ec08
Fix and re-apply formatter on all acceptance tests 
Less noise, pretty tuples. Everyone's happy.
 2023-01-14 20:23:17 +01:00
rvcas c6fe5235fe
chore: fmt acceptance test 40 2023-01-13 14:55:18 -05:00
Kasey White 7b023911af add assert and record 
Record is a more efficient air for making records
Assert guarantees a custom is of a certain variant.
 2023-01-13 13:50:27 -05:00
Kasey White 1721c3945b Refactors: 
Add test 40
refactor how we get data type from type
Call contains type now to handle certain record cases
 2023-01-13 13:50:27 -05:00
Kasey White 42c8d50fa1 feat: finish record update 2023-01-08 19:42:49 -05:00
KtorZ aff96d99af
Return non-zero exit code on acceptance test failure. 2023-01-06 13:10:11 +01:00
KtorZ 613fb3c957
Add new acceptance test scenario 038 2023-01-06 06:46:15 +01:00
Kasey White 88d5d1b7f7 chore: add 036 assets 2022-12-31 00:09:02 -05:00
Kasey White 3514e66234 Fix to variant name creation for dependencies. 
Last few changes to go Tuple Index,
Assert, Check, not

change test 35 to produce intended functionality
 2022-12-30 14:01:11 -05:00
KtorZ d5d878e83c
Add acceptance test scenario: 037 
```
  Error:
    × Main thread panicked.
    ├─▶ at /Users/ktorz/Documents/Projects/aiken-lang/aiken/crates/aiken-
    │   project/src/lib.rs:701:36
    ╰─▶ called `Result::unwrap()` on an `Err` value: FreeUnique(Name { text:
        "_not", unique: Unique(1) })
  ```
 2022-12-29 17:40:21 +01:00
KtorZ 6f8d1698fe
Add missing function 'concat' in acceptance test 034. 2022-12-29 12:13:32 +01:00
KtorZ 4f83d4fa1b
Add new acceptance test scenario: 036 
```
  Error:
    × Main thread panicked.
    ├─▶ at /Users/ktorz/Documents/Projects/aiken-lang/aiken/crates/aiken-
    │   project/src/lib.rs:567:36
    ╰─▶ called `Result::unwrap()` on an `Err` value: FreeUnique(Name { text:
        "_not", unique: Unique(17) })
  ```
 2022-12-29 12:11:55 +01:00
KtorZ 602a6a03a8
Rename '{run, run-all}.sh' into '{run, run-all}'. 2022-12-29 12:04:37 +01:00
KtorZ 013fe886f5
Add new acceptance test scenario: 035 
```
  Error:
    × Main thread panicked.
    ├─▶ at /Users/ktorz/Documents/Projects/aiken-lang/aiken/crates/aiken-
    │   project/src/lib.rs:692:36
    ╰─▶ called `Result::unwrap()` on an `Err` value: FreeUnique(Name { text:
        "aiken/dict_do_insert_with_map_bytearray_int_bytearray_int_data",
        unique: Unique(27) })
  ```
 2022-12-28 17:03:32 +01:00
KtorZ 77fbb3cbdb
Add new acceptance test scenario: 034 
```
  Error:
    × Main thread panicked.
    ├─▶ at /Users/ktorz/Documents/Projects/aiken-lang/aiken/crates/aiken-project/src/lib.rs:670:22
    ╰─▶ called `Result::unwrap()` on an `Err` value: FreeUnique(Name { text: "aiken/list_foldr_list_data_data_list_data", unique: Unique(1) })
  ```
 2022-12-28 10:59:42 +01:00
Kasey White 010024fb95 fix: acceptance test 031 
Co-authored-by: rvcas <x@rvcas.dev>
 2022-12-27 22:33:09 -05:00
KtorZ 2e17f18846
Rework acceptance test runner 
Show less noise, support parallel execution and make it easier to run a single one.
 2022-12-27 09:29:13 +01:00
rvcas 0d0536f6c1 fix: rename test module to tests 2022-12-23 22:00:59 -05:00
KtorZ 39f5d1a86d
Make build, check and docs target directory an (optional) argument 
Instead of being an option. Feels more natural that way.
 2022-12-23 20:23:27 +01:00
KtorZ 2aa4429231
Rename Unit -> Void 2022-12-22 18:52:28 +01:00
KtorZ 757428fa7f
Add new acceptance test scenario 033 
```
  Error:
    × Main thread panicked.
    ├─▶ at crates/lang/src/uplc.rs:523:17
    ╰─▶ not yet implemented: Tuple indexing not implementing yet
  ```
 2022-12-22 09:14:23 +01:00
rvcas 9028424a96 feat: rename Nil to Unit 2022-12-21 17:27:20 -05:00
rvcas 429126e38f feat: add trace 2022-12-21 14:39:46 -05:00
KtorZ 9068c89c00 Show trace logs as part of the test output when any. 
```
  ┍━ test ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
  │ PASS [mem: 6370, cpu: 2591822] trace_1
  │ ↳ is negative
  │ ↳ is non-negative
  ┕━━━━━━━━━ 1 tests | 1 passed | 0 failed
  ```
 2022-12-21 14:39:46 -05:00
KtorZ 5d459b25bd Add new acceptance test scenario 032 
```
  Error: aiken::parser

    × Parsing
    ╰─▶ Unexpected "try"

     ╭─[032/lib/test.ak:3:1]
   3 │ test trace_1() {
   4 │   builtin.trace("foo", True)
     ·           ─────
   5 │ }
     ╰────
    help: Try removing it
  ```
 2022-12-21 14:39:46 -05:00
KtorZ 414a114530
fix acceptance tests manifest. 2022-12-21 14:06:46 +01:00
Kasey White ac14512706 feat: fix nil equals nil, and fix funcs with discard params 2022-12-20 15:40:01 -05:00
KtorZ 102bb7735e
Add new integration test scenario 031 
```
  × clamp_1 failed
  help: ┍━ left ━━━━━━━━━━┑
        │ (con integer 0) │
        ┕━━━━━━━━━━━━━━━━━┙

        should be equal to

        ┍━ right ━━━━━━━━━━┑
        │ (con integer 10) │
        ┕━━━━━━━━━━━━━━━━━━┙
  ```
 2022-12-20 04:48:03 +01:00
KtorZ 030172e1dc
Add new acceptance test scenario 030 
```
  Error:
    × Main thread panicked.
    ├─▶ at crates/lang/src/uplc.rs:1897:45
    ╰─▶ called `Result::unwrap()` on an `Err` value: ParseIntError { kind: InvalidDigit }
  ```
 2022-12-20 04:37:55 +01:00
KtorZ 58c123a930
Add new intgration test scenario 029 
```
  Error:
    × Main thread panicked.
    ├─▶ at crates/lang/src/uplc.rs:2395:56
    ╰─▶ called `Result::unwrap()` on an `Err` value: FreeUnique(Name { text: "test_insert", unique:
        Unique(1) })
  ```
 2022-12-20 04:21:28 +01:00
KtorZ daa3fa5d33
Add new acceptance test scenario 028 
```
  Error:
    × Main thread panicked.
    ├─▶ at crates/lang/src/builder.rs:1257:30
    ╰─▶ internal error: entered unreachable code
  ```
 2022-12-20 02:55:01 +01:00
KtorZ fec7431d11
Add new acceptance test scenario 027 
```
  Error:
    × Main thread panicked.
    ├─▶ at /Users/ktorz/Documents/Projects/aiken-lang/aiken/crates/project/src/lib.rs:640:36
    ╰─▶ called `Result::unwrap()` on an `Err` value: FreeUnique(Name { text: "test_foo", unique:
        Unique(0) })
  ```
 2022-12-20 02:32:43 +01:00
KtorZ 8bd4fd0cda
Add new acceptance test scenario 
```
  Error:
    × Main thread panicked.
    ├─▶ at /Users/ktorz/Documents/Projects/aiken-lang/aiken/crates/project/src/lib.rs:620:22
    ╰─▶ called `Result::unwrap()` on an `Err` value: FreeUnique(Name { text:
        "test_foldr_list_int_data_list_int", unique: Unique(10) })
  ```
 2022-12-20 02:22:04 +01:00
KtorZ fccad9e7dd
Add new acceptance test scenario 025 
```
  help: ┍━ left ━━━━━━━━┑
        │ (con unit ()) │
        ┕━━━━━━━━━━━━━━━┙

        should be equal to

        ┍━ right ━━━━━━━┑
        │ (con unit ()) │
        ┕━━━━━━━━━━━━━━━┙
  ```
 2022-12-20 01:07:15 +01:00
KtorZ f511b2f71b
Add new acceptance test scenario 024 
```
  × map2_3 failed
  help: ┍━ left ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┑
        │ Type mismatch expected 'integer' got 'pair data data' │
        ┕━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┙

        should be equal to

        ┍━ right ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┑
        │ Type mismatch expected 'list pair data data' got 'list data' │
        ┕━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┙
  ```
 2022-12-19 18:55:50 +01:00
KtorZ dbd3d3fd7d
Add new acceptance test scenario 023 
```
  Error:
    × Main thread panicked.
    ├─▶ at crates/lang/src/uplc.rs:2830:32
    ╰─▶ called `Option::unwrap()` on a `None` value
  ```
 2022-12-19 18:51:46 +01:00
Kasey White 421e7148d0 zero arg functions now work: test 15 2022-12-19 00:41:27 -05:00
KtorZ a51808d549 Add new acceptance test scenario (022) 
```
  thread 'main' has overflowed its stack
  fatal runtime error: stack overflo
  ```
 2022-12-19 00:41:27 -05:00
Kasey White 2bce818110 chore: fix list insertion order, function insertion order, 
and Inner function issues with variant
 2022-12-19 00:41:27 -05:00
KtorZ 0d0e698d5e Add new acceptance test scenario (021) 
```
  Error: aiken::check

    × Checking
    ╰─▶ Unknown type

        VerificationKey

     ╭─[021/lib/test.ak:4:1]
   4 │ pub type PoolId =
   5 │   Hash<VerificationKey>
     ·        ───────────────
   6 │
     ╰────
  ```
 2022-12-19 00:41:27 -05:00
KtorZ ed58a1cac7 Add new acceptance test scenario (020) 
```
  Error: 020/lib/test.ak

    × map_2 failed
    help: ┍━ left ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┑
          │ Type mismatch expected 'integer' got 'data' │
          ┕━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┙

          should be equal to

          ┍━ right ━━━━━━━━━━━━━━━━┑
          │ (con data #d8799f0fff) │
          ┕━━━━━━━━━━━━━━━━━━━━━━━━┙
  ```
 2022-12-19 00:41:27 -05:00
KtorZ e3ea511b79 Add new acceptance test scenario (019) 
```
  Error:
    × Main thread panicked.
    ├─▶ at crates/lang/src/uplc.rs:2001:81
    ╰─▶ called `Option::unwrap()` on a `None` value
  ```
 2022-12-19 00:41:27 -05:00
KtorZ 287fbf2e3b Add new acceptance test scenario (018) 
```
  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) │
          ┕━━━━━━━━━━━━━━━━━━┙
  ```
 2022-12-19 00:41:27 -05:00
KtorZ 6e46e7562e Add new acceptance test scenario (017) 
```
  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) })
  ```
 2022-12-19 00:41:27 -05:00
KtorZ 00b800c456 Add new acceptance test scenario (016) 
```
  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) })
  ```
 2022-12-19 00:41:27 -05:00
KtorZ bd956efd36
Rework acceptance test 014 to smaller reproducible scenario 2022-12-14 10:20:43 +01:00
KtorZ 7c54283e69
Add new acceptance test scenario (015) 
```
  Error:
    × Main thread panicked.
    ├─▶ at crates/lang/src/uplc.rs:2388:21
    ╰─▶ not yet implemented
  ```
 2022-12-14 10:20:43 +01:00
KtorZ 95df5f9137
Add new acceptance test scenario (014) 2022-12-14 09:45:26 +01:00
KtorZ bc7c236b3b
Add new acceptance test scenario (013) 
```
  ERROR:
  The provided Plutus code called 'error'
  ```
 2022-12-14 09:45:25 +01:00
KtorZ 9c902cdf89
Add new acceptance test scenario (012) 
```
  Error:
    × Main thread panicked.
    ├─▶ at crates/lang/src/uplc.rs:3413:34
    ╰─▶ internal error: entered unreachable code: Var {
            scope: [
                0,
                1,
                3,
                24,
                25,
                29,
                32,
            ],
            constructor: ValueConstructor {
                public: false,
                variant: LocalVariable {
                    location: 46..62,
                },
                tipo: Fn {
                    args: [
                        Var {
                            tipo: RefCell {
                                value: Link {
                                    tipo: App {
                                        public: true,
                                        module: "",
                                        name: "Int",
                                        args: [],
                                    },
                                },
                            },
                        },
                    ],
                    ret: App {
                        public: true,
                        module: "",
                        name: "Bool",
                        args: [],
                    },
                },
            },
            name: "f",
            variant_name: "",
        }
  ```
 2022-12-14 09:45:25 +01:00
KtorZ f53caff538
Add new acceptance test scenario (011) 
```
  Error:
    × Main thread panicked.
    ├─▶ at crates/lang/src/uplc.rs:4022:40
    ╰─▶ called `Option::unwrap()` on a `None` value
  ```
 2022-12-14 09:45:25 +01:00
rvcas 299cd1ac24
fix: tuples 2022-12-14 09:45:25 +01:00
KtorZ 37def91fc5
Add new acceptance test scenario (010) 
```
  Error:
    × Main thread panicked.
    ├─▶ at crates/lang/src/uplc.rs:688:33
    ╰─▶ called `Option::unwrap()` on a `None` value
    help: set the `RUST_BACKTRACE=1` environment variable to display a backtrace.
  ```
 2022-12-14 09:45:24 +01:00
KtorZ 4217fd06b5
Add new acceptance test scenario (009) 
Note: the problem is only present when importing a builtin explicitly.
  When using a qualified import, it compiles fine.

  ```
  Error:
    × Main thread panicked.
    ├─▶ at crates/lang/src/uplc.rs:3264:35
    ╰─▶ called `Option::unwrap()` on a `None` value
    help: set the `RUST_BACKTRACE=1` environment variable to display a backtrace.
  ```
 2022-12-14 09:45:24 +01:00
KtorZ adf34e9dc6
Add new acceptance test scenario (008) 
```
  Error:
    × Main thread panicked.
    ├─▶ at crates/lang/src/uplc.rs:530:41
    ╰─▶ not yet implemented
    help: set the `RUST_BACKTRACE=1` environment variable to display a backtrace.
  ```
 2022-12-14 09:45:24 +01:00
KtorZ 022fc36dd2
Add new (failing) acceptance test (007) 
```
  Error: aiken::check

    × Checking
    ╰─▶ Not a function
     ╭─[./007/lib/test.ak:4:1]
   4 │     [(a, b), ..rest] -> {
   5 │       let (a_tail, b_tail) = unzip(rest)
     ·                                   ──────
   6 │       ([a, ..a_tail], [b, ..b_tail])
     ╰────
  ```
 2022-12-14 09:45:24 +01:00
KtorZ a62fb1905e
rename examples/tests/{a,b,c,d,e,f} into examples/acceptance_tests/00{1,2,3,4,5,6} 
Also added a little Makefile to run them all in one go.
 2022-12-14 09:45:24 +01:00