cc99eceda8
chore: update changelog
2024-03-12 08:10:33 -04:00
df898bf239
Rework monadic-bind into function backpassing.
...
This is more holistic and less awkward than having monadic bind working only with some pre-defined type. Backpassing work with _any_ function, and can be implemented relatively easily by rewriting the AST on-the-fly.
Also, it is far easier to explain than trying to explain what a monadic bind is, how its behavior differs from type to type and why it isn't generally available for any monadic type.
2024-03-11 00:16:22 +01:00
ec18127191
Merge pull request #869 from aiken-lang/non-serialisable-types
...
Forbid non-serializable inhabitants in compound data-types.
2024-03-09 22:39:41 +01:00
80a9393db7
Add --include-dependencies to 'aiken docs'
...
Fixes #867 .
2024-03-09 22:35:38 +01:00
ee54266d1f
Forbid non-serializable inhabitants in compound data-types.
2024-03-09 22:25:51 +01:00
37627e3527
Fix indentation of pipelines.
2024-03-09 20:44:51 +01:00
cf86a20256
update Changelog
2024-03-09 13:27:32 -05:00
22b86a5f82
Add --max-success for running more or less prop runs on demand.
2024-03-09 19:17:57 +01:00
d581183cc6
Fix formatter discarding nul bytes.
2024-03-09 18:59:35 +01:00
bbe7c0bc01
report prop test coverage labels on success.
2024-03-09 01:28:29 +01:00
d6cc9bdfbe
Allow implicit discard when right-hand side is Void.
...
This is the most intuitive/expected behavior. Otherwise, it forces a pointless let-binding to 'Void' or into a discard.
2024-03-09 01:28:29 +01:00
d73f8fd6c2
chore: update changelog
2024-03-08 19:19:07 -05:00
49ca7e1f75
chore: update changelog
2024-03-08 16:21:48 -05:00
64f580bb82
one more change to the changelog
2024-03-08 12:19:18 -05:00
9636a4de03
update changelog
2024-03-08 11:18:50 -05:00
4c97240900
Fill-in CHANGELOG about associativity.
2024-03-07 01:31:04 +01:00
bff822ea7f
Rework unit test report to leverage new reification
...
And also provide slightly better errors when traces, or trace-if-false operators are present.
2024-03-07 01:20:40 +01:00
c2bc5848dd
Fill-in CHANGELOG.
2024-03-03 21:09:17 +01:00
46c357df7b
Fix Int/BigInt pivot
...
We've been wrongly representing large ints as BigInt, causing them to
behave differently in the VM through builtins like 'serialise_data'.
Indeed, we expect anything that fits in 8 bytes to be encoded as Major
Type 0 or 1. But we were switching to encoding as Major type 6
(tagged, PosBigInt, NegBigInt) for much smaller values! Anything
outside of the range [-2^32, 2^32-1] would be treated as big int
(positive or negative).
Why? Because we checked whether a value i would fit in an i64, and if
it didn't we treated it as big int. But the reality is more subtle...
Fortunately, Rust has i128 and the minicbor library implements TryFrom
which enforces that the value fits in a range of [-2^64, 2^64 - 1], so
we're back on track easily.
2024-02-25 14:09:56 -05:00
cf51b30045
update changelog
2024-02-07 11:48:52 -05:00
b46206bfe2
chore: update changelog
2024-01-31 13:47:07 -05:00
bcc2a0fd12
update changelog
2024-01-31 13:44:11 -05:00
258c224e21
update changelog
2024-01-31 13:42:46 -05:00
3a534271e7
chore: update changelog
2024-01-30 12:35:50 -05:00
115ff61abe
update changelog again
2024-01-25 14:22:45 -05:00
9d563612f3
chore: prep changelog for release
2024-01-24 20:40:53 -05:00
4c00c9e7de
update changelog
2024-01-24 20:03:57 -05:00
1431bec32f
update changelog
2024-01-24 19:50:52 -05: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
858e45f3f3
Fill-in CHANGELOG.
2024-01-19 14:30:43 +01:00
0e2b8ae251
Bump pallas dependencies to include flat bigint patch
...
Fixes #796 .
2024-01-18 18:26:21 +01: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
38e8255328
chore: update changelog
2023-12-04 21:04:55 -05:00
a23bc32fa2
Fill-in CHANGELOG.
2023-11-25 15:14:10 +01:00
d2202a705c
update changelog
2023-10-25 18:59:44 -04:00
5f8e256050
Present aiken-lsp & fill-in CHANGELOG
2023-10-21 21:39:30 +02:00
a08405c607
changelog additions
2023-10-17 12:36:13 -04: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
8a1c824dd7
chore: add specific error for when the validator returns false
2023-10-04 11:08:22 -04:00
78ff6cf178
chore: update changelog
2023-10-03 01:17:15 -04:00
d131ec563b
update changelog
2023-09-29 22:07:19 -04:00
4aa5bda9eb
update changelog
2023-09-29 19:37:44 -04:00
3fc469b7c7
update changelog
2023-09-28 01:05:05 -04:00
8e75007a5f
changelog: remove accidental duplicated Fixed
2023-09-25 21:16:19 -04:00
38d15c677f
Update changelog
2023-09-25 21:16:19 -04:00
91d4cb9b12
Fix a date in the CHANGELOG for 0.17.0
2023-09-20 18:02:39 +02:00
4650c64f6b
update changelog
2023-09-20 11:51:01 -04:00
rvcas