93e010b345
Replace 'public' utils with a more generic 'optional_flag'
...
The 'public' util was arguably not really adding much except a layer of indirection.
In the end, one useful parsing behavior to abstract is the idea of 'optional flag' that we use for both 'pub' and 'opaque' keywords.
2023-07-05 13:57:34 +02:00
5e8edcb340
test(parser): finish moving tests to their correct modules
2023-07-04 17:48:48 -04:00
47567c5e6f
test(parser): some adjustments after rebase with @ktorz fix
2023-07-04 17:19:30 -04:00
b25db429be
test(parser): anon binop and ambiguous sequence
2023-07-04 17:19:30 -04:00
8a6c81493c
test(parser): record create
2023-07-04 17:19:30 -04:00
a75bcff5c8
test(parser): type alias, anon fn, record update and more
2023-07-04 17:19:30 -04:00
bd8c13c372
test(parser): move over the validator tests and some misc tests to parser
2023-07-04 17:19:29 -04:00
6b05d6a91e
test(parser): rename definitions to definition and more tests
2023-07-04 17:19:29 -04:00
baf807ca2d
test(parser): list spread
2023-07-04 17:19:29 -04:00
44d0432560
test(parser): int list
2023-07-04 17:19:29 -04:00
f9c099a923
test: add indoc to assert_expr macro
2023-07-04 17:19:29 -04:00
715752718d
test: assert_module
2023-07-04 17:19:29 -04:00
da0b969865
test: adjust snapshots
2023-07-04 17:19:29 -04:00
8a7df7f66b
test: add empty list test
2023-07-04 17:19:29 -04:00
291dedf4e8
chore: refactor all parse tests to use assert_parse!
2023-07-04 17:19:28 -04:00
f878ef7cef
feat: move some token processing to the lexer
2023-07-04 17:19:28 -04:00
2226747dc1
feat: finish splitting up parsers
2023-07-04 17:19:28 -04:00
63cdb8aa09
chore: add more details on snapshot tests
...
We added a macro to add more information about the code that is being
tested, so we can add lots and lots of small snapshot tests.
2023-07-04 17:19:28 -04:00
eeaa1a05d2
feat: add first code snapshot test with insta
2023-07-04 17:19:28 -04:00
58c854fd3f
feat: add insta as dependency
...
We are going to start to add "golden"/snapshot tests, so we are using
[insta](https://insta.rs ) to do so.
2023-07-04 17:19:28 -04:00
eea94fc9a4
feat: move anon fn, let, and expect
2023-07-04 17:19:28 -04:00
9c98fc8026
feat: start splitting apart expr_parser
2023-07-04 17:19:28 -04:00
e3ed5d3b00
feat: move expr_parser and remove module.rs to definitions
2023-07-04 17:19:28 -04:00
3339d41fdd
feat: finish moving definitions and start exprs
2023-07-04 17:19:27 -04:00
fc580d4fa0
feat(parser): move definitions to their own modules
2023-07-04 17:19:27 -04:00
49098d5a45
Bump miette to 5.9.0
...
No particular reason, but it's good to be up-to-date with our dependencies.
2023-07-04 16:51:59 -04:00
5a6cc855e6
Use byte count for token span in the lexer.
...
Somehow, miette doesn't play well with spans when using chars indices.
So we have to count the number of bytes in strings / chars, so that
spans align accordingly.
2023-07-04 16:51:59 -04:00
67c072a1a9
test: add acceptance test 86
...
fix: prevent mutual recursion for expect type code gen functions
2023-07-04 12:24:25 -04:00
c10f0e53df
cargo fmt
2023-07-01 16:17:10 -04:00
4a8cb72708
Add a blueprint policy command
...
Computes the policy ID of a minting policy; added guards for blueprint address to check that it's not a minting policy; Wasn't 100% sure where the errors should live, so I'm happy to move them if there's objections
2023-07-01 16:17:10 -04:00
42544af799
fix: safe encode bits to check for 2^num_bits <= byte we are encoding
...
fix: I thought namedDeBruijn takes advantage of Binder for encoding and decoding.
It does not...
fix: Debruijn was being converted to NamedDeBruijn incorrectly
2023-06-30 23:06:38 -04:00
d641f731b7
fix: needed a stricter check for expect_pattern func on discard pattern
2023-06-28 15:54:59 -04:00
90ff211205
chore: Release
2023-06-23 19:41:14 -04:00
619b73d03e
feat: enhance new command
2023-06-23 19:40:11 -04:00
d633129ddf
fix: clearer unused var warning closes #579
2023-06-23 19:04:54 -04:00
8b3504e9a1
fix: `expect _ = ...` not including the cast from data logic if the type is data and right hand has a type annotation
2023-06-23 18:39:12 -04:00
226556bdd6
fix: builtins using the incorrect data to type conversion when used as a function param.
2023-06-23 14:31:19 -04:00
db369da96e
feat: Make traces produced by expect dependent on
...
the value of the tracing flag.
2023-06-23 14:03:23 -04:00
dbfa08a5a7
fix: issue with tuple clause
...
It was not consuming the next case if there was no condition being checked in the clause.
Now it properly always consumes the next clause unless last clause.
2023-06-23 12:36:15 -04:00
626033ff9b
fix: attempt to convert from opaque before doing monomorphization
2023-06-22 18:20:31 -04:00
24f5c4de6b
fix: the final clause of a when expecting another clause afterwards in nested list cases.
...
fix: all elements were being destructured in tuple clauses even if not used
2023-06-19 21:43:38 -04:00
e1f788b628
chore: commit tests first
2023-06-19 21:43:38 -04:00
4252ee6373
Implement formatter for anon binop.
2023-06-17 08:44:59 +02:00
91f03abb7b
Support all binary operator in the anonymous binop parser.
2023-06-17 08:44:45 +02:00
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
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
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
93135cebbb
fix: redeemers in the script context are sorted by redeemer ptr not data hash
2023-06-16 12:24:44 -04:00
e72a9f8e0b
chore: rearrange code gen test order
2023-06-14 13:12:49 -04:00
85d82e5aec
chore: Release
2023-06-13 21:24:41 -04:00
KtorZ