Commit Graph

101 Commits

Author SHA1 Message Date
KtorZ 93b33df3ef Fill-in CHANGELOG. 2023-07-06 16:10:46 -04:00
KtorZ 6d7aec804c
Update CHANGELOG.md 2023-07-05 18:58:21 +02:00
microproofs 67c072a1a9 test: add acceptance test 86
fix: prevent mutual recursion for expect type code gen functions
2023-07-04 12:24:25 -04:00
Pi Lanningham 12674c8c4c Added description to changelog
Closes #610
2023-07-01 16:17:10 -04:00
rvcas 619b73d03e
feat: enhance new command 2023-06-23 19:40:11 -04:00
rvcas d633129ddf
fix: clearer unused var warning closes #579 2023-06-23 19:04:54 -04:00
rvcas 697de40376
chore: update changelog 2023-06-23 18:41:58 -04:00
microproofs 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
microproofs 226556bdd6 fix: builtins using the incorrect data to type conversion when used as a function param. 2023-06-23 14:31:19 -04:00
microproofs db369da96e feat: Make traces produced by expect dependent on
the value of the tracing flag.
2023-06-23 14:03:23 -04:00
microproofs 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
microproofs 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
KtorZ 41b2bf1c7e
Fill-in CHANGELOG. 2023-06-17 17:21:43 +02:00
rvcas bf09c155fc
chore: update changelog 2023-06-13 21:06:24 -04:00
rvcas 44e066f907 feat: add a panic hook, present issue link 2023-06-13 20:30:43 -04:00
microproofs b79437f596 update changelog 2023-06-13 12:03:38 -04:00
rvcas 22d491bb88
chore: update changelog 2023-06-13 00:24:04 -04:00
microproofs 9fe4aab599 chore: changelog v1.0.8-alpha 2023-06-08 19:33:27 -04:00
KtorZ 919bf6f350
Complete CHANGELOG
Fixes #592
  Fixes #578
2023-06-08 16:39:03 +02:00
microproofs 0c4e7ed9da typo in changelog 2023-06-07 22:39:54 -04:00
microproofs 1256bd5617 push codegen fixes to changelog 2023-06-07 22:38:22 -04:00
rvcas 8d107b1293
fix(build): --uplc must use Program<Name> to pretty print 2023-06-07 16:25:59 -04:00
KtorZ 0afc3aba13
Fix operator precedences, in particular |>
Fixes #571.
2023-06-06 17:17:47 +02:00
rvcas d3ffafd9c7
chore: update changelog 2023-06-02 00:07:49 -04:00
microproofs 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
rvcas 26a607eb00
fix: bad parsing of comments at end of file closes #551 2023-05-30 11:07:39 -04:00
rvcas c3b8ff0009
chore: update changelog 2023-05-30 10:39:49 -04:00
microproofs c2904d15ba chore: prepare changelog for release 2023-05-17 18:01:14 -04:00
microproofs 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
microproofs 6b58d643de update changelog 2023-05-16 16:29:12 -04:00
rvcas 83d9172073
chore: add next section to changelog 2023-05-14 22:07:45 -04:00
rvcas 327ff71af0
chore: prepare changelog for release
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2023-05-14 21:24:35 -04:00
microproofs f448cd111c update changelog 2023-05-14 18:32:01 -04:00
microproofs 3356e2ecd0 fix: nested constrs with a single index was ignoring fields 2023-05-14 17:33:01 -04:00
microproofs 252f829825 forgot one addition to changelog 2023-05-11 18:16:48 -04:00
microproofs 98ae94f443 changelog update 2023-05-11 18:12:07 -04:00
rvcas ce7bdea7be
chore: update changelog 2023-05-09 23:16:27 -04:00
microproofs 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
microproofs 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
microproofs 42ad45ee41 chore: prepare changelog for release 2023-04-28 17:07:27 -04:00
microproofs 332ce266da changelog update 2023-04-28 17:05:46 -04:00
microproofs 537bcf176a chore: changelog update 2023-04-25 14:10:07 -04:00
rvcas baa2cef6c4
feat(playground): impl clone for some errors 2023-04-24 17:13:20 -04:00
rvcas c9a762a13c
fix: we weren't including the name unused var warning 2023-04-20 16:53:56 -04:00
KtorZ 4269cf20b0
Fix erroneous "aiken new" command's output instructions
Fixes #505.
2023-04-20 14:38:48 +02:00
microproofs 672a900243 chore: converted acceptance tests 5-7 2023-04-19 20:03:41 -04:00
rvcas 092c2cecc1
chore: prepare changelog for release 2023-04-17 10:52:37 -04:00
rvcas e3f2fb5393
fix: need to return deserialization error here 2023-04-17 10:50:40 -04:00
rvcas b67d876f61
chore: update changelog 2023-04-16 20:44:13 -04:00
rvcas e0056e3acd
chore: prepare changelog for release 2023-04-16 16:48:23 -04:00