defd36ad8c
chore: Release
2024-01-25 11:07:32 -05:00
1ab6d050af
chore: bump pallas
2024-01-25 11:07:18 -05:00
589bb9a4b3
chore: change how we depend on pallas
2024-01-24 21:26:48 -05:00
ae0b428658
update tests to account for new verbose tracing
2024-01-24 16:29:40 -05:00
00e1942999
another test fix
2024-01-24 16:29:40 -05:00
dc61e11813
fix test
2024-01-24 16:29:40 -05:00
36a0b317ad
fix condition to account for tail presence
2024-01-24 16:29:40 -05:00
3c81ebf137
updating more of the tests
2024-01-24 16:29:40 -05:00
51f1f2b67f
change redundant if branches
2024-01-24 16:29:40 -05:00
e523ae63f3
fixed some of the tests
2024-01-24 16:29:40 -05:00
3a44c45b48
fix: one builtin error wasn't be caught with a messaged exception
2024-01-24 16:29:40 -05:00
eda4e259d6
minor fix and some refactoring on the if statements
2024-01-24 16:29:40 -05:00
82fc82ceee
fix: used wrong index in tupleAcessor
2024-01-24 16:29:40 -05:00
956c3d6cf0
feat: refactor code gen to avoid builtin errors when tracing is turned on
2024-01-24 16:29:40 -05:00
54a1b50138
Make behavior between curly- and paren-delimited blocks consistent.
...
Note that the formatter rewrite parens-block sequences as curly-block
sequences anyway. Albeit weird looking syntax, they are valid
nonetheless.
I also clarified a bit the hints and description of the
'illegal::return' error as it would mistakenly say 'function' instead
of 'block'.
2024-01-20 10:37:07 +01:00
bf96c3afd2
Add more tests & rename 'Invalid' -> 'Unfinished'
2024-01-20 10:26:33 +01:00
cb6fd59dbd
Fix minor typo in error label
2024-01-20 09:58:36 +01:00
25a837ab3f
feat: parser and check fixes
...
- do not erase sequences if the sole expression is an assignment
- emit parse error if an assignment is assigned to an assignment
- do not allow assignments in logical op chains
2024-01-19 14:32:21 -05:00
8a90e9eda0
Improve behavior and reporting of tests expected to fail
...
Fixes #786 .
2024-01-19 18:20:58 +01:00
2b4137dc24
Revert "minor refactor"
...
This reverts commit 21f0b3a6220fdafb8f6aad6855de89d8cdde0e1b.
Rationale:
The absence of clause guard was here done *on purpose*. Indeed,
introducing a clause guard here forces either duplication or the use
of a wildcard which is not "future proof".
Should we make a change to that one day (e.g. add a new variant to
TraceLevel), we won't get any compiler warning and we'll very likely
forget to update that particular section of the code.
So as much as possible, enforce complete pattern-match on variants
make for code that is easier to maintain in the long-run.
2024-01-19 14:31:09 +01:00
af90b38bf8
minor refactor
2024-01-19 14:31:04 +01:00
6fa272bd34
Remove compiler-generated helper 'global' traces in compact mode.
...
Since there's no line number to show here, we don't have much choice. And the alternative of showing shorter traces as code is just ugly as hell.
2024-01-19 14:30:44 +01:00
42fdecf41f
Fix coloring output of multi-line traces.
2024-01-19 14:30:44 +01:00
3d131a5d09
Fix CLI docs for traces.
2024-01-19 14:30:16 +01:00
59c784778e
Convert span's start to line number + col
...
This requires to make line numbers a first-class citizen in the module
hierarchy but it is fortunately not _too involved_.
2024-01-19 14:30:15 +01:00
e67d5863a1
Introduce 'compact' trace level verbosity
...
For now, it only shows the span start. We'll change that in the next commit to show a line number and a column.
2024-01-19 14:30:15 +01:00
627c6b576e
Move line_numbers under 'aiken-lang'
...
And add some unit tests to ensure things are working properly.
2024-01-19 14:30:15 +01:00
f79b37d551
Replace 'bool' with 'TraceLevel' in codegen
...
Co-authored-by: KtorZ <matthias.benkort@gmail.com>
2024-01-19 14:30:15 +01:00
d27ea98a8f
Rework tracing arguments to --keep-traces & --trace-level
...
This allows for a more fine-grained control over how the traces are showed. Now users can instrument the compiler to preserve only their user-defined traces, or the only the compiler, or all, or none. We also want to add another trace level on top of that: 'compact' to only show line numbers; which will work for both user-defined and/or compiler-generated traces.
2024-01-19 14:30:15 +01:00
86146ae7f4
adding codegen traces
2024-01-19 14:30:14 +01:00
81e29539c8
Merge pull request #803 from aiken-lang/780-possible-bug-with-test-github-action-version-generated-by-aiken-new
...
fix: aiken new github action version
2024-01-19 14:27:38 +01:00
0e2b8ae251
Bump pallas dependencies to include flat bigint patch
...
Fixes #796 .
2024-01-18 18:26:21 +01:00
1796147264
fix: aiken new github action version
2024-01-18 12:10:06 -05:00
06672fce05
add new test
2024-01-13 19:29:34 -05:00
d26524048e
fix: headlist builtin on assoc lists
...
implement chooseunit for 0 args
2024-01-13 19:29:34 -05:00
c7af27a6ba
fix: generic edge case with tuples that allowed 2 tuples and 3 tuples to use the same monomorphized function.
...
Also massively reduced the space taken up by generics in scripts when using generics with list and tuples
2024-01-13 17:46:32 -05:00
f934e87b1d
Reuse "convert_tag_to_constr"
2024-01-13 13:23:58 -05:00
cda1716d47
Unify construction of PlutusData objects from int + fields
2024-01-13 13:23:58 -05:00
742a728d53
Fix conformance test to make a point
2024-01-13 13:23:58 -05:00
316842876d
Fix PlutusData Constr test case
2024-01-13 13:23:58 -05:00
4bd8ab890a
Add reverse mapping for PlutusData constr
2024-01-13 13:23:58 -05:00
0ae631a1fe
Fix parsing Constr PlutusData
2024-01-13 13:23:58 -05:00
4a8fecb70a
fix: satisfy clippy's demands
2024-01-11 14:53:02 -05:00
8b62873ef5
fix(format): post trace sequences getting wrapped in curlies closes #781
2024-01-09 22:39:55 -05:00
ff462fa8ea
don't need clippy macro anymore :)
2024-01-08 18:08:50 -05:00
f722af1149
fix: accidentally put quotes around tail_name
2024-01-08 18:08:50 -05:00
2216f387c3
refactor: change codegen uplc to have more type safety
...
Also refactor list_access_to_uplc
2024-01-08 18:08:50 -05:00
7992a50bec
Make foreign `Language` type publicly available ( #793 )
...
* Make foreign type public available
* Fix formatting
2024-01-08 13:31:21 -08:00
30a6b77116
Get rid of 'VoidMsg' in favor of an 'Option'.
2024-01-04 16:03:51 -05:00
c50a9cb5bd
refactor: convert msgs to use AirMsg type instead of AirTree
2024-01-04 16:03:51 -05:00
394cac86b8
feat: expect on a type now can take in a msg when in trace mode
2024-01-04 16:03:51 -05:00
4fc65cc600
feat: change expect from data on constrs to take in a message term
2024-01-04 16:03:51 -05:00
43e84d7af7
fixing gen_uplc tets
2024-01-04 16:03:51 -05:00
c7a1ff0959
refactor how tracing is popped off to be in one location in uplc_gen
2024-01-04 16:03:51 -05:00
355e38d6e2
feat: expects now print the line of code that failed
2024-01-04 16:03:51 -05:00
412945af3a
update aiken code gen test
2024-01-04 16:03:51 -05:00
aa51ce3e3e
feat: add code messages when using expects on constrs
2024-01-04 16:03:51 -05:00
71cfb6f6af
feat: Add specific messages for using expect with booleans
...
TODO: fill out the rest of the expects with messages
2024-01-04 16:03:51 -05:00
7b452c21f0
Fix formatting
2023-12-29 22:57:10 -05:00
4c60be368e
Add command line option to shrink uplc
2023-12-29 22:57:10 -05:00
b6acdde552
Use to_i64 for clarity
2023-12-19 12:20:10 -05:00
d06f2f6008
Formatting
2023-12-19 12:20:10 -05:00
eefd26c6fa
Add acceptance tests for this tricky case
2023-12-19 12:20:10 -05:00
fb56700bde
Fix and re-enable pretty print test for bigint
2023-12-19 12:20:10 -05:00
89e518f878
Deduplicate code
2023-12-19 12:20:10 -05:00
ba76c1d2cf
Adjust acceptance tests and fix IData and UData
2023-12-19 12:20:10 -05:00
022503e254
Fix to_pallas_bigint
2023-12-19 12:20:10 -05:00
1b1636ab0e
Fix parsing of negative bigint
2023-12-19 12:20:10 -05:00
0cfcd78039
Use more clear functions
2023-12-15 21:59:57 -05:00
8c619954d3
Add conformance test for big ints
2023-12-15 21:59:57 -05:00
ceb6d63e95
Add parsing for big builtins
2023-12-15 21:59:57 -05:00
6a10be3e82
chore: remove redundant clone
2023-12-15 21:58:02 -05:00
a0ec92897b
chore: clean up pr
2023-12-15 21:58:02 -05:00
2cd1379aec
for now comment out curry code so the rest of the changes
...
can be merged to main
2023-12-15 21:58:02 -05:00
c0c9f2f432
commit latest changes
2023-12-15 21:58:02 -05:00
058a190294
feat: implement curried tree pruning
2023-12-15 21:58:02 -05:00
51079b8590
fix: builtin_force_reducer wasn't handling double forces correctly
2023-12-15 21:58:02 -05:00
4015550f55
start testing the first stage of currying builtins
2023-12-15 21:58:02 -05:00
249581e1bc
chore: continuing progress on implementing currying optimization for builtins
...
Introduced some new abstractions to make a different number of args easier to deal with
2023-12-15 21:58:02 -05:00
8fdedb754e
chore: continue more on curry optimizations
2023-12-15 21:58:02 -05:00
88e21449c5
chore: comment fixes
2023-12-15 21:58:02 -05:00
5c688b1404
Feat: refactor optimizations to use tree traversal algorithm
...
This makes each optimization a single function that acts on an existing tree traversal function
2023-12-15 21:58:02 -05:00
07122aaa88
feat: allow importing off validators in validators/tests/*
2023-12-11 18:27:08 -05:00
b25e82ed36
Handle errors and format
2023-12-08 12:19:22 -05:00
772e73ae48
Fix parsing of hex encoded escaped bytes
2023-12-08 12:19:22 -05:00
3ac35f4e00
Make sure that new issue is covered by testcase
2023-12-08 12:19:22 -05:00
d0bc782f75
Fix pretty prenting of strings in complex data structures
2023-12-08 12:19:22 -05:00
92488e535a
Fix type definitions for g1 & g2 elements.
2023-12-08 16:58:12 +01:00
825e65d7a3
fix: zero arg functions were being compiled without the trace messages
...
Now traces are added before evaluating
2023-12-06 10:31:48 -05:00
2647e4aae6
chore: Release
2023-12-04 22:14:03 -05:00
0a1e0d7bee
feat: remove flat-rs crate and use it through pallas_codec
2023-12-04 22:01:51 -05:00
b17b7f287c
chore: update to pallas v0.20.0
2023-12-04 21:44:19 -05:00
c50d4d1396
fix: forgot to handle None case for other_fun in validator
2023-11-29 21:24:30 -05:00
1503b525b2
feat(lsp): implement quickfix for utf8 byte array is valid hex string warning
2023-11-28 21:02:15 -05:00
858a9621fc
fix: due to how error code now get printed match_code for quickfix was always false
2023-11-28 21:00:17 -05:00
1f411cde0e
chore: needless dbg
2023-11-28 20:59:23 -05:00
2dab62857f
chore: useless rebinding
2023-11-28 19:46:08 -05:00
832ca81a8c
fix(lsp): when desugaring and/or chains we should use the whole span of the chain for the generated BinOp locations
2023-11-28 19:19:56 -05:00
7015a9badc
feat(lsp): hover support for the optional multi validator fn
2023-11-28 19:18:29 -05:00
2159053cb5
fix: using the word pattern here reads better and applies more broadly like for lists
2023-11-28 16:15:24 -05:00
a46a7e82b7
feat: implement hover on when clause patterns
2023-11-28 16:13:08 -05:00
f7dd2de17b
feat: implement hover info for tuple, list, and contructor pattern elements
2023-11-28 16:12:37 -05:00
6ce30bd949
fix: allow spread operator on positional constructors closes #677
2023-11-27 23:11:17 -05:00
d5820bb20a
fix: restore printing of some error messages
...
We rely on some errors to just bubble up and get printed.
By matching on result at the top level like this we blocked some
error messages from being able to be printed. For me this showed up
when `cargo run -- new thing/thing` printed nothing even when there
was an existing `thing` folder. It has already been the pattern for
sometime for some subcommands to handle calling process::exit(1) in
situations where it needs to handle error reporting more specially. It
may seem lame, hacky, or repetitive but it's easy to maintain and read.
2023-11-27 21:48:56 -05:00
2980e8e21d
fix: use a distinct warning for discarded let assignments to avoid confusion closes #763
2023-11-27 21:23:10 -05:00
40c0fa7d77
Add --watch flag to the 'build' and 'docs' commands too.
2023-11-25 15:14:09 +01:00
7645a9460f
Display error codes better.
...
This is a *slight* hack / abuse of the code() method as we are now
doing a bit of formatting within that function. Yet, we only do so at
the very top-level (i.e. project's Error) because we can't actually
fiddle with how miette presents errors.
2023-11-25 15:14:09 +01:00
6c039708c3
Rework 'watch_project' to reuse 'with_project'
...
Also removed the 'clear' flag to do it by default instead of clogging
the terminal view.
This now works pretty nicely, and the logic is back under
`aiken_project`.
2023-11-25 14:48:22 +01:00
777d30b8ac
Rework 'with_project' to avoid early process exit.
2023-11-25 13:26:24 +01:00
4adedaac15
Remove unnecessary 'Rc' in function signature.
2023-11-25 13:09:26 +01:00
1ca81ec133
Turn evaluation hints into strings earlier, to make project's Error thread-safe.
2023-11-24 09:44:05 +01:00
d04094560b
Add an example usage in the check command
...
Feel free to do this differently, I just implemented it because i'm actually using it heh
2023-11-24 08:37:54 +01:00
4bb424ba78
Fix a small bug with the filtering
2023-11-24 08:37:54 +01:00
5945a9515b
Disable the doctest, since I don't have an impl of EventListener I can use
2023-11-24 08:37:54 +01:00
5068da3a17
Refactor into cargo-project
...
Rather than have this logic in the aiken binary, this provides a generic
mechanism to do "something" on file change events. KtorZ is going to
handle wiring it up to the CLI in the best way for the project.
I tried to write some tests for this, but it's hard to isolate the
watcher logic without wrestling with the borrow checker, or overly
neutering this utility.
2023-11-24 08:37:54 +01:00
771f6d1601
Formatting and check
2023-11-24 08:37:54 +01:00
689a41ded4
Implement a basic watch command
...
This adds the following command
```
aiken watch
```
There are some open questions to answer, though:
- I really like the ergonomics of `aiken watch`; but it also makes sense
as a flag to `aiken check` or `aiken build` etc.; should we just
support the flag, the command, or both?
- Right now I duplicated the with_project method, because it forces
process::exit(1); Should we refactor this, and if so, how?
- Are there other configuration options we want?
2023-11-24 08:37:53 +01:00
45177cd08b
fix: add missing type checks for the new bls primitives
2023-11-23 13:00:24 -05:00
63f96d13ca
fix: clippy warning
2023-11-22 19:17:45 -05:00
78b0789cbc
chore: unit test for pub in validator module warnings closes #681
2023-11-22 18:02:21 -05:00
abd18656e3
fix: unable to have newline after expect bool shortcut
2023-11-20 11:44:16 -05:00
2ed91780f4
fix: call arg should be top level
2023-11-20 11:44:16 -05:00
7118253401
fix: if branches, final_else, and anon fns should all be "top level"
2023-11-20 11:44:16 -05:00
7680d33663
fix: panic in formatter when substracting u8 0 - 1
2023-11-20 11:44:16 -05:00
6869f73033
fix: sequence formatting when not top level
2023-11-20 11:44:16 -05:00
1567e42875
chore: fill in machine todos and cost model for case and constr
...
This allows for several more tests to pass
**Had to remove case-7 since it was incorrectly passing before**
2023-11-17 19:52:03 -05:00
0382e5ce12
chore: this comment doesn't make sense
2023-11-17 18:41:28 -05:00
df992cba67
chore: remove check_type
2023-11-17 13:58:13 -05:00
9ab458dcc6
feat: delay typemismatch errors in the machine runtime
...
to pass 2 of the conformance tests, we need to make sure
that we aren't typechecking builtin arguments as arguments
are applied. This switches push to by removing the call to check_type
and then reworking all the associated unwrap methods on Value
so that they return the same errors that were being returned before.
2023-11-17 13:58:13 -05:00
ed909055b5
chore: temp remove conformance tests that are failing
2023-11-15 15:55:56 -05:00
308fb47e40
fix: don't panic on invalid hex strings
2023-11-15 15:55:56 -05:00
dfa0378404
chore: explain a todo in the machine
2023-11-15 15:55:56 -05:00
3f8f624a7b
fix(uplc): more whitespace characters
2023-11-15 15:55:56 -05:00
58d98b3325
fix(uplc): parser should accept single quote in var name and comments
2023-11-15 15:55:56 -05:00
b6f6064aaf
test: add all plutus conformance tests
2023-11-15 15:55:56 -05:00
b80db2f7f8
fix(bls): wrong types for equals functions
2023-11-15 15:55:56 -05:00
d53d2665b2
test(bls): g1 and g2 formatting
2023-11-15 15:55:56 -05:00
c910e0054e
test(bls): constant parsing tests
2023-11-15 15:55:56 -05:00
7073fd29b3
test(bls): literal parsing tests
2023-11-15 15:55:56 -05:00
8b89ba3b93
feat: implement bls primitives in code gen
2023-11-15 15:55:56 -05:00
d51374aac1
feat: add conversion to data and from data for new primitive types
2023-11-15 15:55:56 -05:00
3675762c3e
feat(bls): aiken level g1 and g2 literals
2023-11-15 15:55:56 -05:00
90aea6476a
feat: uplc g1 and g2 literal parsing
2023-11-15 15:55:56 -05:00
6ce85e1662
fix: add keccak to TryFrom<u8>
2023-11-15 15:55:56 -05:00
49ae8152f8
feat(bls): add new aiken level builtins
2023-11-15 15:55:56 -05:00
8a3a465237
feat(bls): add new types to aiken prelude
2023-11-15 15:55:56 -05:00
cdcd8172e6
feat(bls): pretty print mlresult type
2023-11-15 15:55:56 -05:00
318ae6aad4
feat(bls): finish cost model
2023-11-15 15:55:56 -05:00
5243c36ed6
feat(bls): add default costs for the new functions
2023-11-15 15:55:56 -05:00
18db1c394a
feat: Implemented builtin semantic versioning
...
feat: impl flat serialization and deserialization for bls constants
feat: started on cost models for the new builtins
Co-authored-by: rvcas <x@rvcas.dev>
2023-11-15 15:55:56 -05:00
f101581813
feat(bls): pretty printing for g1 and g1 element
...
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2023-11-15 15:55:56 -05:00
0d2ac952d0
feat: implemented the Bls381-12 builtins and types
...
also implemented Keccak256 and Blake2b_224
TODO: cost model, flat serialization, pretty
Co-authored-by: rvcas <x@rvcas.dev>
2023-11-15 15:55:56 -05:00
446ef11606
chore: finishing acceptance test 29
...
and updating acceptance test lock files
2023-11-08 14:31:44 -05:00
d50fb99b75
feat: add acceptance tests 28-30
2023-11-08 14:31:44 -05:00
7d319077e6
chore: clean up validator comments and
...
commit script context test lockfile
2023-11-06 15:49:13 -05:00
2f694b01cb
chore: use insta snapshot for blueprint validator tests
2023-11-06 15:37:04 -05:00
4eebd4628b
chore: fix comment
2023-11-06 15:37:04 -05:00
7427bac4a0
chore: remove unused code
2023-11-06 15:37:04 -05:00
598ec5eaef
Use a better algorithm for inlining single occurrences
2023-11-06 15:37:04 -05:00
49bd4ba33d
chore: Release
2023-10-25 19:00:03 -04:00
4dd17dacf3
chore: rename uplc builder builtins
2023-10-22 17:08:48 -04:00
3e283a59ec
Split off builtin function builders
...
- sort alphabetically
- add some of the missing builtins used for ints
- comment on what is "correct" for future additions
- comment on the current remaining missing builtins
- comment on the current incoherent method names
2023-10-22 17:08:48 -04:00
46c58dbd61
Implement quickfixes for redundant imports.
2023-10-22 00:29:09 +02:00
28b699c86a
Merge unused imported constructors and unused imported type with unused imported value
...
This was somewhat weirdly done, with a boolean 'imported' set on the
formers; but an explicit new warning for values. I don't see the point
of distinguishing them so I just merged them all into a single
warning.
I have however preserved the 'UnusedType' and 'UnusedConstructor'
warnings since they were ALSO used for unused private constructors or
types.
2023-10-22 00:27:33 +02:00
5f8e256050
Present aiken-lsp & fill-in CHANGELOG
2023-10-21 21:39:30 +02:00
17832fc5af
Fix clippy warnings: remove redundant closures & guards.
2023-10-21 21:27:31 +02:00
c0513da032
Add quickfix for unknown constructors.
2023-10-21 14:24:47 +02:00
f6eff7ec58
Fix incoherent 'UnknownVariable' being returned in type-check
...
I initially removed the 'UnkownTypeConstructor' since it wasn't used anywhere and was in fact dead-code. On second thoughts however, it is nicer to provide a slightly better error message when a constructor is missing as well as some valid suggestion. Prior to that commit, we would simply return a 'UnknownVariable' and the hint might suggest lowercase identifiers; which is wrong.
2023-10-21 14:10:45 +02:00
5986163ba7
Add quickfix for unknown alias & data types.
2023-10-21 13:57:06 +02:00
d965467a53
Fix insertion of unqualified import when first
...
I previously missed a case and it causes qualified imports to be added at the end if they are lexicographically smaller than ALL other qualified imports. No big deal, but this is now fixed.
2023-10-21 13:56:15 +02:00
c550b4766d
Implement quickfix for 'UnknownModule'.
2023-10-21 12:59:48 +02:00
e48ac6b592
Relocate and refactor quickfix code into its own module
...
We're going to have more quickfixes, to it's best not to overload the
'server' module. Plus, there's a lot of boilerplate around the
quickfixes so we might want to factor it out.
2023-10-21 12:00:58 +02:00
763516eb96
Refactor and relocate document edits function for imports.
...
It's a bit 'off-topic' to keep these in aiken-lang as those functions are really just about lsp. Plus, it removes a bit some of the boilerplate and make the entire edition more readable and re-usable. Now we can tackle other similar errors with the same quickfix.
2023-10-21 11:31:01 +02:00
699d0a537c
Use (untyped) AST to find the right insert location for imports.
...
This removes the need to rely on the formatter to clear things up
after insert a new import. While this is not so useful for imports, I
wanted to experiment with the approach for future similar edits (for
example, when suggesting an inline rewrite).
2023-10-21 10:43:00 +02:00
66ade8e3e3
Implement simple code action quickfix for unknown variable.
2023-10-20 18:01:07 +02:00
c4221730bf
Define 'ExtraData' trait for errors
...
This should allow passing some extra information to LSP diagnostic in order to provide quickfix actions, such as auto-imports.
2023-10-20 18:00:12 +02:00
41e26b216b
Some LSP improvements regarding hovering
...
- Resolve module select properly
- Add some type annotations to _some patterns_ such as assignments
2023-10-19 20:04:10 +02:00
e5801f9c19
feat: support doc comments for functions args and validator params
...
- Add support to the formatter for these doc comments
- Add a new field to `Arg` `doc: Option<String>`
- Don't attach docs immediately after typechecking a module
- instead we should do it on demand in docs, build, and lsp
- the check command doesn't need to have any docs attached
- doing it more lazily defers the computation until later making
typechecking feedback a bit faster
- Add support for function arg and validator param docs in
`attach_module_docs` methods
- Update some snapshots
- Add put_doc to Arg
closes #685
2023-10-16 13:38:23 -04:00
10b9dc2042
chore: remove unused constants
2023-10-13 16:56:03 -04:00
596ce49327
fix: mixed up operators for ConstAboveDiagonal and ConstBelowDiagonal
...
Closes #618
2023-10-13 11:40:07 -04:00
e8bcbecf31
chore: avoid cloning name
2023-10-12 17:50:44 -04:00
55f89a7ff4
fix: incorrect 'unused::constructor'
...
`ExprTyper` was not incrementing the usage of a constructor
when infering `RecordAccess`.
closes #554
2023-10-12 17:44:57 -04:00
52dfc13f8f
chore: explain a weird if condition
2023-10-12 17:24:11 -04:00
c764a6f99c
fix: reset option should not reset special functions in only a multivalidator
2023-10-07 19:42:24 -04:00
4649a5a9d2
fix: don't reset the used special functions
2023-10-07 19:42:24 -04:00
8964675670
feat: Add tracing for common multivalidator issues
2023-10-07 19:42:24 -04:00
a86f08c6d1
update tests for new trace reduction
2023-10-07 19:42:24 -04:00
7a6ddc45a0
feat: Rework codegen traces to prevent repeated messages from taking up uplc script space
2023-10-07 19:42:24 -04:00
44021cde19
Detect when fields_expose is unnecessary in clause_pattern
2023-10-07 19:42:24 -04:00
9335522df4
Make change @ktorz suggested
2023-10-07 19:42:24 -04:00
98cb01413b
chore: prevent strings from being inlined and replicated
2023-10-07 19:42:24 -04:00
c2bf6e5682
Add missing keywords to documentation generator.
2023-10-06 14:46:34 +02:00
a524836c94
Add compiler version & system information to panic error message
...
So that we stop constantly asking people about it.
2023-10-06 14:46:11 +02:00
524d0dadf5
Add compiler's version to blueprint.
2023-10-06 14:17:55 +02:00
d56d5180cf
Move compile-time build info to aiken-project
...
So that we can use it as part of the blueprints.
2023-10-06 14:08:47 +02:00
8a1c824dd7
chore: add specific error for when the validator returns false
2023-10-04 11:08:22 -04:00
135dbd8335
feat: handle pipe fn infer TODOs
...
This improves error messages for `a |> b(x)`.
We need to do a special check when looping over the args
and unifying. This information is within a function that does not belong
to pipe typer so I used a closure to forward along a way to add
metadata to the error when the first argument in the loop has a
unification error. Simply adding the metadata at the pipe typer
level is not good enough because then we may annotate regular
unification errors from the args.
2023-10-03 01:17:15 -04:00
fb6cbbec8b
chore: Release
2023-09-29 22:08:09 -04:00
add513790d
hotfix: cyclic functions hoisted as a dependency used the wrong key to modify its own cyclic_calls
2023-09-29 22:01:43 -04:00
82ceb5b696
chore: Release
2023-09-29 19:39:28 -04:00
83f0dd2cbe
chore: fix blueprint validator tests
2023-09-29 17:47:39 -04:00
fb2ca0e3e0
inline is actually cheaper in a lot of cases
2023-09-29 17:47:39 -04:00
a2068ff062
fix: optmizer should never inline recursive functions
...
chore: some renames
2023-09-29 17:47:39 -04:00
335560b81f
Add placeholders for new terms in optimize
...
Update tests to check optimization is applied properly
2023-09-29 17:47:39 -04:00
5e2a78173b
optimization: increase the cases that inline_basic_reduce can handle
2023-09-29 17:47:39 -04:00
dbd4fe2aab
fix rust version
2023-09-28 13:30:34 -04:00
37ec2b121b
rev
2023-09-28 13:30:34 -04:00
3c11c95e01
insert into rust
2023-09-28 13:30:34 -04:00
47596f0324
feat: Remove tuple_index and record_access in favor of faster more direct functions for
...
accessing an item in a tuple or a field in a record
2023-09-28 01:05:05 -04:00
1bcc9e8524
fix: expect on tuples from data now checks for no more items after the last
2023-09-26 12:49:50 -04:00
1ca3499128
chore: rename type
2023-09-25 21:16:19 -04:00
534eb62a07
fix: There was a stack overflow due to passing unbound types to a function
2023-09-25 21:16:19 -04:00
1cab479b81
fix: dependency hoisting for cyclic functions
...
Add more tests
2023-09-25 21:16:19 -04:00
2f80d07132
fix: minor stuff including fixing the var name used in modify_cyclic_calls
...
and carefully controling the functions we add to sorted dependencies
2023-09-25 21:16:19 -04:00
f4310bcf33
feat: finished up mutual recursion
...
Now we "handle" vars that call the cyclic function.
That includes vars in the cyclic function as well as in other functions
"handle" meaning we modify the var to be a call that takes in more arguments.
2023-09-25 21:16:19 -04:00
ae3053522e
feat: Update cyclic functions to be aware of being in a cycle.
...
Finish the creation of cyclic functions
The last part is to update vars that call into a function in the cycle
2023-09-25 21:16:19 -04:00
794fc93084
remove unused structs
2023-09-25 21:16:19 -04:00
0b38855ce4
add new enum for hoistablefunctions
2023-09-25 21:16:19 -04:00
ced818c455
checkpoint commit
2023-09-25 21:16:19 -04:00
0fb9837ddf
chore: change UserFunction to HoistableFunction to prepare for mututal recursion
2023-09-25 21:16:19 -04:00
74b8ab62b2
chore: add comments
2023-09-25 21:16:19 -04:00
a4aa51ed2d
WIP: first part of mutual recursion is done.
...
This involves creating the function definition and detecting cycles.
The remaining part is to "fix" the call sites
of the mutually recursive functions
2023-09-25 21:16:19 -04:00
5b018b7c07
test: add a test around a tuple of constructors when with many conditions
2023-09-20 16:20:42 -04:00
ee4001d2c8
chore: Release
2023-09-20 18:03:46 +02:00
f379039efc
Fix record shorthand causing parsing ambiguity in if/else expressions.
...
Fixes #735 .
2023-09-15 09:41:00 +02:00
1dea348a2e
chore: rust rover error
2023-09-13 21:29:05 -04:00
7b915b7dcf
chore: allow clippy::arc_with_non_send_sync in tests
2023-09-13 19:07:45 -04:00
d808197507
chore: clippy fix
2023-09-13 18:17:59 -04:00
9a4f181a0f
chore: clippy fix
2023-09-13 17:19:31 -04:00
c711a97e69
Throttle calls to package registry for version resolution
...
The 'HEAD' call that is done to resolve package revisions from
unpinned versions is already quite cheap, but it would still be better
to avoid overloading Github with such calls; especially for users of a
language-server that would compile on-the-fly very often. Upstream
packages don't change often so there's no need to constantly check the
etag.
So we now keep a local version of etags that we fetched, as well as a
timestamp from the last time we fetched them so that we only re-fetch
them if more than an hour has elapsed. This should be fairly resilient
while still massively improving the UX for people showing up after a
day and trying to use latest 'main' features.
This means that we now effectively have two caching levels:
- In the manifest, we store previously fetched etags.
- In the filesystem, we have a cache of already downloaded zip archives.
The first cache is basically invalidated every hour, while the second
cache is only invalidated when a etag changes. For pinned versions,
nothing is invalidated as they are considered immutable.
2023-09-13 17:17:32 -04:00
15efeb3069
Remove unused code & data-type 'UseManifest'
...
If it's unused, it shall be gone. It obfuscate what functions are
doing and require managing extra complexity for no reason.
2023-09-13 17:17:32 -04:00
5381762e50
Rework logs around dependency fetching.
2023-09-13 17:17:32 -04:00
76ff09ba0e
Ensure that version resolution works offline
...
And so, even for unpinned package. In this case, we can't do a HEAD request. So we fallback by looking at what's available in the cache and using the most recently downloaded version from the cache. This is only a best effort as the most recently downloaded one may not be the actual latest. But common, this is a case where (a) someone didn't pin any version, (b) is trying to build on in an offline setup. We could possibly make that edge-case better but, let's see if anyone ever complains about it first.
2023-09-13 17:17:32 -04:00
87087a1811
Always check package status when version is not pinned
...
When the version isn't a git sha or a tag, we always check that we got
the last version of a particular dependency before building. This is
to avoid those awkward moments where someone try to use something from
the stdlib that is brand new, and despite using 'main' they get a
strange build failure regarding how it's not available.
An important note is that we don't actually re-download the package
when the case occurs; we merely check an HTTP ETag from a (cheap) 'HEAD'
request on the package registry. If the tag hasn't changed then that
means the local version is correct.
The behavior is completely bypassed if the version is specified using
a git sha or a tag, as here, we can assume that fetching it once it
enough (and that it can change). If a package maintainer force-pushed
a tag however, there may be discrepency and the only way around that
is to `rm -r ./build`.
2023-09-13 17:17:32 -04:00
3c3a7f2423
Define 'is_git_sha_or_version' to assert whether a version is 'immutable'
...
Best-effort to assert whether a version refers is a git sha digest or a tag. When it is, we
avoid re-downloading it if it's already fetched. But when it isn't, and thus refer to a branch,
we always re-download it. Note however that the download might be short-circuited by the
system-wide package cache, so a download doesn't actually mean a network request.
The package cache is however smart-enough to assert whether a package in the cache must be
re-downloaded (using HTTP ETag). So this is mostly about delegating the re-downloading logic to
the global packages cache.
2023-09-13 17:17:32 -04:00
65fb3a640a
Remove dead-code.
2023-09-13 17:17:32 -04:00
a72628a4dc
Auto-derive 'Debug' trait instance for types in deps
...
Actually useful to debug / troubleshoot things.
2023-09-13 17:17:32 -04:00
a45001376d
fix: is_record was used incorrectly in code gen,
...
the real solution was to look up the datatype and check constructors length
2023-09-13 00:33:02 -04:00
d042d55d42
fix clippy warnings in code gen
2023-09-12 21:25:05 -04:00
9782c094b7
Fix clippy suggestions.
2023-09-08 16:21:07 +02:00
8ba5946c32
Preserve escape sequence after formatting
...
Bumped into this randomly. We do correctly parse escape sequence, but
the format would simply but the unescaped string back on save. Now it
properly re-escapes strings before flushing them back. I also removed
the escape sequence for 'backspace' and 'new page' form feed as I
don't see any use case for those in an Aiken program really...
2023-09-08 12:12:15 +02:00
6b70292dfb
chore: cargo fmt
2023-09-06 21:10:50 -04:00
1de7b2866a
feat(cli): add --deny to build, check, and docs
...
This is useful for CI, where people that may have
a stricter workflow want to force CI to fail if any warnings
are detected.
2023-09-06 17:19:44 -04:00
819a0a20e6
add tests for case and constr
...
Fix a minor issue with decoding order
2023-09-03 11:52:49 -04:00
c9b01ab365
chore: fill in cost model
...
test: Add case and constr eval tests
2023-09-03 11:52:49 -04:00
85901dc141
chore: update cost model with placeholders for new terms to pass tests
2023-09-03 11:52:49 -04:00
40e1d39f8b
Add placeholders for cost model
2023-09-03 11:52:49 -04:00
33d6d3049e
add compute for the new terms constr and case
2023-09-03 11:52:49 -04:00
e566c4e1de
feat(uplc): add Case and Const terms
...
- parsering
- interning
- flat encoding and decoding
- pretty printing
- debruijn conversion
Co-authored-by: Lucas Rosa <x@rvcas.dev>
2023-09-03 11:52:49 -04:00
dfe433ea46
fix: trim whitespace when loading hex strings from files closes #720
2023-08-31 18:22:09 -04:00
437a95bfe8
fix: behave like rust with hyphens closes #722 closes #690
2023-08-31 18:00:21 -04:00
dca09811c1
fix: empty records crashing code gen closes #728
2023-08-31 17:39:38 -04:00
fb967d4c7b
fix: uplc formatter of Data closes #716
2023-08-31 17:20:48 -04:00
51c44c6a30
fix: add an assert for better error messages when doing empty types
2023-08-30 13:50:37 -04:00
cd3a02416f
chore: rm unused pub function
2023-08-29 22:30:06 -04:00
756e16c14b
fix: rename assert to expect
2023-08-29 22:30:06 -04:00
baa6917af5
Fix: Change type map length assert to check for greater than equals instead of equals to argument length
2023-08-29 21:59:15 -04:00
d4b9f22ac3
rm unnecessary mut
2023-08-26 16:30:44 +00:00
b075d85b40
chore: Release
2023-08-24 15:05:12 -06:00
a7062ccb88
chore: fix versions
2023-08-24 15:04:19 -06:00
747e057d05
fix: tags
2023-08-24 15:00:09 -06:00
379368c530
Fix clippy.
2023-08-22 13:30:30 +02:00
2f0211a7b1
Bump all version manually because cargo workspaces didn't work.
2023-08-22 13:27:10 +02:00
780a61e3e8
Release 1.0.16-alpha
...
aiken@1.0.16-alpha
Generated by cargo-workspaces
2023-08-22 13:18:48 +02:00
7883aff5f7
revert 619b73d03e
...
There's really no scenario where we want to generate boilerplate that
always end up being removed. In particular, the boilerplate breaks
tutorial as it generate conflicting validators in the blueprint.
The only argument in favor of the boilerplate is to serve as example
and show people some syntax reminder. However, this is better done in
the README or on the user manual directly.
2023-08-22 12:59:36 +02:00
89c55a23fa
chore: Release
2023-08-19 20:17:00 -04:00
084b900b2a
change: traverse_with_tree now has a boolean to determine when with is called
...
fix: Opaque types are now properly handled in code gen (i.e. code gen functions, in datums/redeemers, in from data casts)
chore: add specific nested opaque type tests to code gen
2023-08-19 20:07:37 -04:00
139226cdab
Support interactive blueprint parameter application.
2023-08-19 13:39:39 -04:00
c1b8040ae2
Add helper for splitting a long line into multiple lines.
2023-08-19 13:39:39 -04:00
961e323c36
Enable iterating over validator's parameters with a callback
...
This is how we'll construct parameters interactively. We need to lookup the definition, and provide a data representation for it.
2023-08-19 13:39:39 -04:00
051e9a6851
Add some utility functions for displaying Term/PlutusData
...
This is useful with the blueprint stuff, where Term are often just plain PlutusData.
2023-08-19 13:39:39 -04:00
690e41261e
chore: Release
2023-08-16 23:30:21 -04:00
f5a49c4df4
fix: aliased import of single type throws compiler error closes #707
2023-08-16 23:15:51 -04:00
2600937447
chore: cargo fmt
2023-08-16 22:56:22 -04:00
649039c993
tx simulate still need fee work
2023-08-16 22:37:00 -04:00
050c41c8dc
tx simulate returns a vector of exbudgets now
2023-08-16 22:37:00 -04:00
8cf92ce8ed
`aiken new`: Try to get the latest tag of stdlib
2023-08-16 22:30:15 -04:00
c95f43ae07
add one more test
2023-08-16 21:59:25 -04:00
20aa54b5ca
fix: last test fixed
2023-08-16 21:59:25 -04:00
a45e04fd9b
fix: using the wrong var for pattern matching
2023-08-16 21:59:25 -04:00
2456801b17
fix list clauses with guards and add more tests
2023-08-16 21:59:25 -04:00
6ecb3f08b0
chore: default stdlib on new is 1.5.0
2023-08-16 13:24:10 -04:00
0ff64e3bac
test: check and format tests for logical op chain
2023-08-15 09:58:35 -04:00
e14d51600f
feat(format): logical op chain
2023-08-15 09:58:35 -04:00
2c2f3c90fb
feat: new snapshots
2023-08-15 09:58:35 -04:00
05eb281f40
chore: can safely remove this at this point
2023-08-15 09:58:35 -04:00
e4ef386c44
feat(tipo): inference for and/or chains
2023-08-15 09:58:35 -04:00
ab3a418b9c
feat(parser): add support for and/or chaining
2023-08-15 09:58:35 -04:00
4a1ae9f412
set eval to public
2023-08-12 16:42:23 -04:00
ca4a9fcd3d
chore: make eval function and SlotConfig public
2023-08-11 20:33:08 -04:00
8af253e1df
chore: make slot_to_begin_posix_time a public function
2023-08-11 20:05:22 -04:00
2f7784f31e
chore: update changelog
...
expecting a type on List<Data> from data now only checks that type is a list and not each element
2023-08-10 23:01:46 -04:00
eda388fb29
test(aiken-lang): add a new test for list edge case in when clause patterns
2023-08-08 20:47:35 -04:00
252f68de17
fix clippy
2023-08-07 19:08:18 -04:00
367dabafb5
fix: update last 2 tests for new recursion optimization
2023-08-07 19:06:00 -04:00
f464eb3702
Cargo fmt + clippy, with latest rust
2023-08-07 19:00:39 -04:00
0d99afe5e2
Cargo fmt
2023-08-07 19:00:39 -04:00
90c7753201
update tests for new recursion optmization
2023-08-07 19:00:39 -04:00
65984ed15b
fix: move where we call the with in traverse_tree_with
2023-08-07 19:00:39 -04:00
dba0e11ba7
Add other shadowing cases
2023-08-07 19:00:39 -04:00
fc948f0029
Add the same optimization to dependent functions
...
I originally didn't add this because I thought this was mutually
recursive functions, which I couldn't picture how that would work;
I refactored all this logic into modify_self_calls, which maybe needs a
better name now.
Perf gain on some stdlib tests (line concat tests) is 93%!!
2023-08-07 19:00:39 -04:00
c45caaefc8
Rudimentary implementation
...
Adds an identify_recursive_static_params; doesn't handle all shadowing cases yet
2023-08-07 19:00:39 -04:00
09f889b121
Add codegen for recursive statics case
...
We also flip the recursive_statics fields to recursive_nonstatics; This makes the codegen a little easier. It also has a hacky way to hard code in some recursive statics for testing
2023-08-07 19:00:39 -04:00
586a2d7972
Add recursive_static_params to AIR
...
Any methods to a recursive function that are unchanged and forwarded
don't need to be applied each time we recurse; instead, you can
define a containing lambda, reducing the number of applications
dramatically when recursing
2023-08-07 19:00:39 -04:00
1d9878c5ee
fix: code gen tests now up to date using trace
...
fix: Formatter should take ErrorTerm and return "fail"
fix: fail with no reason should just return ErrorTerm
2023-08-07 12:02:44 -04:00
624fdee9ea
keep traces in tests
2023-08-07 12:02:44 -04:00
36c80f36c1
fix tests
2023-08-07 12:02:44 -04:00
29599879b2
one minor tail fix in clause pattern
2023-08-07 12:02:44 -04:00
6a1b2db698
use retain instead of position
2023-08-07 12:02:44 -04:00
7bf22fa58b
fix multivalidator issue
2023-08-07 12:02:44 -04:00
281a8363c0
fixes to tuples and usage of discard.
...
Also a fix to tail and its type in when list pattern matches
2023-08-07 12:02:44 -04:00
bfa4cc2efc
fix: some function dependency tree path was not being updated in order
...
fix: revert to old implicit way of casting to data for now
2023-08-07 12:02:44 -04:00
a45ff692a6
last changes for today
2023-08-07 12:02:44 -04:00
db79468435
remove old stuff
2023-08-07 12:02:44 -04:00
aca79bd728
remove warning
2023-08-07 12:02:44 -04:00
3189a60bdb
fixes to how we sort dependencies.
...
Also update dependency path based on a functions path.
2023-08-07 12:02:44 -04:00
80b950b8aa
fix edge case with assign and pattern matching
2023-08-07 12:02:44 -04:00
186e1235fd
checkpoint
2023-08-07 12:02:44 -04:00
1ee7492f1f
fix tuple clause
2023-08-07 12:02:44 -04:00
49a0a91103
fix tests again
2023-08-07 12:02:44 -04:00
f5c7d222aa
optmization fix
2023-08-07 12:02:44 -04:00
5aecb96668
constants are back. I had broke them when switching how data casting works
2023-08-07 12:02:44 -04:00
0b8266dfd1
some type conversion fixes
2023-08-07 12:02:44 -04:00
02948616cd
some more fixes involving clauses
2023-08-07 12:02:44 -04:00
a689b8748f
fix: working on minor edge cases
...
fix: zero arg function dependencies should not count as hoisted
fix: tuple index was receiving the wrong type
2023-08-07 12:02:44 -04:00
4e3ced5b75
fix and clean up tests and handle
...
one edge case on rearrange clauses
2023-08-07 12:02:44 -04:00
018453f6b1
fix expect on tuple type using the wrong internal type
2023-08-07 12:02:44 -04:00
f03ed41e03
fix some unnecessary lambdas in assign
2023-08-07 12:02:44 -04:00
03dd13dc7d
fixing list condition edge cases and clean up rearrange list clauses
2023-08-07 12:02:44 -04:00
e8fa8f5423
fixing list clause issues
2023-08-07 12:02:44 -04:00
c6f90a999b
checkpoint
2023-08-07 12:02:44 -04:00
389699f485
fix to subject type for assignment on single clause
2023-08-07 12:02:44 -04:00
dcb3a9b45b
some type and expect fixes
2023-08-07 12:02:44 -04:00
3545bad3c4
fix typing to constr
2023-08-07 12:02:44 -04:00
52ebc9b6c1
some more fixes
2023-08-07 12:02:44 -04:00
58b327e5b3
fixing bugs and edge cases
2023-08-07 12:02:44 -04:00
2f4319f162
fix: tuples and list patterns had a few issues
2023-08-07 12:02:44 -04:00
960a15c4ec
checkpoint - fixing tests and stuff
2023-08-07 12:02:44 -04:00
72b6f0f847
all but six tests passing
2023-08-07 12:02:44 -04:00
6eeb282dee
Now code gen is finished and we just have testing
2023-08-07 12:02:44 -04:00
518bea5be4
feat: fixed up generate and generate test
...
last step is checking on uplc code gen
2023-08-07 12:02:44 -04:00
18ea44adb0
chore: rename unwrapData and wrapData
...
add validator cast function for extra validator params
2023-08-07 12:02:44 -04:00
55dd1a1a56
out with the old code and in with the air tree
2023-08-07 12:02:44 -04:00
02ce3761ae
final checkpoint
2023-08-07 12:02:44 -04:00
8641c305f4
feat: airtree now hoists function. Now all that is left is finishing uplc gen
2023-08-07 12:02:44 -04:00
5ad8b520fd
checkpoint
2023-08-07 12:02:44 -04:00
5a51764cff
remove some warnings
2023-08-07 12:02:44 -04:00
a099c01734
feat: add support for hoisting code gen functions
...
fix: code gen vars should be module functions
fix: missed a recursive call in do_find_air_tree_node under binop
2023-08-07 12:02:44 -04:00
c0f09856d3
feat: Here's a first, we hoisted some user functions onto the validator
2023-08-07 12:02:44 -04:00
62660e04b5
checkpoint;
...
Remaining work is on function hoisting. Functions have been defined and monomorphized
2023-08-07 12:02:44 -04:00
rvcas