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
f464eb3702
Cargo fmt + clippy, with latest rust
2023-08-07 19:00:39 -04:00
90c7753201
update tests for new recursion optmization
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
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
3189a60bdb
fixes to how we sort dependencies.
...
Also update dependency path based on a functions path.
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
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
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
ae9de11e77
big checkpoint:
...
feat: add monomorphize and other useful tree function abstractions
feat: started testing function hositing result so far
2023-08-07 12:02:44 -04:00
9704cafefe
a checkpoint for function hoisting start and type fix
2023-08-07 12:02:44 -04:00
0854d71836
chore: another checkpoint and renamed ClauseProperties fields
2023-08-07 12:02:44 -04:00
d731757123
feat: start on clauses in when conditions
...
**checkpoint**
2023-08-07 12:02:44 -04:00
ba3265054c
chore: move tree to gen_uplc2 and create a duplicate air file without scope
2023-08-07 12:02:44 -04:00
59362e3d8c
feat: almost done assignment have tuple and constr left
...
feat: modified the AirTree structure to have statements, sequences, and expressions
feat: changed the hoist_over function to be universal
2023-08-07 12:02:44 -04:00
5e097d42ba
feat: add AirTree types and builder functions
2023-08-07 12:02:44 -04:00
e7c1b28b52
feat: add ability to reference validators in tests closes #632
2023-07-12 18:29:03 -04:00
549cf22cdd
Rename (Un)TypedExpr.Int -> (Un)TypedExpr.UInt
...
We do not actually every parse negative values in there, as a negative value is a combination of a 'Negate' and 'UInt' expression.
However, for patterns and constant, it'll be simpler to parse whole Int values as there's no ambiguity with arithmetic operations
there. To avoid confusion of having some 'Int' constructors containing only non-negative values, and some being on the whole range,
I've renamed the constructor to 'UInt' to make this more obvious.
2023-07-06 16:10:46 -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
microproofs