waalge/aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
2,422 Commits 8 Branches 0 Tags
c90650183652edd731225c8f1ed613d8fd2c2678
Commit Graph

412 Commits

Author SHA1 Message Date
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
rvcas
d0d482b3cb chore(gift_card): run fmt 2023-04-07 16:35:58 -04:00
rvcas
4e380012fb chore(gift_card): use kupmios backed by demeter for lucid 2023-04-06 21:35:08 -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
rvcas
0060d29265 chore: update gift card example to use new validator syntax 2023-03-27 13:39:34 -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
6422027c6c Fix README template for newly generated projects, and hello, world 2023-03-18 22:23:55 +01: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
rvcas
bf9297efcf chore(gift_card): cardano scan url should be preprod as well 2023-03-16 09:45:11 -04:00
rvcas
f7308f22fd fix: gift_card deno.lock 2023-03-15 16:41:25 -04:00
waalge
d13db5f34e Fix deno.lock 
Switch to preprod, and test against eternl (passed)
 2023-03-15 12:24:35 -04:00
rvcas
7e467ada2b chore(gift_card): more readme info 2023-03-14 19:13:21 -04:00
rvcas
56aa53eb73 chore: update lucid 2023-03-14 19:13:21 -04:00
rvcas
81359246f9 chore: update against latest main, rerun build, change unlock interface 2023-03-14 19:13:21 -04:00
rvcas
0147af8330 chore: rename example parents folder to gift card 2023-03-14 19:13:21 -04:00
rvcas
a522cd1e7d chore: better names for the validators and some functions 2023-03-14 19:13:21 -04:00
rvcas
5e062c130d feat: finish up end to end example 
* create a gift card (nft)
* lock ADA while minting gift card
* unlock ADA while burning gift card

Co-authored-by: Kasey White <kwhitemsg@gmail.com>
 2023-03-14 19:13:21 -04:00
rvcas
79fd6b4828 feat(one_shot): actually getting properly applied contracts 
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
 2023-03-14 19:13:21 -04:00
rvcas
a82cedbd92 feat(one_shot): apply params to script 2023-03-14 19:13:21 -04:00
rvcas
e35ccc9e0c feat(one_shot): document vendored lucid 2023-03-14 19:13:21 -04:00
rvcas
14cdac7bfa feat(one_shot): some deno and lucid stuff 2023-03-14 19:13:21 -04:00
rvcas
ab1ee17ad4 feat(one_shot): some deno boilerplate 2023-03-14 19:13:21 -04:00
rvcas
7ea8aeda01 feat: one_shot example 
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
 2023-03-14 19:13:21 -04: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
KtorZ
7257c2d89e Small tweaks on the hello_world examples. 2023-03-08 09:47:08 +01:00