Commit Graph

1960 Commits

Author SHA1 Message Date
KtorZ
4252ee6373 Implement formatter for anon binop. 2023-06-17 08:44:59 +02:00
KtorZ
91f03abb7b Support all binary operator in the anonymous binop parser. 2023-06-17 08:44:45 +02:00
KtorZ
d0b4c1c3b5 Add remaining boolean comparison operator to anon binop parser.
Nothing to see here as they all have the same signature. Implementing
  arithmetic bin-operators and boolean logic operators will require some
  more logic.
2023-06-17 07:57:37 +02:00
KtorZ
ec94230294 Extend parser to accept anonymous binop as expressions.
This is simply a syntactic sugar which desugarize to a function call with two arguments mapped to the specified binary operator.
  Only works for '>' at this stage as a PoC, extending to all binop in the next commit.
2023-06-17 07:36:11 +02:00
KtorZ
ba911d48ea Refactor 'is_capture' field on function expressions.
Refactored into an enum to make it easier to extend with a new variant to support binary operators.
2023-06-17 07:26:46 +02:00
microproofs
93135cebbb fix: redeemers in the script context are sorted by redeemer ptr not data hash 2023-06-16 12:24:44 -04:00
microproofs
e72a9f8e0b chore: rearrange code gen test order 2023-06-14 13:12:49 -04:00
rvcas
44e21ddcb8 [create-pull-request] automated change 2023-06-14 00:31:16 -04:00
rvcas
85d82e5aec chore: Release 2023-06-13 21:24:41 -04:00
rvcas
ad5feff06c [create-pull-request] automated change 2023-06-13 21:17:13 -04:00
rvcas
bf09c155fc chore: update changelog 2023-06-13 21:06:24 -04:00
rvcas
06079fa57e fix: wow 2023-06-13 21:03:16 -04:00
microproofs
379c2fe2bf chore: Release 2023-06-13 20:32:22 -04:00
rvcas
878fd4de48 feat: include column number in location 2023-06-13 20:30:43 -04:00
rvcas
44e066f907 feat: add a panic hook, present issue link 2023-06-13 20:30:43 -04:00
microproofs
b79437f596 update changelog 2023-06-13 12:03:38 -04:00
microproofs
c3bb7b0f75 fix: tail list being expected on when it should be empty 2023-06-13 12:03:38 -04:00
microproofs
1e0f7ea0ab fix: foldl test 2023-06-13 12:03:38 -04:00
microproofs
af36b5ac77 fixes:
fix: Issue where using var pattern in a when was passing the constr index instead of the constr
fix: Issue where expecting on a list had unexpected behaviors based on list length
2023-06-13 12:03:38 -04:00
rvcas
37b2f0c239 fix: gift card example stdlib update
closes #596
2023-06-13 00:38:29 -04:00
rvcas
22d491bb88 chore: update changelog 2023-06-13 00:24:04 -04:00
rvcas
aeaec6bcd8 fix: record format when module select
- instead of checking the container we need to check
  the FieldAccess label.

closes #601
2023-06-13 00:18:32 -04:00
microproofs
a5245fdc6b chore: couple more identity tests in optimize step 2023-06-10 00:01:54 -04:00
MicroProofs
2bd159e186 [create-pull-request] automated change 2023-06-08 21:20:47 -04:00
microproofs
c5af6e0be3 chore: Release 2023-06-08 19:34:51 -04:00
microproofs
9fe4aab599 chore: changelog v1.0.8-alpha 2023-06-08 19:33:27 -04:00
Matthias Benkort
8ed3979517 Merge pull request #593 from aiken-lang/hex-and-numeric-underscore
Hex and numeric underscore
2023-06-08 18:50:47 +02:00
KtorZ
919bf6f350 Complete CHANGELOG
Fixes #592
  Fixes #578
2023-06-08 16:39:03 +02:00
KtorZ
6bd8e94e17 Preserve numeric underscore and hexadecimal notation through formatting. 2023-06-08 16:37:20 +02:00
KtorZ
0b7682306f Refactor formatter to use new 'self.int' helper function. 2023-06-08 15:34:28 +02:00
KtorZ
79a2174f0a Extend parser to support int as hexadecimal and numeric underscore.
We only allow numeric underscore for decimal numbers as I am not sure how we can define it for non-decimal numbers?
2023-06-08 15:33:50 +02:00
KtorZ
0ea11a4d13 Introduce new test cases for hexadecimal and underscore parsing. 2023-06-08 13:26:22 +02:00
microproofs
0c4e7ed9da typo in changelog 2023-06-07 22:39:54 -04:00
microproofs
1256bd5617 push codegen fixes to changelog 2023-06-07 22:38:22 -04:00
Justin Syme
e0e6ee1fa9 Update multi.ak
Updated using `from_minted_value`
2023-06-07 17:37:30 -04:00
Justin Syme
fc9a60494e Update oneshot.ak
Updated with 
        `|> from_minted_value`
2023-06-07 17:37:30 -04:00
rvcas
3fc9c8e0db chore: re-add empty line handling by @KtorZ
Co-authored-by: KtorZ
2023-06-07 17:21:04 -04:00
rvcas
41a08e4a06 chore: re-add nix stuff from @waalge
Co-authored-by: waalge
2023-06-07 17:16:56 -04:00
rvcas
8d107b1293 fix(build): --uplc must use Program<Name> to pretty print 2023-06-07 16:25:59 -04:00
rvcas
1747090931 fix: fmt crashing with comment at end of file
closes #568
2023-06-07 15:59:54 -04:00
rvcas
feb2698e5e chore: commit multi-validator plutus.json 2023-06-07 15:42:42 -04:00
Kasey White
73c9ac3409 feat: create multi validator for gift card.
This version of gift card allows for minting many gift cards  in a tx under the same policy by policy creator. Also allows batch redeem.
2023-06-07 15:42:42 -04:00
KtorZ
0afc3aba13 Fix operator precedences, in particular |>
Fixes #571.
2023-06-06 17:17:47 +02: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
rvcas
cf6d04e95b chore: some clippy warnings 2023-06-02 19:47:52 -04:00
microproofs
cdf8bd6548 fix: list items in when were not being added to scope
fix: tuple clause must preserve previous clause properties state
2023-06-02 18:38:21 -04:00
microproofs
8f0cf289b4 fixes:
fix: rearrange clauses and fill in gaps now handles nested patterns in a uniform way
fix: discards in records was being sorted incorrectly leading to type issues
chore: remove some filter maps in cases where None is impossible anyway
chore: some refactoring on a couple functions to clean up
2023-06-02 18:38:21 -04:00
rvcas
9c29f4f26b fix: blueprints gen failing on List
closes #569

* added new methods to Definitions
  it doesn't use expect
* lookup was failing for the special map/pair case
  when resolving list generics

Co-authored-by: Pi <pi@sundaeswap.finance>
2023-06-02 17:53:10 -04:00
microproofs
6609ab335c chore: add another test for field destructuring in a list 2023-06-02 13:00:09 -04:00