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
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
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
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
85d82e5aec
chore: Release
2023-06-13 21:24:41 -04:00
379c2fe2bf
chore: Release
2023-06-13 20:32:22 -04:00
c3bb7b0f75
fix: tail list being expected on when it should be empty
2023-06-13 12:03:38 -04:00
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
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
c5af6e0be3
chore: Release
2023-06-08 19:34:51 -04:00
6bd8e94e17
Preserve numeric underscore and hexadecimal notation through formatting.
2023-06-08 16:37:20 +02:00
0b7682306f
Refactor formatter to use new 'self.int' helper function.
2023-06-08 15:34:28 +02:00
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
0ea11a4d13
Introduce new test cases for hexadecimal and underscore parsing.
2023-06-08 13:26:22 +02:00
3fc9c8e0db
chore: re-add empty line handling by @KtorZ
...
Co-authored-by: KtorZ
2023-06-07 17:21:04 -04:00
1747090931
fix: fmt crashing with comment at end of file
...
closes #568
2023-06-07 15:59:54 -04:00
0afc3aba13
Fix operator precedences, in particular |>
...
Fixes #571 .
2023-06-06 17:17:47 +02:00
5faa925aea
fix: error when using nested boolean checks in when conditions
2023-06-06 03:04:12 -04:00
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
cf6d04e95b
chore: some clippy warnings
2023-06-02 19:47:52 -04:00
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
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
cb9a140601
chore: Release
2023-06-02 00:34:07 -04:00
e5d9398625
fix: add module name to type mismatch error
...
* if expected and given are equal then we show
the module
* we could do it in all cases it looks kinda nice
* format is `Type - ModuleName`
2023-06-01 20:00:36 -04:00
6955f79035
chore: update changelog
...
fix: Minor improvement to record update to use empty list instead of the null list from a record fields list.
2023-06-01 12:22:42 -04:00
c710d488d6
fix: need to sort record update args so they match indices order
2023-05-30 20:23:12 -04:00
52a51acc69
fix: fix record update so it actually works
...
Created multiple tests of varying record updates
2023-05-30 20:23:12 -04:00
a65821d5ab
fix: constrs that contain fields now work when passed as an arg to a function.
...
Convert acceptance test 22
Create test for passing constr as a function
2023-05-30 17:28:52 -04:00
26a607eb00
fix: bad parsing of comments at end of file closes #551
2023-05-30 11:07:39 -04:00
2860bac4c6
fix: bad parsing for module select type annotations closes #550
2023-05-30 10:39:49 -04:00
7b3e1c6952
feat: adjust failing test syntax
...
* also add a formatter test
2023-05-25 18:21:12 -04:00
a44b5e1a77
test: adjust formatter tests after latest tweaks
2023-05-25 17:37:53 -04:00
151db8d4ae
fix: formatter weirdness relates to #542
2023-05-25 17:19:02 -04:00
a124a16a61
feat(tests): implement a way to express that tests can fail
2023-05-25 16:54:53 -04:00
8e60234562
chore: Release
2023-05-17 18:04:45 -04:00
173154e406
fix: (code gen): expect type now properly tracks constructor dependency.
...
This was specific to code gen generated functions.
2023-05-17 17:56:01 -04:00
f2d8c8938c
chore: Release
2023-05-14 21:25:29 -04:00
4838ebd39e
feat: record modules are no longer unimplemented for no fields
...
refactor: remove some clones and use a ref instead
test: add acceptance test 81
2023-05-14 18:30:51 -04:00
3356e2ecd0
fix: nested constrs with a single index was ignoring fields
2023-05-14 17:33:01 -04:00
1fb31e246c
fix: better conditional comp for wasm
2023-05-11 16:59:54 -04:00
e1a75391a1
chore: Release
2023-05-09 23:16:59 -04:00
4b8fd1769a
chore: change pattern todos to have a better error message
2023-05-08 16:27:43 -04:00
49898f7420
fix: to_data_builtin to operate on arg not func result
2023-05-08 16:15:09 -04:00
b36cf1c029
chore: refactor default functions in uplc_code_gen.
...
feat: Add an identity optimization to remove functions that return the argument only.
2023-05-08 16:15:09 -04:00
d2dbae1cbf
fix:
...
Negative numbers now show up as a constant instead of 0 - that number
Expect on constructors without field maps no longer panics
Expect on constructors with discard as assigned field names now no longer throws free unique
2023-04-30 14:44:54 -04:00
b1728b57b8
chore: Release
2023-04-28 17:11:56 -04:00
7201163b77
fix: better function hoisting for code gen functions
...
mainly code gen function dependencies won't be hoisted to the top.
2023-04-28 17:05:46 -04:00
baa2cef6c4
feat(playground): impl clone for some errors
2023-04-24 17:13:20 -04:00
ff87a4c60f
fix: "when bool is" was not properly assigning term to body when not a complex clause
...
Add some end to end tests to test uplc
2023-04-23 12:51:23 -04:00
9bb1a88f23
fix: expect [] on a non-empty list now fails.
2023-04-21 17:39:21 -04:00
c9a762a13c
fix: we weren't including the name unused var warning
2023-04-20 16:53:56 -04:00
c2ee631d07
feat: new setup for the gen_uplc testing
...
* new test only module aiken_project::tests
* move TestProject to tests/mod.rs
* new tests go in gen_uplc.rs
2023-04-19 16:08:55 -04:00
e4276d7f5a
move uplc tests to new location
2023-04-19 16:08:55 -04:00
23a7e7e680
chore: convert acceptance test 5
...
Also constructors with no fields are now converted to a constant data term.
2023-04-19 16:08:55 -04:00
7dd13f8d73
feat: add end to end tests to replace acceptance tests with strict uplc comparison.
...
Add acceptance tests 1,2, 6 as end to end tests
2023-04-19 16:08:55 -04:00
3182dac908
chore: Release
2023-04-17 10:53:30 -04:00
3b351d36fb
fix(aiken-lang): assignment as last expr in when and if
2023-04-16 19:55:47 -04:00
3d0fa1a5f6
chore: Release
2023-04-16 16:49:08 -04:00
98c61ca151
feat(aiken-lang): anonymous functions
...
@MartinSchere noticed a weird error
where an unknown variable wasn't being reported
the type checker was incorrectly scoping
arguments for anonymous function definitions.
Luckily his compilation failed due to a FreeUnique
error during code gen which is good. But this may
have been the source of other mysterious FreeUnique
errors.
I also noticed that anonymous function allowed
arguments with the same name to be defined.
`fn(arg, arg)`
This now returns an error.
2023-04-16 16:38:43 -04:00
63ddef7efb
chore: Release
2023-04-13 13:37:12 -04:00
12e8ebdf4f
chore: revert version bumps
2023-04-13 13:03:43 -04:00
067e39286d
Bump versions to 1.0.0-alpha, update CHANGELOG.
2023-04-13 17:35:21 +02:00
00550f8ddb
Add myself as co-authors for some of the project's crate
...
Forgot to do it before, and noticing now :D
2023-04-13 17:25:21 +02:00
e2c78bdd3b
Add min rust-version to crates
...
So that people runs into better errors if they try installing from source with an 'obsolete' rust compiler.
2023-04-13 17:24:44 +02:00
70f12d3fc5
chore: new branch with some things from the bumpalo branch
2023-04-13 01:28:27 -04:00
fc1b8738df
fix: fixed how the ir was generating for expect Void, expect Bool, let Void
...
add some acceptance tests for the various scenarios
2023-04-12 22:37:33 -04:00
1e35281650
clause guard with discard is now handled
2023-04-12 08:26:03 +02:00
e69a70f49c
remove final wrapper and replace with equivalent air elements
2023-04-09 17:43:56 -04:00
9e95e24624
now tests are passing
2023-04-09 17:43:56 -04:00
efb901f3b4
fix: issue with modifying a functions dependencies and adding a function that depended on it causing infinite loops
2023-04-09 17:43:56 -04:00
a17ebf301f
fix: now we monomorphize __expect_type functions
2023-04-09 17:43:56 -04:00
9d9f8a914a
fix generics causing a free unique due to ordering in expect_type
2023-04-09 17:43:56 -04:00
581c86ed83
chore: commented code removal
2023-04-09 17:43:56 -04:00
8d81345fb1
fix: diff_defined_types was not being filled if constructor had 0 args
2023-04-09 17:43:56 -04:00
f8483da4e0
Code gen now handles expecting on validator args in the air stack.
...
Thus allowing us to use code gen created functions to expect on data types including recursive ones.
Some minor tweaks to the air.
Added a uplc optimization for later.
2023-04-09 17:43:56 -04:00
4e4eed13e1
refactor define_ir_recurse to use let else
2023-04-09 17:43:56 -04:00
4ff0504d58
feat: change define_ir_processor to handle code_gen_functions
...
Also flattened out that function by using let else
2023-04-09 17:43:56 -04:00
bc7b07c1d9
fix: expect_type now works on recursice constructors and validator args are now handled by air
2023-04-09 17:43:56 -04:00
6c932bb562
expect on map and list now use a function that gets instantiated as air in code gen functions
2023-04-09 17:43:56 -04:00
abd97f0ade
changed assert_on_list from being defined at uplc level to being defined at air level to enable proper hoisting
2023-04-09 17:43:56 -04:00
f4ba6b8985
fix: unused validator args had an incorrect if check
2023-04-09 17:43:56 -04:00
3f45b524b8
feat: unused validator args are not expect checked
2023-04-09 17:43:56 -04:00
8c8312a412
fix: expect true was always expecting false
2023-04-09 17:43:56 -04:00
ddf0fbfa0a
fix: expect void now checks for unit instead of expecting data
...
Args in validator are now fully expected on.
Add new air FieldsEmpty to make checking for empty constructors easier
2023-04-09 17:43:56 -04:00
d620f6367c
Bootstrap schema validation for simple constants.
2023-04-08 08:57:03 +02:00
1444c9328d
fix some typos
2023-04-07 16:51:18 -04:00
d8cbcde61d
feat(validators): unused param warning
...
Params being unused were being incorrectly reported.
This was because params need to be initialized
at a scope above both the validator functions. This
manifested when using a multi-validator where one of
the params was not used in both validators.
The easy fix was to add a field called
`is_validator_param` to `ArgName`. Then
when infering a function we don't initialize args
that are validator params. We now handle this
in a scope that is created before in the match branch for
validator in the `infer_definition` function. In there
we call `.in_new_scope` and initialize params for usage
detection.
2023-03-30 21:15:27 -04:00
8fad5b77c6
chore: add some unit tests to stack
2023-03-30 11:32:18 -04:00
6a4f62d074
Allow newlines in when clause sequences.
2023-03-30 13:49:00 +02:00
5d4c95d538
Supports commenting validator inner functions.
2023-03-30 13:37:09 +02:00
814157dd7b
Fix formatter inconsistency with record spread patterns.
2023-03-30 13:02:20 +02:00
17431daaa4
Correctly nest multiline pipeline expressions.
2023-03-30 12:48:15 +02:00
cc18e7cff2
Fix formatting of function expressions with traces
...
Fixes #471
2023-03-30 09:21:46 +02:00
aa29636d50
fix: scope issue with ir_stack being incremented wrongly with assignment
...
Also fixed scope of constructor tag and void in whens
2023-03-28 21:15:22 -04:00
80f2fd746d
test(gen_uplc::scope): more replace unit tests
...
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2023-03-27 20:00:32 -04:00
e5980c5a96
feat(gen_uplc::scope): use some assumptions to simplify replace
2023-03-27 20:00:32 -04:00
c8ac9aa165
test: add replace same value unit test
2023-03-27 20:00:32 -04:00
5453572fc0
test(gen_uplc::scope): common ancestor method
...
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2023-03-27 20:00:32 -04:00
822bb4242a
fix: function hoisting errors --
...
One involving zero args being hoisted instead of compiled and replaced.
Second involving not updating a function's dependeny function scope. Which then hoisted to a lower scope and caused free unique
2023-03-27 20:00:32 -04:00
96b7fb1c50
chore: make clippy happy
2023-03-27 20:00:32 -04:00
b5ed958f62
chore: remove unused variable
2023-03-27 20:00:32 -04:00
b2dcb112c9
fix last 2 acceptance tests
2023-03-27 20:00:32 -04:00
51a6589aac
2 acceptance tests left to fix
2023-03-27 20:00:32 -04:00
eef34b8f4b
feat: all compiler errors fixed
...
Co-authored-by: Lucas Rosa <x@rvcas.dev>
2023-03-27 20:00:32 -04:00
25ff8acb1e
feat: one more function to finish up
2023-03-27 20:00:32 -04:00
77afa76163
feat: refactor handle_each_clause
...
fix expect type ordering on constr type checking
2023-03-27 20:00:32 -04:00
f07a959ab8
feat: almost done
...
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2023-03-27 20:00:32 -04:00
709ee914ed
feat: another round of functions using AirStack
...
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2023-03-27 20:00:32 -04:00
489dd235ff
feat(gen_uplc): finished up a few more functions
...
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2023-03-27 20:00:32 -04:00
33a3c5dc13
feat(gen_uplc): introduce scope new type
...
* new module scope which holds some ancestor logic
* rework some things to truly hide scope increments
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2023-03-27 20:00:32 -04:00
ca0d896b8d
feat: start using AirStack methods
...
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2023-03-27 20:00:32 -04:00
3e6f688e2d
feat: refactor some methods and modules
...
* move uplc::ast::builder to uplc::builder
* rename aiken_lang::uplc to aiken_lang::gen_uplc
* move aiken_lang::air and aiken_lang::builder to aiken_lang::gen_uplc
as submodules
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2023-03-27 20:00:32 -04:00
2d77ec1a6a
add merge function
2023-03-27 20:00:32 -04:00
32d34d5fd3
create struct Air Env
...
refactor out some to_strings
2023-03-27 20:00:32 -04:00
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
6e5b24a937
refactor the rest of the term builders to use more concise code
2023-03-21 00:50:13 -04:00
7c3750bbb4
fix: apply order on field expose
2023-03-21 00:50:13 -04:00
50db958d06
update codegen to use more streamlined uplc building methods
2023-03-21 00:50:13 -04:00
ef3862ade8
refactor: uplc code gen uses shorthand methods
2023-03-21 00:50:13 -04:00
74a7a2f214
commit air changes that expose scope as a mutable pointer
2023-03-21 00:50:13 -04:00
0f35675f57
remove wrongly committed println.
2023-03-18 17:33:21 +01:00
0b8c3b05fe
Fill-in test scenario for parsing large integer constants.
2023-03-18 16:17:42 +01:00
8a2af4cd2e
Fix lexer throwing errors when parsing a too large tuple index.
2023-03-18 16:13:50 +01:00
2dbc50f098
feat: generate_test doesn't need arguments
2023-03-17 18:41:22 -04:00
74c61358ab
feat: new error for when multi-validators have the same arg count
2023-03-17 18:40:50 -04:00
d753b57c1b
chore: use let-else 🤯
2023-03-17 18:40:49 -04:00
bc690c5410
Generated wrapped schemas for multi-validators' redeemers
2023-03-17 18:40:49 -04:00
bb6fc76971
start on registering redeemer wrapper type in definitions
2023-03-17 18:40:49 -04:00
22880a300f
Update crates/aiken-lang/src/parser.rs
...
Co-authored-by: Matthias Benkort <5680256+KtorZ@users.noreply.github.com>
2023-03-17 18:40:48 -04:00
950598b534
Update crates/aiken-lang/src/parser.rs
...
Co-authored-by: Matthias Benkort <5680256+KtorZ@users.noreply.github.com>
2023-03-17 18:40:48 -04:00
3d92772d23
Update crates/aiken-lang/src/tipo/infer.rs
...
Co-authored-by: Matthias Benkort <5680256+KtorZ@users.noreply.github.com>
2023-03-17 18:40:48 -04:00
bf34324ac0
Update crates/aiken-lang/src/format.rs
...
Co-authored-by: Matthias Benkort <5680256+KtorZ@users.noreply.github.com>
2023-03-17 18:40:48 -04:00
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
87493bbba9
feat(register_values): refactor repeated code into register_function and register other_fun
2023-03-17 18:38:24 -04:00
15bdb6972d
feat(fmt): better validator formatting with double supported
2023-03-17 18:38:24 -04:00
ed92869fb9
feat(validator): parsing and typechecking for double validators
2023-03-17 18:38:24 -04:00
28a3844d54
Cleanup implementation from multi-subjects when/is
2023-03-17 13:06:39 +01:00
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
660ca3fada
Fix comment formatting wrongly assuming false invariant.
2023-03-16 18:44:11 -04:00
57e217e81c
Add failing tests (fmt panic) on weird doc comments.
...
Isolated doc comments causes the compiler to panic with:
```
'no consecutive empty lines'
```
This is reproducible when doc comments are wrapped in sandwich between
comments and newlines.
2023-03-16 18:44:11 -04:00
0feb2df0a0
Minor error messages fixes.
2023-03-16 23:35:12 +01:00
fab6d56bf2
Merge branch 'main' into newline-assignment
2023-03-16 15:30:55 -04:00
5d3816e984
Improve warning message for UnusedVariable
2023-03-16 15:29:44 -04:00
a5e505e6b0
Remove unused let-binding from type-checking
...
The typed-AST produced as a result of type-checking the program will
no longer contain unused let-bindings. They still raise warnings in
the code so that developers are aware that they are being ignore.
This is mainly done to prevent mistakes for people coming from an
imperative background who may think that things like:
```
let _ = foo(...)
```
should have some side-effects. It does not, and it's similar to
assigned variables that are never used / evaluated. We now properly
strip those elements from the AST when encountered and raise proper
warnings, even for discarded values.
2023-03-16 15:29:44 -04:00
45ea7acc6a
Refactor infer_assignment code to be more future-proof
...
It's generally a bad idea to use equality on enum variants because this won't trigger any compiler errors in the future yet could have hazardous effects if adding new variants. So it's usually preferrable to use exauhstive pattern matching and let the compiler warn missing cases in places where it matters.
2023-03-16 15:29:44 -04:00
5bea2d163d
Fix comments and remove commented-out code.
2023-03-16 15:29:44 -04:00
da8d3fc1fc
Removed unused warning variant: UnusedLiteral
2023-03-16 15:29:44 -04:00
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
d59305a1b0
Provide better compiler feedback for type holes in annotations.
...
It is now possible to leave a hole in a type annotation and have the compiler fill-in the expected type of us.
This is a pretty useful debugging tool when playing with complex functions.
2023-03-16 14:07:06 +01:00
bf94956c7e
feat: print todo's type when printing the todo warning
2023-03-15 16:43:09 -04:00
f830172493
fix: wrong scope being passed in for unwrapdata and wrapdata in assignment ir
...
Closes #441
2023-03-14 17:05:27 -04:00
2a00ef281b
chore: bow to the clippy
2023-03-14 17:03:28 -04:00
724f1ac4b6
Remove unused 'FlexBreak'
...
The difference between 'FlexBreak' and 'Break(Mode::Strict/Flexible)' as always confused me; and turned out that the 'FlexBreak' thingy is never used. This is dead-code, so I removed it.
2023-03-14 16:47:43 -04:00
1311d9bd27
Support flexible pipe operator formatting
...
Rules are now as follows:
- If a pipeline contains a newline, then the entire pipeline is formatted over multiple lines.
- If it doesn't, then it's formatted as a single-line UNLESS it cannot fit; in which case, we fallback to multiline again.
2023-03-14 16:47:43 -04:00
4a7bbc23df
fix: change in scope was applied in wrong place in pattern_ir for constr expect
2023-03-12 00:25:26 -05:00
6440c4f498
fix(codegen): tuple pattern scopes
...
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2023-03-09 19:30:52 -05:00
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
553eb88d3d
fix(check): record field access properly restricted to single constr types
2023-03-08 23:50:16 -05:00
41e725152e
feat(unify): cannot cast between string and data closes #432
2023-03-08 22:47:38 -05:00
c85240cbed
Fix exception when doing expect boolean = ..
...
Add new Air Assert Bool
Add acceptance test 76
2023-03-08 22:31:30 -05:00
0ea4538cac
Fix typo and pluralize message for invalid field arity error.
2023-03-08 11:44:54 +01:00
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
89373c32e6
Functions with only a generic return weren't being properly monomorphized. Fixed that.
2023-03-08 10:31:05 +01:00
bd7b8792bf
feat: introduce EvalResult type
2023-03-08 10:19:36 +01:00
1902a2d56c
chore: update all deps
2023-03-06 13:13:59 -05:00
rvcas