waalge/aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,450 Commits 8 Branches 0 Tags
23b72e18f32ad5725a99b645d4678875d34e927b
Commit Graph

310 Commits

Author SHA1 Message Date
KtorZ
1b7be32d74 rename 'hello_world-keygen.ts' as 'generate-credentials' 
And add *.sk to .gitignore!
 2023-01-06 13:32:27 +01:00
KtorZ
eb2f4a8056 Use pinned version of the stdlib. 2023-01-06 13:31:18 +01:00
KtorZ
7c2b1ac269 Define 'local' gitignore for examples' packages. 2023-01-06 13:30:56 +01:00
Mateusz Czeladka
1142c6ca6d hello world for starters 2023-01-06 13:24:15 +01: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
Kasey White
542e39f093 feat: finish up zero arg issues with dependencies 2022-12-27 19:35:08 -05:00
Kasey White
a08c615da4 checkpoint 2022-12-27 19:35:08 -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
7867793bcd feat: on fmt if label and name are the same only print one 2022-12-21 19:17:15 -05: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
rvcas
e34cbc8e7e feat: compile deps 2022-12-20 16:32:31 -05:00
rvcas
6a0b1ce5c3 feat: start trying to use deps 2022-12-20 16:32:31 -05:00
rvcas
5bd2a9336c feat: tons of boilerplate for fetching packages 2022-12-20 16:32:31 -05: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