947c118175
checkpoint
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
55ae708e3e
checkpoint: start on function hoisting
2023-08-07 12:02:44 -04:00
2b7e7ead1c
feat: add support for validator arguments
...
feat: finish expect type on data constr
fix: tuple clause was exposing all items regardless of discard
fix: tuple clause was not receiving complex_clause flag
fix: condition for assert where constructor had 0 args was tripping assert
fix: had to rearrange var and discard assignment to ensure correct val is returned
fix: binop had the wrong type
2023-08-07 12:02:44 -04:00
7d4e136467
checkpoint
2023-08-07 12:02:44 -04:00
fd83c9a739
feat: fix up generic type functions to work with the new air tree functions
...
chore: remove commented code
2023-08-07 12:02:44 -04:00
b3714ca9d0
fix: list clause guard for final clause needs to use list accessor
2023-08-07 12:02:44 -04:00
2c61ecd4bb
feat: finish up nested clauses
2023-08-07 12:02:44 -04:00
a3afb62861
chore: fixing nested clauses to match aiken stack air
2023-08-07 12:02:44 -04:00
95af421f95
feat: finish tuple conditions
2023-08-07 12:02:44 -04:00
05b6b2a97d
chore: rename some functions
2023-08-07 12:02:44 -04:00
c025073056
fix: List clauses were destructuring the next element unnecessarily
...
feat: finish nested constructor clauses
2023-08-07 12:02:44 -04:00
f6e163d16d
feat: start on nested clauses
...
chore: remove then field from list clause guard and clause guard
2023-08-07 12:02:44 -04:00
5bcc425f0f
feat: changed air expressions clause guard
...
and list clause guard to air statements
2023-08-07 12:02:44 -04:00
023be88bf6
chore: another checkpoint
...
fix: guard clause to properly check condition
2023-08-07 12:02:44 -04:00
f94c8213b6
checkpoint
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
96959011e9
feat: finish up build. just have helper methods
...
feat: Create an air and AirTree iterator.
This allows us to iterate forwards or backwards over the tree as a vec.
chore: moved around some functions
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
7cee9a4d15
chore: move assignment_air_tree and expect_type to gen_uplc
...
feat: add is_primitive check to types
2023-08-07 12:02:44 -04:00
cd726b561e
feat: add removal of discard lets
...
chore: Name change for AirTree sequence
feat: finish up assignment constructor and list for airtree builder
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
65bb7e48e2
feat: start on build assignment
...
feat: implement assignment hoisting
2023-08-07 12:02:44 -04:00
c359bd35d7
feat: update tree to allow for let hoisting
...
feat: start on build for when expressions
feat: add builder methods for AirTree
2023-08-07 12:02:44 -04:00
83ade9335f
feat: implement most of airtree build
2023-08-07 12:02:44 -04:00
5e097d42ba
feat: add AirTree types and builder functions
2023-08-07 12:02:44 -04:00
d25bb9ae60
format
2023-08-04 14:56:16 -04:00
4e4a477ff1
meh
2023-08-04 14:56:16 -04:00
17eef195a9
fix diagnostics and formatting on windows vscode
2023-08-04 14:56:16 -04:00
266b6bbb7d
fix(exhaustiveness): for constructor use correct name because import aliases
2023-08-03 16:28:47 -04:00
60ac8ab591
fix(exhaustiveness): adjust helper method to get contructors properly
2023-08-03 16:14:42 -04:00
675b737898
Check exhaustiveness behavior on pattern guards.
2023-08-02 10:40:59 +02:00
4f7f39292d
Fix subtle bug in pattern rendering
...
When rendering missing or redundant patterns, linked-list would
wrongly suggest the last nil constructor as a pattern on non-empty
list.
For example, before this commit, the exhaustivness checker would yield:
```
[(_, True), []]
```
as a suggestion, for being the result of being a list pattern with a
single argument being `(_, True) :: Nil`. Blindly following the
compiler suggestion here would cause a type unification error (since
`[]` doesn't unify with a 2-tuple).
Indeed, we mustn't render the Nil constructor when rendering non-empty
lists! So the correct suggestion should be:
```
[(_, True)]
```
2023-08-02 10:31:35 +02:00
00b255e960
Remove now-dead code.
2023-08-02 09:22:21 +02:00
f3cab94ae1
test(check): a bunch of tests for the new exhaustiveness stuff
2023-08-01 21:13:50 -04:00
75e18d485d
fix: redundant might be wildcard which doesn't match technically
2023-08-01 21:13:50 -04:00
a6b230aad4
fix: exhaustiveness on types from other modules
2023-08-01 21:13:50 -04:00
7e531d0da1
fix: wrong var for name in UnknownModule error
2023-08-01 21:13:50 -04:00
b6ac39f322
feat(exhaustiveness): show both clauses in redundant error
2023-08-01 21:13:50 -04:00
ef2fc57ca9
feat(exhaustiveness): check tuple patterns
2023-08-01 21:13:50 -04:00
f1100e901d
feat(exhaustiveness): pretty print missing patterns
2023-08-01 21:13:50 -04:00
de2791fe82
feat(tipo): add new error for redundant clauses
2023-08-01 21:13:50 -04:00
0061bcf78d
feat: add support for list patterns
2023-08-01 21:13:50 -04:00
e8a71cd63b
chore: rename usefulness module
2023-08-01 21:13:50 -04:00
03efb46e6f
feat(exhaustiveness): algorithm U borrowed from elm
2023-08-01 21:13:50 -04:00
55887d3a45
fix: decode should always print to textual
2023-08-01 00:47:29 -04:00
622b0d51b0
chore: update flake
2023-07-27 10:23:10 -04:00
acbbcc7f72
chore[nix]: remove unused cargoBuildFlags
...
We are overriding the buildPhase, so no need to have that anymore.
2023-07-27 10:23:10 -04:00
529749f204
feat[nix]: add cargo-insta
...
It was not packaged before on nixpkgs, it is now, so let's use it.
2023-07-27 10:23:10 -04:00
microproofs