From 2fe8c5a73412c51e9ec88b92a34917b8f077eaa0 Mon Sep 17 00:00:00 2001 From: Paul Cadman Date: Mon, 11 Nov 2024 18:04:13 +0000 Subject: [PATCH] Add merged pull requests for 0.6.{7,8} to CHANGELOG --- CHANGELOG.md | 91 ++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 91 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index cf273f4608..73c4bd96bb 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -8,10 +8,101 @@ [Full Changelog](https://github.com/anoma/juvix/compare/v0.6.7...v0.6.8) +**Merged pull requests:** + +- Add option to run Anoma tests in non-debug mode [\#3144](https://github.com/anoma/juvix/pull/3144) ([paulcadman](https://github.com/paulcadman)) +- Support traces in the anoma node [\#3152](https://github.com/anoma/juvix/pull/3152) ([janmasrovira](https://github.com/janmasrovira)) +- Add NFData instance for Core.Module [\#3160](https://github.com/anoma/juvix/pull/3160) ([janmasrovira](https://github.com/janmasrovira)) +- Add `--vscode` option [\#3162](https://github.com/anoma/juvix/pull/3162) ([lukaszcz](https://github.com/lukaszcz)) +- Don't write log messages to stdout [\#3159](https://github.com/anoma/juvix/pull/3159) ([lukaszcz](https://github.com/lukaszcz)) +- Release 0.6.8 [\#3165](https://github.com/anoma/juvix/pull/3165) ([paulcadman](https://github.com/paulcadman)) + ## [v0.6.7](https://github.com/anoma/juvix/tree/v0.6.7) (2024-11-06) [Full Changelog](https://github.com/anoma/juvix/compare/v0.6.6...v0.6.7) +**Merged pull requests:** + +- Fix locations in Internal hole substitution (only for the case of substituting identifiers) [\#2995](https://github.com/anoma/juvix/pull/2995) ([lukaszcz](https://github.com/lukaszcz)) +- Fix typechecking of default arguments in signatures with trait arguments [\#2998](https://github.com/anoma/juvix/pull/2998) ([janmasrovira](https://github.com/janmasrovira)) +- Fix a bug that prevented use of name signature defined after the point [\#3001](https://github.com/anoma/juvix/pull/3001) ([janmasrovira](https://github.com/janmasrovira)) +- Remove legacy naive match-to-case compiler [\#3003](https://github.com/anoma/juvix/pull/3003) ([lukaszcz](https://github.com/lukaszcz)) +- Do not inline the functions library everywhere in the Nockma backend [\#3004](https://github.com/anoma/juvix/pull/3004) ([janmasrovira](https://github.com/janmasrovira)) +- Compilation of side conditions in pattern matches [\#2984](https://github.com/anoma/juvix/pull/2984) ([lukaszcz](https://github.com/lukaszcz)) +- Only output .debug.nockma file with the --debug flag [\#3006](https://github.com/anoma/juvix/pull/3006) ([janmasrovira](https://github.com/janmasrovira)) +- Do not duplicate nockma stdlib in the nockma backend [\#3005](https://github.com/anoma/juvix/pull/3005) ([janmasrovira](https://github.com/janmasrovira)) +- Lift non-immediate expressions out of case values for the Nockma backend [\#3010](https://github.com/anoma/juvix/pull/3010) ([lukaszcz](https://github.com/lukaszcz)) +- Fix location of scoped modulePathName [\#3011](https://github.com/anoma/juvix/pull/3011) ([janmasrovira](https://github.com/janmasrovira)) +- Fix RISC0 compilation on the CI [\#3015](https://github.com/anoma/juvix/pull/3015) ([lukaszcz](https://github.com/lukaszcz)) +- Fix bug in symbol dependency graph generation in Core [\#3018](https://github.com/anoma/juvix/pull/3018) ([lukaszcz](https://github.com/lukaszcz)) +- Store the `DocTable` in the .jvo file [\#3021](https://github.com/anoma/juvix/pull/3021) ([janmasrovira](https://github.com/janmasrovira)) +- Fix the location in the parser for .juvix.md [\#3020](https://github.com/anoma/juvix/pull/3020) ([janmasrovira](https://github.com/janmasrovira)) +- The `assert` builtin [\#3014](https://github.com/anoma/juvix/pull/3014) ([lukaszcz](https://github.com/lukaszcz)) +- Fix RISC0 in the CI [\#3025](https://github.com/anoma/juvix/pull/3025) ([lukaszcz](https://github.com/lukaszcz)) +- Fix JuvixTree parsing and pretty printing [\#3024](https://github.com/anoma/juvix/pull/3024) ([lukaszcz](https://github.com/lukaszcz)) +- Remove old named application syntax [\#3026](https://github.com/anoma/juvix/pull/3026) ([janmasrovira](https://github.com/janmasrovira)) +- Update to GHC 9.10.1 [\#2991](https://github.com/anoma/juvix/pull/2991) ([lukaszcz](https://github.com/lukaszcz)) +- Update linux static binary workflow for GHC 9.10.1 [\#3034](https://github.com/anoma/juvix/pull/3034) ([paulcadman](https://github.com/paulcadman)) +- Don't fold lets if the let-bound variable occurs under a lambda-abstraction [\#3029](https://github.com/anoma/juvix/pull/3029) ([lukaszcz](https://github.com/lukaszcz)) +- Update cabal.project.freeze for GHC 9.10.1 update [\#3035](https://github.com/anoma/juvix/pull/3035) ([paulcadman](https://github.com/paulcadman)) +- Precompute debug operations info in linear time [\#3038](https://github.com/anoma/juvix/pull/3038) ([lukaszcz](https://github.com/lukaszcz)) +- Revert GHC 9.10.1 update [\#3052](https://github.com/anoma/juvix/pull/3052) ([paulcadman](https://github.com/paulcadman)) +- Improve parsing error for missing @ in named application [\#3012](https://github.com/anoma/juvix/pull/3012) ([janmasrovira](https://github.com/janmasrovira)) +- Fix linux static build: Remove -j argument from C runtime make invocation [\#3055](https://github.com/anoma/juvix/pull/3055) ([paulcadman](https://github.com/paulcadman)) +- Group tables related to typechecking [\#3056](https://github.com/anoma/juvix/pull/3056) ([janmasrovira](https://github.com/janmasrovira)) +- Fix RISC0 on the CI [\#3061](https://github.com/anoma/juvix/pull/3061) ([lukaszcz](https://github.com/lukaszcz)) +- Parse stdlibPlaceholder in Nockma parser [\#3065](https://github.com/anoma/juvix/pull/3065) ([paulcadman](https://github.com/paulcadman)) +- Include the juvix version in the build directory path [\#3069](https://github.com/anoma/juvix/pull/3069) ([paulcadman](https://github.com/paulcadman)) +- Ignore files that start with a `.` [\#3072](https://github.com/anoma/juvix/pull/3072) ([janmasrovira](https://github.com/janmasrovira)) +- Remove unused field from `ScoperState` [\#3073](https://github.com/anoma/juvix/pull/3073) ([janmasrovira](https://github.com/janmasrovira)) +- Reimplement positivity checker [\#3057](https://github.com/anoma/juvix/pull/3057) ([janmasrovira](https://github.com/janmasrovira)) +- Fix termination crash due to empty permutation [\#3081](https://github.com/anoma/juvix/pull/3081) ([janmasrovira](https://github.com/janmasrovira)) +- Merge typechecker negative tests [\#3076](https://github.com/anoma/juvix/pull/3076) ([janmasrovira](https://github.com/janmasrovira)) +- Fix named application bug [\#3075](https://github.com/anoma/juvix/pull/3075) ([janmasrovira](https://github.com/janmasrovira)) +- Nockma backend: translate `trace` to `%puts` hints [\#3053](https://github.com/anoma/juvix/pull/3053) ([lukaszcz](https://github.com/lukaszcz)) +- Add coding style guidelines [\#3059](https://github.com/anoma/juvix/pull/3059) ([lukaszcz](https://github.com/lukaszcz)) +- Avoid duplication in Nockma code generation [\#3070](https://github.com/anoma/juvix/pull/3070) ([lukaszcz](https://github.com/lukaszcz)) +- Fix JuvixTree unification [\#3087](https://github.com/anoma/juvix/pull/3087) ([lukaszcz](https://github.com/lukaszcz)) +- Merge containers into standard library [\#3088](https://github.com/anoma/juvix/pull/3088) ([lukaszcz](https://github.com/lukaszcz)) +- Support Anoma stdlib curry function [\#3097](https://github.com/anoma/juvix/pull/3097) ([paulcadman](https://github.com/paulcadman)) +- Update standard library coding style according to the guidelines [\#3092](https://github.com/anoma/juvix/pull/3092) ([lukaszcz](https://github.com/lukaszcz)) +- Allow `@` in constructor declarations [\#3099](https://github.com/anoma/juvix/pull/3099) ([lukaszcz](https://github.com/lukaszcz)) +- Update anoma nock stdlib [\#3103](https://github.com/anoma/juvix/pull/3103) ([paulcadman](https://github.com/paulcadman)) +- Compile-time configuration [\#3102](https://github.com/anoma/juvix/pull/3102) ([lukaszcz](https://github.com/lukaszcz)) +- Remove VampIR compile command and tests [\#3104](https://github.com/anoma/juvix/pull/3104) ([lukaszcz](https://github.com/lukaszcz)) +- Update AnomaCallablePathId to match Anoma calling convention [\#3107](https://github.com/anoma/juvix/pull/3107) ([paulcadman](https://github.com/paulcadman)) +- Update license reference [\#3108](https://github.com/anoma/juvix/pull/3108) ([emmanuel-ferdman](https://github.com/emmanuel-ferdman)) +- Add frontend support for Anoma stdlib sha256 [\#3109](https://github.com/anoma/juvix/pull/3109) ([paulcadman](https://github.com/paulcadman)) +- Update anoma nock stdlib to include resource machine client library [\#3110](https://github.com/anoma/juvix/pull/3110) ([paulcadman](https://github.com/paulcadman)) +- Fix closure representation in the Nock backend [\#3105](https://github.com/anoma/juvix/pull/3105) ([lukaszcz](https://github.com/lukaszcz)) +- Rename Nockma stdlib to anomalib and add RM references [\#3111](https://github.com/anoma/juvix/pull/3111) ([paulcadman](https://github.com/paulcadman)) +- Add frontend support for Anoma Resource Machine builtins [\#3113](https://github.com/anoma/juvix/pull/3113) ([paulcadman](https://github.com/paulcadman)) +- Refactor dangerous default branches in Core to Tree translation [\#3116](https://github.com/anoma/juvix/pull/3116) ([janmasrovira](https://github.com/janmasrovira)) +- Serialize Nockma output using nock jam [\#3066](https://github.com/anoma/juvix/pull/3066) ([paulcadman](https://github.com/paulcadman)) +- Don't put a space after the lambda keyword [\#3121](https://github.com/anoma/juvix/pull/3121) ([janmasrovira](https://github.com/janmasrovira)) +- Improve Set and Map modules in the standard library [\#3120](https://github.com/anoma/juvix/pull/3120) ([lukaszcz](https://github.com/lukaszcz)) +- Update Anoma nock library [\#3119](https://github.com/anoma/juvix/pull/3119) ([paulcadman](https://github.com/paulcadman)) +- Remove VampIR from the CI [\#3126](https://github.com/anoma/juvix/pull/3126) ([lukaszcz](https://github.com/lukaszcz)) +- Formatter: add braces when the iterator body is not enclosed [\#3122](https://github.com/anoma/juvix/pull/3122) ([lukaszcz](https://github.com/lukaszcz)) +- Set line width to 80 [\#3124](https://github.com/anoma/juvix/pull/3124) ([janmasrovira](https://github.com/janmasrovira)) +- Improve function argument names in the standard library [\#3127](https://github.com/anoma/juvix/pull/3127) ([lukaszcz](https://github.com/lukaszcz)) +- Run Nockma in an Anoma node [\#3128](https://github.com/anoma/juvix/pull/3128) ([janmasrovira](https://github.com/janmasrovira)) +- Allow trailing semicolons everywhere [\#3123](https://github.com/anoma/juvix/pull/3123) ([lukaszcz](https://github.com/lukaszcz)) +- Support random API from the Anoma stdlib [\#3129](https://github.com/anoma/juvix/pull/3129) ([paulcadman](https://github.com/paulcadman)) +- Fix linux static build by pinning ghc-musl container version [\#3132](https://github.com/anoma/juvix/pull/3132) ([paulcadman](https://github.com/paulcadman)) +- Detect redundant patterns [\#3101](https://github.com/anoma/juvix/pull/3101) ([lukaszcz](https://github.com/lukaszcz)) +- Detect constant side conditions in matches [\#3133](https://github.com/anoma/juvix/pull/3133) ([lukaszcz](https://github.com/lukaszcz)) +- Stdlib: add functions to the Map module [\#3136](https://github.com/anoma/juvix/pull/3136) ([lukaszcz](https://github.com/lukaszcz)) +- Fix package-base interaction [\#3139](https://github.com/anoma/juvix/pull/3139) ([janmasrovira](https://github.com/janmasrovira)) +- Add anoma nockma tests [\#3134](https://github.com/anoma/juvix/pull/3134) ([janmasrovira](https://github.com/janmasrovira)) +- Anoma client verbose request response [\#3140](https://github.com/anoma/juvix/pull/3140) ([paulcadman](https://github.com/paulcadman)) +- `juvix dev nockma run --anoma-dir ./anoma --args` are given as a nockma list [\#3142](https://github.com/anoma/juvix/pull/3142) ([janmasrovira](https://github.com/janmasrovira)) +- Add `dev nockma encode` command [\#3135](https://github.com/anoma/juvix/pull/3135) ([janmasrovira](https://github.com/janmasrovira)) +- Update juvix-stdlib ref to latest main [\#3148](https://github.com/anoma/juvix/pull/3148) ([paulcadman](https://github.com/paulcadman)) +- Use `nockmaEq` instead of Eq instance to detect `nil` terminator [\#3149](https://github.com/anoma/juvix/pull/3149) ([paulcadman](https://github.com/paulcadman)) +- Fix StdlibRandomNextBytes call [\#3150](https://github.com/anoma/juvix/pull/3150) ([paulcadman](https://github.com/paulcadman)) +- Release 0.6.7 [\#3153](https://github.com/anoma/juvix/pull/3153) ([paulcadman](https://github.com/paulcadman)) + ## [v0.6.6](https://github.com/anoma/juvix/tree/v0.6.6) (2024-09-03) [Full Changelog](https://github.com/anoma/juvix/compare/v0.6.5...v0.6.6)