542962a2ea
fix: nested list issues in when statements
2023-01-03 01:31:18 -05:00
88d5d1b7f7
chore: add 036 assets
2022-12-31 00:09:02 -05:00
67e4ff8317
feat: allow functions from prelude
...
Co-authored-by: rvcas <x@rvcas.dev>
2022-12-31 00:09:02 -05:00
e495eefb34
feat implement tuple index
2022-12-31 00:09:02 -05:00
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
b0ea187151
better data deserialization errors and test hint
...
now runs even being in a sequence
2022-12-30 14:01:11 -05:00
ee678f2978
Release 0.0.27
...
aiken@0.0.27
aiken-lang@0.0.27
aiken-lsp@0.0.27
aiken-project@0.0.27
flat-rs@0.0.27
uplc@0.0.27
Generated by cargo-workspaces
2022-12-30 00:57:49 -05:00
34d398ab3b
fix dependencies ordering so now test 34 passes
2022-12-29 17:14:23 -05:00
306fa891a0
validator params are now converted to type from data
2022-12-29 17:14:23 -05:00
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
85a6a711e1
Add more colors to error messages.
...
And, let 'formatdoc' insert newlines when relevant to
format the text to the same column length.
2022-12-29 17:38:34 +01:00
3139c85fe8
Support declaring bytearray literals as base16 strings.
2022-12-29 13:08:58 +01:00
6f8d1698fe
Add missing function 'concat' in acceptance test 034.
2022-12-29 12:13:32 +01:00
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
1701cacb52
Add builtin functions to the prelude
...
Starting with 'not', will add 'always' and 'identity' later.
2022-12-29 12:05:30 +01:00
602a6a03a8
Rename '{run, run-all}.sh' into '{run, run-all}'.
2022-12-29 12:04:37 +01:00
ad5a393c4d
Add 'docs' and 'assets' to generated gitignore
...
And also make 'docs' the default folder (instead of doc) to be more aligned with Github's defaults.
2022-12-29 10:54:46 +01:00
cce76bbd63
fix issue with constructor clauses and clause props
2022-12-28 18:00:11 -05:00
c4c0ace3a6
Align warnings message's style with errors.
2022-12-28 18:45:04 +01:00
7c1b8e8f3b
Map remaining relevant builtins.
2022-12-28 18:27:28 +01:00
f2e716dd86
Fix else/if formatter.
2022-12-28 17:55:11 +01:00
bae8267f18
Fix formatter for unary operation
...
Was wrongly converting any unary operation into '!'
2022-12-28 17:51:00 +01:00
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
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
722117bfc4
one minor scope fix
2022-12-27 22:33:09 -05:00
551d4eea93
fix test 28
2022-12-27 22:33:09 -05:00
010024fb95
fix: acceptance test 031
...
Co-authored-by: rvcas <x@rvcas.dev>
2022-12-27 22:33:09 -05:00
083b7fcb5f
feat: support negation of int
...
* add unary op
* parse, typecheck, and code gen it
* express boolean not as unary op as well, previously called negate
Co-authored-by: rvcas <x@rvcas.dev>
2022-12-27 20:39:03 -05:00
542e39f093
feat: finish up zero arg issues with dependencies
2022-12-27 19:35:08 -05:00
30487cc232
fix test 23
2022-12-27 19:35:08 -05:00
919ea6c723
tuple destructuring nested and not now works
2022-12-27 19:35:08 -05:00
a08c615da4
checkpoint
2022-12-27 19:35:08 -05:00
b7d506a8db
nested lists now work
2022-12-27 19:35:08 -05:00
6126ee4cb4
checkpoint
2022-12-27 19:35:08 -05:00
b97570bc00
Fixed clippy issue
2022-12-27 17:08:05 -05:00
c6b5380c27
Fixed ex unit budget limit per redeemer
2022-12-27 17:08:05 -05:00
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
0d0536f6c1
fix: rename test module to tests
2022-12-23 22:00:59 -05:00
01f2142606
fix: the push was in the wrong place
2022-12-23 22:00:59 -05:00
cbaf629645
feat: warn if no validators on build
2022-12-23 22:00:59 -05:00
38a716d94e
feat: allow error to hold a label
2022-12-23 15:52:44 -05:00
37196a29ee
feat: error keyword
2022-12-23 15:52:44 -05:00
22103739c3
chore: some clippy warnings
2022-12-23 15:52:44 -05:00
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
b1b57406e7
Do not generate placeholder files when creating new projects.
...
And fix the --lib flag to be a flag.
2022-12-23 20:19:28 +01:00
f9ac12c3da
Merge pull request #212 from aiken-lang/better-type-check-errors
...
Better type check errors
2022-12-23 19:57:25 +01:00
7b9ea5dabb
Add links to the user-manual to errors, when applicable.
2022-12-23 19:50:14 +01:00
69f060e675
Rework all errors to provide better help text.
2022-12-23 19:27:06 +01:00
c47c50ffb8
Show most type-checking error on a single line; reads better.
2022-12-23 00:25:18 +01:00
ce0c6e0d0f
Use smart-constructor for UnexpectedLabeledArg errors.
...
Reduce duplications and keep the formatting of the error inside the error module.
2022-12-23 00:24:57 +01:00
Kasey White