What's Changed
- Add merged pull requests for 0.6.{7,8} to CHANGELOG by @paulcadman in #3167
- Fix bug in
ComputeTypeInfofor let by @janmasrovira in #3158 - Nockma mode by @janmasrovira in #3163
- Use tagged version of ghc-musl in static linux build by @paulcadman in #3170
- Launch the Anoma node and client from the elixir REPL by @paulcadman in #3172
- Fix nock compilation and builtin evaluation of sha256 stdilb by @paulcadman in #3175
- Fix compiler error on import cycles by @janmasrovira in #3171
- Detect termination for nested local definitions by @lukaszcz in #3169
- Named arguments for record projections by @lukaszcz in #3173
- Fix long opts for nockma encode from/to by @paulcadman in #3177
- Remove
GetAnomaProcessfrom the Anoma effect by @paulcadman in #3179 - HTML generation: make the light theme lighter by @lukaszcz in #3168
- Support running nockma code with a running Anoma client by @paulcadman in #3180
- Unify type signature declaration syntax by @lukaszcz in #3178
- Set std_in to NoStream on the Anoma client process by @paulcadman in #3182
- Add deriving for Eq by @janmasrovira in #3176
- Add
juvix dev anoma {start, stop, status}to manage an Anoma client by @paulcadman in #3183 - Allow pattern-matching in variable definitions by @lukaszcz in #3181
- Add
juvix dev anoma proveby @paulcadman in #3187 - Update Anoma client to
testnet-v1release by @paulcadman in #3190 - Improve generated code for derived instances by @lukaszcz in #3189
- Deriving
Ordby @janmasrovira in #3184 - Add a new Anoma compile test mode 'AnomaTestModeNodeOnly' by @paulcadman in #3196
- Formatter improvements by @janmasrovira in #3194
- Allow punning in record updates by @janmasrovira in #3125
- Fix function clause printing by @janmasrovira in #3199
- Fix
juvix clean --globalby @lukaszcz in #3200 - Add
juvix dev anoma add-transactioncommand by @paulcadman in #3193 - Fix aliases to non-recursive names by @lukaszcz in #3203
- Make FunctionLhs a field of FunctionDef by @janmasrovira in #3202
- Fix disappearing judoc in syntax declarations by @lukaszcz in #3205
- Detect empty standard library directory by @lukaszcz in #3207
- Enable Anoma compilation resource machine builtin tests by @paulcadman in #3208
- Fix Anoma in the CI by @lukaszcz in #3213
- Make
juvix initnon-interactive by default by @lukaszcz in #3206 - Fix iterator formatting by @lukaszcz in #3212
- Hoisting of loop-invariant subexpressions by @lukaszcz in #3195
- Merge
Logeffect intoLoggereffect by @janmasrovira in #3220 - Inline non-recursive functions with only one call site by @lukaszcz in #3204
- Global option
--no-checkby @lukaszcz in #3224 - Remove
@?by @lukaszcz in #3216 - Fix RISC0 CI by @lukaszcz in #3233
- anoma start should start the consensus engine by @paulcadman in #3229
- Append unique hash to the pre-release tag in the Package.juvix version by @janmasrovira in #3215
- Update anoma ref to latest lukasz/juvix-integration-tracking by @paulcadman in #3227
- Format Package.juvix when formatting project by @janmasrovira in #3219
- Debug tooling improvements for Reg and CASM by @lukaszcz in #3232
- Fix basic block calls in the Reg -> CASM translation by @lukaszcz in #3238
- Add
TopDefproperty for specs by @janmasrovira in #3223 - Fix highlighting of comments by @janmasrovira in #3226
- Fix printing of indented block comments by @janmasrovira in #3225
- Add RPC call and dev command for Anoma.Protobuf.IndexerService.ListUnrevealedCommits by @paulcadman in #3239
- Add support for Anoma RM is-commitment and is-nullifier by @paulcadman in #3242
- Update Juvix Cairo VM by @lukaszcz in #3249
- Allow module self-reference by @lukaszcz in #3240
- Make top-level definitions mutually recursive by @lukaszcz in #3250
- Fix node scanning for ImportTree by @janmasrovira in #3251
- The args file to the prove CLI must now be textual nock term by @paulcadman in #3253
- Release 0.6.9 by @paulcadman in #3254
Full Changelog: v0.6.8...v0.6.9