microproofs
|
eb0b4dd6d8
|
update lock files
|
2023-09-25 21:16:19 -04:00 |
|
microproofs
|
b8737a1021
|
add one more test for unbound generics
|
2023-09-25 21:16:19 -04:00 |
|
rvcas
|
bc0824f4eb
|
chore: new aiken.lock files for examples
|
2023-09-13 18:17:40 -04: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
|
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 |
|
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 |